Algoritmusok tervezése és elemzése
Szerzők
- Battyányi Péter, Herendi Tamás
Terjedelem
- 250.000 leütés
Digitális elemek
- 300 kép
Tartalom
Matematikai háttér: halmazok, relációk és az indukció alapelve; Egy egyszerű imperatív programozási nyelv szintaxisa; Imperatív nyelvek szemantikája: műveleti szemantika, denotációs szemantika és axiomatikus szemantika; Program helyesség: a the Floyd-Naur parciális helyesség-bizonyítás; A Hoare-féle axiomatikus módszer; Dijkstra-féle leggyengébb előfeltétel kakulus; Hoare-logika rekurzív programokra; Programozási paradigmák: nemdeterminizmus és párhuzamos programok; Dijkstra-féle GCL; Az Owicki-Gries és a Stirling módszer párhuzamos programok ellenőrzésére; Kapcsolódó témakörök és megjegyzések.
Kurzus
MI BSc: Algoritmusok tervezése és elemzése, INDK451-K5
Legutóbbi frissítés:
2023. 01. 26. 17:51