Tartalomjegyzék
7 kapcsolatok: Algoritmus, Ítéletlogika, Hierarchia, Horn-kielégíthetőség, Horn-klóz, Konjunktív normálforma, Rezolúció.
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.
Megnézni Egységszaporítás és Algoritmus
Ítéletlogika
Az ítéletlogika vagy ítéletkalkulus a formális logika azon ága, mely az egyértelműen igaz vagy hamis kijelentő mondatokkal, az ítéletekkel vagy – más szóhasználattal – kijelentésekkel foglalkozik.
Megnézni Egységszaporítás és Ítéletlogika
Hierarchia
fastruktúrával ábrázolni IWW 1911-es kiadványa így szemlélteti a kapitalizmus társadalmi hierarcháját A hierarchia jelentése a függelmi viszonyok, a fölé- és alárendeltségek rendszere, amiben az emberek vagy dolgok valamilyen szempont (pl.
Megnézni Egységszaporítás és Hierarchia
Horn-kielégíthetőség
A formális logikában a Horn-kielégíthetőség vagy a HORNSAT annak eldöntése, hogy az adott Horn-klózok adott halmaza kielégíthető vagy nem.
Megnézni Egységszaporítás és Horn-kielégíthetőség
Horn-klóz
Horn-klóz a matematikai logikában, konkrétan a nulladrendű (vagy ítélet-) és az elsőrendű (vagy predikátum-) logikában olyan zárt klóz, azaz véges sok negálatlan vagy negált zárt atomi formulából (literálból) diszjunkció által összetett formula, mely legfeljebb egy negálatlan, azaz pozitív atomot tartalmaz; a többi tagja viszont negált.
Megnézni Egységszaporítás és Horn-klóz
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_.
Megnézni Egységszaporítás és Konjunktív normálforma
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.
Megnézni Egységszaporítás és Rezolúció