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:
| Tantárgy neve: | Programming Methodology P-MIM_T4A |
|---|---|
| Tárgyfelelős: | Feldhoffer Gergely |
| Tantárgy oktatója: | Feldhoffer Gergely |
| A tantárgy céljának rövid ismertetése: | A kurzus célja a az algoritmusok helyességének bizonyításához szükséges elméleti alapok átadása, és azok gyakorlati alkalmazásainak bemutatása. |
| Elsajátítandó elméleti ismeretanyag: |
|
| Elsajátítandó gyakorlati ismeretanyag: | A hallgatók megismerkednek a programok helyességének ellenőrzésére szolgáló egyes eszközök (pl. gdb, valgrind) használatával. |
| A 2-4 legfontosabb kötelező irodalom felsorolása bibliográfiai adatokkal (szerző, cím, kiadás adatai, (esetleg oldalak), ISBN): | Michael Huth, Mark Ryan: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2004. ISBN: 9780521543101. Eric C.R. Hehner: A Practical Theory of Programming. Springer, 2012. ISBN: 9781441985965. |
| A 2-4 legfontosabb ajánlott felsorolása bibliográfiai adatokkal (szerző, cím, kiadás adatai, (esetleg oldalak), ISBN): | William E. Clark: Valgrind Unlocked: Hands-On Memory Debugging and Performance Profiling for C and C++. Szerzői kiadás, 2025. ISBN: 9798270577766. Pramod Kumar: Mastering Programming Methodology: A Comprehensive Framework: (Principles, Paradigms. and Best Practices for Effective Software Development). Szerzői kiadás, 2024. ISBN: 9798342831482. |
| Elmélet-gyakorlat aránya: | Elméleti óra óraszáma: 2 Gyakorlati óra és labor óra óraszáma: 0 + 2 |
| Az alkalmazott oktatási módszerek: |
|
| Az értékelés módja: | |
| Az értékelés kritériuma: | Frontális előadás, programozási gyakorlatok. |
| Miként járul hozzá a tantárgy a KKK-ban megjelölt kompetenciaelemek megszerzéséhez: | Bioinformatika mesterképzés: |
