Kurzus nemzetközi vendég- és részidős hallgatóknak

Kar

Informatikai Kar

Szervezet

IK Programozáselmélet és Szoftvertechnológiai Tanszék

Kód

IPM-22fatTPE

Cím

Programozáselmélet Ea.

Tervezett félév

Őszi

ECTS

3

Nyelv

en

Oktatás célja

tudás: Komplex és aktuális ismeretekkel rendelkezik informatikai szakterületének innovatív, kutatói szintű műveléséhez szükséges általános, matematikai és számítástudományi elvek, szabályok, összefüggések terén. Átfogóan és naprakészen ismeri és érti az informatikai szakterületének általános elméleteit, összefüggéseit, tényanyagát és az ezekhez szükséges felépítő fogalomrendszert, különösen - választott specializációjának megfelelően - az alábbi területeken: szintézis és verifikálás. képesség: Képes matematikai, számítástudományi, informatikai ismereteinek, újszerű megközelítési módot igénylő alkalmazására informatikai kutatási, fejlesztési feladatok során. Képes az informatikai szakterületen felmerülő komplex szakmai problémák formalizálására, a szükséges elvi és gyakorlati háttér feltárására és a probléma megoldására. Képes informatikai ismereteit alkalmazni változatos, multidiszciplináris szakmai környezetben. Képes szakmai irányítás mellett önálló tudományos kutatómunkát végezni, felkészülni tanulmányainak posztgraduális képzés keretében történő folytatására. attitűd: Figyelemmel kíséri az informatikai szakterületével kapcsolatos szakmai, technológiai fejlődést. Elkötelezett az önvizsgálaton alapuló kritikai visszacsatolás és értékelés iránt. Elkötelezett az élethosszig tartó tanulás iránt, nyitott új informatikai szakmai kompetenciák elsajátítására. Nyitott a kezdeményező együttműködésre, az informatikai és más szakterületek szakembereivel. autonómia, felelősség: Informatikai tevékenysége során hozott szakmai döntéseiért felelősséget vállal. Működéskritikus informatikai rendszerek esetén szakmai kompetenciáinak megfelelő fejlesztési-üzemeltetési felelősséggel ruházható fel.

Tantárgy tartalma

A programozás egy matematikai modellje, a programozás alapfogalmai: állapottér, feladat, program, programfüggvény, megoldás. Leggyengébb előfeltétel, specifikáció tétele, feladatok specifikációja. Elemi programok. Programkonstrukciók. Strukturált nem-determinisztikus programok és párhuzamos programok helyessége. Típusspecifikáció, típus, megfelelés, típusspecifikáció tétele. Egyszerű programozási tételek helyességének igazolása.

Számonkérés és értékelés

szóbeli vizsga

Irodalomjegyzék

Fóthi Ákos: Bevezetés a programozáshoz (Eötvös Kiadó, 2005) Dahl, Dijkstra, Hoare: Strukturált programozás (Műszaki Könyvkiadó, 1978) E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Cliffs, New York, 1976. ISBN-13: 978-0132158718 D. Gries, The Science of Programming, Springer, Berlin, 1981. ISBN: 978-1-4612-5983-1

Kurzus szakjai