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

Szerző

I. A. Lavrov

L. L. Makszimova

Szerkesztő

Patkóné Helvei Judit

Fordító

Gyepesi György

Lektor

Urbán János

Budapest

'I. A. Lavrov: Halmazelméleti, matematikai logikai és algoritmuselméleti feladatok ' összes példány

Kiadó:	Műszaki Könyvkiadó
Kiadás helye:	Budapest
Kiadás éve:	1987
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.

Értesítőt kérek a kiadóról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Tartalom

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

Témakörök

Megvásárolható példányok

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.

Előjegyzem