| Kiadó: | Műszaki Könyvkiadó |
|---|---|
| Kiadás helye: | Budapest |
| Kiadás éve: | |
| Kötés típusa: | Ragasztott papírkötés |
| Oldalszám: | 223 oldal |
| Sorozatcím: | |
| Kötetszám: | |
| Nyelv: | Magyar |
| Méret: | 24 cm x 17 cm |
| ISBN: | 963-10-7240-x |
| Megjegyzés: | Tankönyvi szám: 61439. |
| Előszó az első kiadáshoz | 7 |
| Előszó a második kiadáshoz | 9 |
| Halmazelmélet | 11 |
| Műveletek halmazokkal | 11 |
| Relációk és függvények | 17 |
| Speciális biner relációk | 24 |
| Számosságok | 32 |
| Rendszámok | 35 |
| Műveletek számosságokkal | 42 |
| Matematikai logika | 47 |
| A logikai algebra | 47 |
| Igazságfüggvények | 54 |
| Állításkalkulusok | 60 |
| Az elsőrendű logika nyelve | 70 |
| Az elsőrendű logika formuláinak konzisztenciája | 77 |
| Predikátumkalkulusok | 84 |
| Axiomatizálható elméletek | 93 |
| Az ultraszorzat | 102 |
| Axiomatizálható osztályok | 107 |
| Algoritmuselmélet (Rekurzióelmélet) | 114 |
| Parciális rekurzív függvények | 114 |
| Turing-gépek | 124 |
| Rekurzív és rekurzív módon felsorolható halmazok | 128 |
| Kleene- és Post-féle felsorolás | 133 |
| Útmutatások, válaszok, megoldások | |
| Halmazelmélet | 141 |
| Műveletek halmazokkal | 141 |
| Relációk és függvények | 145 |
| Speciális biner relációk | 148 |
| Számosságok | 154 |
| Rendszámok | 158 |
| Műveletek számosságokkal | 164 |
| Matematikai logika | 167 |
| A logikai algebra | 167 |
| Igazságfüggvények | 171 |
| Állításkalkulusok | 175 |
| Az elsőrendű logika nyelve | 179 |
| Az elsőrendű logika formuláinak konzisztenciája | 180 |
| Predikátumkalkulusok | 184 |
| Axiomatizálható elméletek | 187 |
| Az ultraszorzat | 192 |
| Axiomatizálható osztályok | 194 |
| Algoritmuselmélet (Rekurzióelmélet) | 201 |
| Parciális rekurzív függvények | 201 |
| Turing-gépek | 207 |
| Rekurzív és rekurzív módon felsorolható halmazok | 209 |
| Kleene- és Post-féle felsorolás | 213 |
| Irodalomjegyzék | 217 |
| Tárgymutató | 219 |
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