Tantárgy adatlapja
Tárgy neve: Programming Methodology
Tárgy kódja: P-MIM_T4A
Óraszám: N: 2/0/2, L: 0/0/0
Kreditérték: 5
Az oktatás nyelve: angol
Követelmény típus: Kollokvium
Felelős kar: ITK
Felelős szervezeti egység: Pázmány Péter Katolikus Egyetem Információs Technológiai és Bionikai Kar
Tárgyfelelős oktató:
Dr. Feldhoffer Gergely
Tárgyleírás:
The course covers the following topics: Algorithm correctness, proving techniques, in details as follows: Problem and program as mathematical structures; Methods and tools for specification; Mathematical program description tools and methods; Significance and levels of abstraction; Data types as sets and invariants; Programming theorems and their application; Program transformations
