| Kiadó: | ELTE |
|---|---|
| Kiadás helye: | Budapest |
| Kiadás éve: | |
| Kötés típusa: | Ragasztott papírkötés |
| Oldalszám: | 130 oldal |
| Sorozatcím: | |
| Kötetszám: | |
| Nyelv: | Magyar |
| Méret: | 24 cm x 17 cm |
| ISBN: | |
| Megjegyzés: | Egyetemi jegyzet. |
| Bevezetés | 5 |
| Elsőrendű nyelvek | 9 |
| Struktúrák, formulák igazsága | 16 |
| Példák | 24 |
| A következmény fogalma | 38 |
| A levezethetőség fogalma | 47 |
| Modellelméleti alapfogalmak | 53 |
| A kompaktsági tétel | 63 |
| Alkalmazások | 74 |
| Rekurzív függvények | 94 |
| A levezethetőség aritmetizálása | 105 |
| Church és Gödel tételei | 116 |
| Ajánlott irodalom | 131 |
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