Bevezetés a kiszámíthatóság matematikai elméletébe

Szerző

J. I. Manyin

Fordító

Kerékfy Pál

Lektor

Gergely Tamás

Budapest

'J. I. Manyin: Bevezetés a kiszámíthatóság matematikai elméletébe ' összes példány

Kiadó:	Műszaki Könyvkiadó
Kiadás helye:	Budapest
Kiadás éve:	1985
Kötés típusa:	Tűzött kötés
Oldalszám:	144 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	19 cm x 14 cm
ISBN:	963-10-6037-3
Megjegyzés:	Tankönyvi szám: 61298.

É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ó a magyar kiadáshoz	7
Előszó	9
Bevezetés	11
Rekurzív függvények és algoritmusok	21
Az intuitív kiszámíthatóság fogalomképe	21
Parciális rekurzív függvények	25
Példák a rekurzivitásra	31
Felsorolható és rekurzív halmazok	36
A rekurzív geometria elemei	48
Konstruktív objektumok és algoritmusok	53
Diofantikus halmazok és algoritmikus eldönthetetlenség	56
Alaperedmények	56
A bizonyítás vázlata	59
A felsorolható halmazok D-halmazok	61
Redukció	64
Speciális diofantius halmazok konstruálása	68
Az exponenciális függvény gráfja diofantikus	73
A faktoriális és a binominális együtthatók gráfja diofantikus	74
Kiegészítés	77
Bonyolultság és védelem	79
Verziális családok	79
A Kolmogorov-féle bonyolultság	82
A bonyolultság és a védelem	88
Formális nyelvek és kiszámíthatóság	90
Szintakszisaritmetika	90
Szintaktikus analízis	96
A levezethető formulák felsorolhatóak	101
Gödel tétele	105
A nemteljességi elv	105
Az igaz formulák nemfelsorolhatóak	106
A bizonyítások hosszáról	109
Aritmetikai hierarchia	112
Az aritmetikai igazság produktivitása	114
Nagyon gyorsan növő kiszámítható függvények	118
Rekurzív csoportok	120
Az alaperedmény és következményei	120
Szabad szorzat és a HNN-bővítések	123
Beágyazás kétgenerátoros csoportokba	126
Jó részcsoportok	128
Korlátos generátorrendszerek	131
A bizonyítás befejezése	136
Befejezés	141
Irodalom	143

Témakörök

J. I. Manyin

J. I. Manyin műveinek az Antikvarium.hu-n kapható vagy előjegyezhető listáját itt tekintheti meg: J. I. Manyin könyvek, művek

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

Kuponos kedvezmény ezen könyv esetében nem vehető igénybe.