11 kapcsolatok: Algoritmus, Angol nyelv, Konjunktív normálforma, Logikai művelet, Magyar nyelv, Matematikai logika, PDF, Polinom, 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!!: Diszjunktí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!!: Diszjunktív normálforma és Angol nyelv · Többet látni »
Konjunktív normálforma
A konjunktív normálforma, röviden KNF 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 diszjunkcióinak konjunkciója: \bigwedge_i \bigvee_j (\neg)x_.
Új!!: Diszjunktív normálforma és Konjunktí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!!: Diszjunktív normálforma és Logikai művelet · Többet látni »
Magyar nyelv
A magyar nyelv az uráli nyelvcsalád tagja, azon belül a finnugor nyelvek közé tartozó ugor nyelvek egyike.
Új!!: Diszjunktív normálforma és Magyar nyelv · 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!!: Diszjunktív normálforma és Matematikai logika · Többet látni »
#ÁTIRÁNYÍTÁS Portable Document Format.
Új!!: Diszjunktív normálforma és PDF · Többet látni »
Polinom
A matematikában a polinom (avagy többtagú algebrai egész kifejezés) egy olyan kifejezés, melyben csak számok és változók nemnegatív egész kitevőjű hatványainak szorzatai, illetve ilyenek összegei szerepelnek.
Új!!: Diszjunktív normálforma és Polinom · 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!!: Diszjunktí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!!: Diszjunktí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.
Új!!: Diszjunktív normálforma és Számítógép · Többet látni »