1.067.053
kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát
Bevezetés a kiszámíthatóság matematikai elméletébe
Budapest
| Kiadó: | Műszaki Könyvkiadó |
|---|---|
| Kiadás helye: | Budapest |
| Kiadás éve: | |
| 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
naponta értesítjük a beérkező friss
kiadványokról
A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról
naponta értesítjük a beérkező friss
kiadványokról
Előszó
A számítástechnika alkalmazása lehetőséget teremt a feladatok megoldására és a bonyolult függvények effektív számítására. A matematikában nem effektíven definiált függvényeket is széleskörűen... TovábbElőszó
A számítástechnika alkalmazása lehetőséget teremt a feladatok megoldására és a bonyolult függvények effektív számítására. A matematikában nem effektíven definiált függvényeket is széleskörűen alkalmaznak. Gyakran előfordul, hogy egy (például optimalizálási) feladat megoldhatóságának bizonyítása nem jár együtt a megoldási algoritmus megadásával.A valóságban a klasszikus eszközökkel kezelhető feladatok bizonyos nehezen pontosítható értelemben szélesebb területet fognak át az algoritmikusan megoldható feladatoknál. A könyv célja ezen állítás értelmezése, a kiszámíthatóság matematikai modelljeinek felállítása és olyan eredmények bemutatása, amelyek felhasználják a rekurzív függvénytant, de túlmennek az elmélet keretein. Mindenekelőtt A. N. Kolmogorov elmélete tartozik ide, ami a kiszámíthatóság és a véletlen fogalmának kapcsolatával foglalkozik, de ide tartoznak még a kiszámíthatóság számelméleti vonatkozású eredményei is. Vissza
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 |
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űvekMegvásárolható példányok
Állapotfotók
Állapot:
Jó
3.400 ,-Ft
17
pont kapható
Kosárba
Folytatás Microsoft-tal