Kijelentéslogika 3
Kijelentések, logikai értékek 3
Logikai műveletek 4
Igazságfüggvények és alkalmazásaik 14
Normálformák, teljes függvényrendszerek 22
További példák alkalmazásokra 31
Formulák. tautológiák 44
A következményfogalom 51
Elsőrendű logika 59
Relációk, kvantorok 59
Elsőrendű nyelvek és struktúrák 68
Logikai igazságok, következtetések 73
Kielégíthetőség, eldöntésprobléma 79
A matematikai logika történeti fejlődése (olvasmány) 84
Készleten | |
---|---|
Kiadó | |
Kötés típusa | |
Szerző |
Alcím | A speciális matematikai osztályok számára |
---|---|
Frigyesi Miklós | |
Kiadás éve | 1987 |
Oldalszám | 93 |