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: | |
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. |
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 |
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.