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: Problem and program; Methods and tools for specification; Program description tools and methods; Significance and levels of abstraction; Abstract data types; Programming theorems and their application; Program transformations; Algorithm correctness, proving techniques.
