Zohar Manna: Programozáselmélet
A szerző, aki a programozás elméletének elismert kutatója és több egyetem előadója, a témát nem a matematikus szigorú pontosságával (tételbizonyítás) tárgyalja, hanem a tételeket nagyszámú példán keresztül világítja meg. Ezzel éri el, hogy ezt a hatalmas területet egy könyvben áttekinthetően és az egyetemi oktatásban is nagy segítséget nyújtó módon tudja összefoglalni. A könyv összefoglalja a véges automaták elméletét, a Turing-gépet, a POST-gépet és a veremautomatákat. Foglalkozik a feladatosztályok algoritmikus megoldhatóságának kérdéseivel. Bevezeti a predikátumkalkulus fogalmát, a rezolúciós következtetések módszereit. Definiálja a programhelyesség fogalmát, felhasználva a parciális és totális helyesség módszereit. Elemzi a különböző programsémák kifejező erejét, amihez felhasználja az általánosított folyamatábrasémák elemeit. Az utolsó fejezet a rekurzív programok tulajdonságbizonyítási elméletével foglalkozik.
a képeken látható állapotban
személyes átvétel Dunakeszin és Budapesten is, előreutalás után postázom
Jelenlegi ára: 2 500 Ft
Az aukció vége: 2021-11-19 03:18 .
Megjegyzés küldése