| Kiadó: | Tankönyvkiadó |
|---|---|
| Kiadás helye: | Budapest |
| Kiadás éve: | |
| Kötés típusa: | Ragasztott papírkötés |
| Oldalszám: | 93 oldal |
| Sorozatcím: | |
| Kötetszám: | |
| Nyelv: | Magyar |
| Méret: | 20 cm x 14 cm |
| ISBN: | 963-17-9736-8 |
| Megjegyzés: | Tankönyvi szám: 13234/VI. Fekete-fehér ábrákkal. |
| 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 |
Nincs megvásárolható példány
A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük.
Folytatás Microsoft-tal