Gyorsabb hozzáférés, mint a böngésző!
12 kapcsolatok: Algoritmus, Angol nyelv, Diszjunktív normálforma, Logikai művelet, Matematikai logika, PDF, Prolog, PS, Rezolúció, Skolem-normálforma, Számításelmélet, Számítógép.
Algoritmus
Ibn Músza al-Hvárizmi abakusza, a „középkor számológépe” Az algoritmus szó és fogalom a matematikából ered, de a számítástechnikai kultúra elterjedése, népszerűsödése ültette át a köznyelvbe.
Új!!: Konjunktív normálforma és Algoritmus · Többet látni »
Angol nyelv
Az angol nyelv (angolul: the English language) az indoeurópai nyelvcsalád nyugati germán nyelvek ágába tartozó nyelv.
Új!!: Konjunktív normálforma és Angol nyelv · Többet látni »
Diszjunktív normálforma
A diszjunktív normálforma, röviden DNF a matematikai logika egy területén, a nulladrendű logikán belül definiálható fogalom, egy logikai műveletet leíró olyan ítéletlogikai formulát jelent, mely a művelet változóinak vagy negáltjainak konjunkcióinak diszjunkciója: \bigvee_i \bigwedge_j (\neg)x_.
Új!!: Konjunktív normálforma és Diszjunktív normálforma · Többet látni »
Logikai művelet
Logikai műveletek alatt az ítéletkalkulus ítéletein definiált műveleteket értünk, amelyek segítségével az ítéletekből újabb, összetett ítéleteket alkothatunk.
Új!!: Konjunktív normálforma és Logikai művelet · Többet látni »
Matematikai logika
A matematikai logika a matematika egyik fejezete, a matematikai rendszereket, a matematikai bizonyításokat matematikai módszerekkel vizsgálja.
Új!!: Konjunktív normálforma és Matematikai logika · Többet látni »
#ÁTIRÁNYÍTÁS Portable Document Format.
Új!!: Konjunktív normálforma és PDF · Többet látni »
Prolog
A Prolog egy programozási nyelv, melyet Alain Colmerauer fejlesztett ki 1972-ben, a Prolog név a francia eredetű programmation en logique (logikai programozás) kifejezés rövidítése.
Új!!: Konjunktív normálforma és Prolog · Többet látni »
PS
#ÁTIRÁNYÍTÁS Protonszinkrotron.
Új!!: Konjunktív normálforma és PS · Többet látni »
Rezolúció
A rezolúció a matematikai logikában egy levezetési eljárás, mely alapja az egyik automatikus tételbizonyítási módszernek, elméletnek, a rezolúciós kalkulusnak.
Új!!: Konjunktív normálforma és Rezolúció · Többet látni »
Skolem-normálforma
A Skolem-normálforma (SNF) az elsőrendű logikában egy elsőrendű nyelv Skolem-szimbólumokkal bővített változatának olyan formulája, melynek egyetlen valódi részformulája sem kvantált (mert „a kvantorok mind a formula legelején vannak”, azaz prenex állapotban), továbbá ha előfordul a formulában kvantor, akkor az csak univerzális kvantor lehet.
Új!!: Konjunktív normálforma és Skolem-normálforma · Többet látni »
Számításelmélet
#ÁTIRÁNYÍTÁS Számítástudomány.
Új!!: Konjunktív normálforma és Számításelmélet · Többet látni »
Számítógép
30000 mechanikus alkatrészt tartalmaz, de mégis egy programozható digitális számítógép, amely lebegőpontos számítások végzésére is képes. A gépet, Zuse házával együtt, a Szövetségesek lebombázták a II. világháborúban. PDP–11 kompatibilis szovjet számítógép, amely egy rajzfilmbeli robothoz hasonlít Számítógép minden olyan berendezés, amely képes bemenő adatok (input) fogadására, ezeken különféle, előre beprogramozott műveletek (programok) végrehajtására, továbbá az eredményül kapott adatok kijelzésére, kivitelére (output), amelyek vagy közvetlenül értelmezhetőek a felhasználók részére, vagy más berendezések vezérlésére használhatóak.
