A programbizonyítás alapjai

The Fundamentals of Program Verification

Szerző

Bárdos Attila

Szerkesztő

Erki Irén

Lektor

Balogh Kálmán

Budapest

'Bárdos Attila: A programbizonyítás alapjai ' összes példány

Kiadó:	Központi Statisztikai Hivatal Nemzetközi Számítástechnikai Oktató és Tájékoztató Központ
Kiadás helye:	Budapest
Kiadás éve:	1979
Kötés típusa:	Ragasztott papírkötés
Oldalszám:	170 oldal
Sorozatcím:	Programozás-módszertani sorozat
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:	963-7552-55-3
Megjegyzés:	Fekete-fehér illusztrációkkal.

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

Értesítőt kérek a sorozatról

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

Tartalom

Előszó	7
Bevezetés. A programbizonyítás problémaköre	9
A programbizonyítás logikai módszerei
A logikai programbizonyítás alapfogalmai	17
Folyamatábra-programok	17
While-programok	20
Programtulajdonságok	22
A parciális programhelyesség bizonyítása	24
Szimbolikus végrehajtás	24
Az induktív állítások módszere	28
A következtetési szabályok módszere	45
A redukciós indukció módszere	50
A programbefejeződés bizonyítása	58
A jól rendezett halmazok módszere	59
A ciklusszámlálók módszere	65
A végfeltétel-módszer	69
A totális programhelyesség bizonyítása	74
Következtetési szabályok a totális helyesség bizonyításához	74
A modális állítások módszere	84
Heurisztikus programellenőrzés	96
Programinvariánsok generálása	97
Programtulajdonságok bizonyítása invariánsokkal	104
Példa programellenőrzés és - javítás elvégzésére	105
Gépi programbizonyítás	116
A programbizoonyító rendszerek felépítése	116
A gépi programbizonyítás eredményei	120
A bizonyításelmélet és a programbizonyítás logikai alapjai
Predikátumkalkulus	127
Szintaxis	127
Szemantika	131
Az eldöntésprobléma és a következmény fogalma	134
A természetes következtetési rendszer	136
A rezolúciós módszer	139
Programsémák	148
Következtetés és a kutatás tendenciái	155
Ajánlott és felhasznált irodalom	157
Tárgymutató	165

Témakörök

Műszaki > Informatika > Számítógép > Programozása
Természettudomány > Matematika > Logika

Bárdos Attila

Bárdos Attila műveinek az Antikvarium.hu-n kapható vagy előjegyezhető listáját itt tekintheti meg: Bárdos Attila 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