kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát
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.