1.035.019
kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát
A programbizonyítás alapjai
The Fundamentals of Program Verification
| 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. |
É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
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
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
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űvekMegvá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.