Programozás módszertan
4. félév

Általános kérdések

A gyakorlati jegybe a zárthelyik és a házi feladat(ok) eredményei mellett a gyakorlaton való részvétel minősége is beleszámít.
Ha a(z "elméleti" és géptermi) zárthelyik valamelyikét nem írta meg legalább elégségesre, akkor a pótzárthelyi(ke)t meg kell írnia!

    A beadandóval szemben támasztott feltétel, hogy
  1. a program legyen képes rövid (2-3 oldalnyi!) nyitó tájékoztató megjelenítésére,
  2. mivel a megoldáshoz néhány "komplex" adatszerkezetre van szükség, ezért ezt (ezeket) önálló modulban (Untit-ban, Include-állományban), elkülönítve kell megvalósítani. Azaz a program algoritmusa is és a kódja is legalább két-két független programegységet alkot.
    A beadandó feladat beadásáról ( ):
  1. a meghatározott formai feltételeknek eleget nem tevő dolgozatokat nem értékelünk (azt újra be kell adni helyesen; azonban a határidő nem módosul),
  2. a beadás e-mail-ben történik (ennek dátuma a meghatározó); a dokumentációt ettől füg­getlenül kérjük papíron is (ami azonban nem helyettesíti az e-mail-es beadást!), ekkor kaphat részletes értékelést munkájáról.
  3. késedelmes beadás esetén a jegyet hetente 1 jeggyel csökkentjük.
  4. A beadandóval kapcsolatos információk további részleteihez (pl. értékelési szempontok) olvassa el: a tavalyi beadandóval kapcsolatos információkat, amelyek most is érvényben vannak.
    A beadandókkal szemben támasztott további feltétel, hogy a felhasználó (ez esetben a tesztelő) választása szerint
  1. az input akár klaviatúra, akár sima TEXT (-file) lehet,
  2. az output akár képernyő, akár sima TEXT (-file) lehet.

Részletes tematika

Sorszám
Dátum		ElőadásGyakorlat
1
02.18.		A rekurzió mint specifikációs, ill. típuskonstrukciós eszköz. Bináris fákBinFa modul megvalósítása
2
02.25.		Bináris fák -kereső és rendező fák, Piramis rendezés Kereső fák kezelése a BinFa modulra épít­ve.
3
03.03.		Általános fák-ábrázolások, ki­egyensúlyozott fák, B-fák.Bináris fák kiegyensúlyozása. HeapSort.
4
03.10.		Programhelyességbizonyítás. [3/134-167]Programhelyességbizonyítás.
5
03.17.		Gráfok 1.: Gráfábrázolások, a gráf mint típus­konstrukciós eszköz. [4/5-33]Általános és B-fák
6
03.24.		1. zárthelyi önálló feladat kiosztása Hatékonyság- helyfoglalás
7
03.31.		Gráfok 2.: Gráfbejárási algoritmusok. Útkere­sések. Pont- és éljellemzőkkel is rendelkező gráf ábrázolása, felépítése
8
04.07.		Tavaszi szünetSzélességi bejárás. Szélességi bejárás alkalmazásai 1.
9
04.14.		Gráfok 3.: Gráf-összefüggőségvizsgálat. Fe­szítőfák. [4/43-53,58-66]Szélességi bejárás alkalmazásai 2.
10
04.21.		Párhuzamosság 1.: Problematika és megol­dási ötletekMélységi bejárás. Mélységi bejárás alkalmazásai 1.
11
04.28.		Párhuzamosság 2.: Párhuzamos programok szintéziseönálló feladat beadásaGépes zárthelyi
12
05.05.		2. zárthelyiMélységi bejárás alkalmazásai 2.
13
05.12.		Hatékonyság Végrehajtási ido csökkentésePárhuzamosság: közlekedési szimulációs program
14
05.19.		HatékonyságHelyfoglalás és bonyolultság csökkentéseHatékonyság: Végrehajtási ido csökkentése feladatsor

Ajánlott irodalom

  1. Módszeres programozás – Rekurzió (mikrológia 4, 4. kiadás)
  2. Módszeres programozás - Rekurzív típusok (mikrológia 27, 1. kiadás)
  3. Varga: Programok analízise és szintézise (Akadémiai Kiadó)
  4. Módszeres programozás - Gráfok, gráfalgoritmusok (mikrológia 38, 2. kadás)
  5. Párhuzamos programok szintézise (http://izzo.inf.elte.hu/szlavi/ProgModsz/SzinkEgyesit.zip)
  6. Cormen et al.: Algoritmusok (Műszaki Könyvkiadó)
  7. Módszeres programozás - Hatékonyság (mikrológia 6, 3. kadás)