1.114.022

kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát

A kosaram
0
MÉG
5000 Ft
a(z) 5000Ft-os
szállítási
értékhatárig
Ginop popup ablak bezárása

A programbizonyítás alapjai

The Fundamentals of Program Verification

A programbizonyítás alapjai
A programbizonyítás alapjai
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:
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
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öre9
A programbizonyítás logikai módszerei
A logikai programbizonyítás alapfogalmai17
Folyamatábra-programok17
While-programok20
Programtulajdonságok22
A parciális programhelyesség bizonyítása24
Szimbolikus végrehajtás24
Az induktív állítások módszere28
A következtetési szabályok módszere45
A redukciós indukció módszere50
A programbefejeződés bizonyítása58
A jól rendezett halmazok módszere59
A ciklusszámlálók módszere65
A végfeltétel-módszer69
A totális programhelyesség bizonyítása74
Következtetési szabályok a totális helyesség bizonyításához74
A modális állítások módszere84
Heurisztikus programellenőrzés96
Programinvariánsok generálása97
Programtulajdonságok bizonyítása invariánsokkal104
Példa programellenőrzés és - javítás elvégzésére105
Gépi programbizonyítás116
A programbizoonyító rendszerek felépítése116
A gépi programbizonyítás eredményei120
A bizonyításelmélet és a programbizonyítás logikai alapjai
Predikátumkalkulus127
Szintaxis127
Szemantika131
Az eldöntésprobléma és a következmény fogalma134
A természetes következtetési rendszer136
A rezolúciós módszer139
Programsémák148
Következtetés és a kutatás tendenciái155
Ajánlott és felhasznált irodalom157
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ű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