nativelib.net logo NativeLib hu MAGYAR

Matematična logika / Matematikai logika - Lexikon

javaslat
állítmány
kvantor
tautológia
ellentmondás
következtetés
modalitás
alapigazság
tétel
bizonyíték
modell
következetesség
teljesség
szilárdság
tagadás
kötőszó
diszjunkció
implikáció
egyenértékűség
szintaxis
szemantika
változó
funkció
kapcsolat
domain
értelmezés
levonás
következmény
logikai kötőszavak
predikátumlogika
propozíciós logika
elsőrendű
másodrendű
modellelmélet
bizonyítási elmélet
halmazelmélet
formális rendszer
metaelmélet
dönthetőség
rekurzió
fix pont
kombinatorika
automata
kiszámíthatóság
logikai kapu
Boole-algebra
normálforma
következmény
következetesség
cáfolat