| Kiadó: | JATEPress |
|---|---|
| Kiadás helye: | Szeged |
| Kiadás éve: | |
| Kötés típusa: | Tűzött kötés |
| Oldalszám: | 41 oldal |
| Sorozatcím: | |
| Kötetszám: | |
| Nyelv: | Magyar |
| Méret: | 28 cm x 20 cm |
| ISBN: | |
| Tartalom | 1 |
| Nyelvek | 2 |
| Struktúrák | 3 |
| Zérusrendű logika (ítéletkalkulus) | 4 |
| Henkin konstansok | 6 |
| Teljességi tétel | 8 |
| A modellelmélet elemei | 9 |
| Ultraszorzat | 11 |
| Axiomatizálhatóság | 12 |
| Nemstandard analízis | 15 |
| Rekurzív függvények | 17 |
| Turing gépek, kiszámíthatóság | 19 |
| Nyelvek Gödel kódolása | 21 |
| Peano axiómák és reprezentálhatóság | 24 |
| Nemteljességi tétel | 25 |
| A halmazelmélet axiomatikus felépítése | 26 |
| Kontinuum hipotézis | 28 |
| Kiválasztási axióma | 32 |
| Konstruálható halmazok, halmazelméleti modellek | 37 |
| Forszolás | 39 |
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