Úgy tűnik, hogy a JavaScript le van tiltva, vagy nem támogatja a böngésző. Sajnáljuk, de az oldal néhány funkciójának működéséhez, többek között a rendeléshez engedélyeznie kell a JavaScript futtatását böngészőjében. Köszönjük!

Halmazelméleti, matematikai logikai és algoritmuselméleti feladatok

Halmazelméleti, matematikai logikai és algoritmuselméleti feladatok - I. A. Lavrov, L. L. Makoszimova - Régikönyvek
Halmazelméleti, matematikai logikai és algoritmuselméleti feladatok - Régikönyvek Halmazelméleti, matematikai logikai és algoritmuselméleti feladatok - Régikönyvek Halmazelméleti, matematikai logikai és algoritmuselméleti feladatok - Régikönyvek
(0 vélemény)
Fordítók:
Komjáth Péter, Gyepesi György
Kiadó:
Műszaki Könyvkiadó
Kiadás éve:
1987
Kiadás helye:
Budapest
Nyomda:
Franklin Nyomda
Kötés típusa:
ragasztott papír
Terjedelem:
223
Nyelv:
magyar
Méret:
Szélesség: 17.00cm, Magasság: 24.00cm
Kategória:
Előszó az első kiadáshoz 7
Előszó a második kiadáshoz 9
1. Halmazelmélet 11
1. Műveletek halmazokkal 11
2. Relációk és függvények 17
3. Speciális biner relációk 24
4. Számosságok 32
5. Rendszámok 35
6. Műveletek számosságokkal 42
II. Matematikai logika 47
1. A logikai algebra 47
2. lgazságfüguények 54
3. Állításkalkulusok 60
4. Az elsőrendű logika nyelve 70
5. Az elsőrendű logika formuláinak konzisztenciája 77
6. Predikátumkalkulusok 84
7. Axiomatizá]ható elméletek 93
8. Az ultraszorzat 102
9. Axiomatizálható osztályok 107
Algoritmuselmélet (Rekurzióelmélet) 114
1. Parciális rekurzív függvények 114
2. Turing-gépek 124
3. Rekurzív és rekurzív módon felsorolható halmazok 128
4. Kleene- és Post-féle felsorolás 133


ÚTMUTATÁSOK, VÁLASZOK, MEGOLDÁSOK

I. Halmazelmélet 141
1. Műveletek halmazokkal 141
2. Relációk és függvények 145
3. Speciális biner relációk 149
4. Számosságok 154
5. Rendszámok 158
6. Műveletek számosságokkal 164
II. Matematikai logika 167
1. A logikai algebra 167
2. Igazságfüggvények 171
3. Állításkalkulusok 175
4. Az elsőrendű logika nyelve 179
5. Az elsőrendű logika formuláinak konzisztenciája 180
6. Predikátumkalkulusok 184
7. Axiomatizálható elméletek 187
8. Az ultraszorzat 192
9. Axiomatizálható osztályok 194
Algoritmuselmélet (Rekurzióelmélet) 201
1. Parciális rekurzív függvények 201
2. Turing-gépek 207
3. Rekurzív és rekurzív módon felsorolható halmazok 209
4. Kleene- és Post-féle felsorolás 213
Irodalomjegyzék 217
Tárgymutató 219


I. A. Lavrov

I. A. Lavrov  további könyvei

30%
Hűségpont:
 
Antikvár könyv
1 200 Ft 840 Ft
akár 50%
Hűségpont:
 

Az Ön ajánlója

Még nincs vélemény a könyvről, legyen Ön az első aki véleményt ír róla...