Programozásmódszertan 4. félév
tematika

áLTALÁNOS KÉRDÉSEK

Követelmények az aláírásért:

· 2 zárthelyi () megírása,

· beadandó feladat érdemi megoldása és () beadása (megvédése),

· a () gépes zárthelyi megírása.

Követelmények a legalább kettes gyakorlati jegyért:

· rendszeres gyakorlatra járás (a vizsgaszabályzatban rögzítettek szerint),

· mindkét zárthelyi legalább 2,

· a beadandó feladat legalább 2,

· a gépes zárthelyi legalább 2.

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 és/vagy, 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üggetlenül papíron is beadható (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, de legfeljebb 3 jegy levonásnyi késés lehetséges. 3 hét késés után nem fogadjuk el a beadandót, ez esetben az előadó aláírást nem adhat.

4. A beadandóval kapcsolatos információk további részleteihez (pl. értékelési szempontok) olvassa el a beadandóval kapcsolatos információkat: RekBeaErt.doc-ban, html-ben; pdf-ben; és a mintadokumentációt a doc-ban vagy pdf-ben.

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 (-fájl) lehet,

2. az output akár az alkalmazás valamely ablaka, akár sima TEXT (-fájl) lehet.

A beadandók névhez rendelése:

1	Árva Zoltán	16	Kmecs Viktória	11	Reiner Zita
2	Bugyi Sándor	17	Kocsis Bernadett	12	Sárkány Róbert
3	Csányi Tibor	18	Kovács Péter Norbert	13	Schoffhauzer Péter
4	Csikfalvi Attila	19	Marosi Polla Ágnes	14	Seprődi Máté
5	Fincza András József	20	Marosi Zoltán	15	Sereghy Zsófia
6	Furkó Árpád Gergely	1	Márton Balázs	16	Stadler János Kolos
7	Gedeon Veronika	2	Micheller Mária	17	Szatmári Boglárka Etelka
8	Hegedüs László	3	Molnár József	18	Szőke Szabolcs Tamás
9	Hubai Szabolcs László	4	Morandini Kristóf Márk	19	Takács Bence
10	Hutóczki Erika	5	Müller Katalin	20	Takács Valéria
11	Illés Márk	6	Nagy Balázs Tamás	1	Váczi Viktória
12	Juhos Tamás	7	Németh Gabriella	2	Vári Erika
13	Kálcza Tamás	8	Németh Katalin	3	Várkonyi Teréz Anna
14	Kiss Attila	9	Ötvös Petra
15	Kiss Endre Farkas	10	Ráczpali István

részletes tematika

A tematikában elsősorban az alábbi irodalmakra építünk és hivatkozunk:

1. Módszeres programozás – Rekurzió (mlógia 4, 4. kiadás),

2. Módszeres programozás – Rekurzív típusok (mló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 (mlógia 38, 2. kiadás),

5. Párhuzamos programok szintézise (http://people.inf.elte.hu/szlavi/ProgModsz/SzinkEgyesit.zip)

6. Cormen et al.: Algoritmusok (Műszaki Könyvkiadó, 1. kiadás)

7. Módszeres programozás – Hatékonyság (mlógia 6, 4. kiadás)

8. Kozma-Varga: Adattípusok osztálya (Informatika Tanszékcsoport)

9. Rónyai-Ivanyos-Szabó: Algoritmusok (TYPOT_EX)

10. Szlávi: Gondolatok a típus-specifikációk kompatibilitásának vizsgálatáról (mlógia Szilánkok 11)

Sorszám	Előadás	Gyakorlat
1 02.16.	Rekurzió 1.: A rekurzió fogalma, példák, a megvalósítás problémái. [1/6-25, 9/42-44]	Mohó algoritmusok. 1.
		Mohó algoritmusok. 2.
2 02.23.	Rekurzió 2.: A rekurzió és az iteráció kapcsolata. [1/31-46, 2/68-74]	Rekurzív függvények és eljárások (és iteratív párjaik), hatékonyságvizsgálat.
		QuickSort rendezés rekurzív algoritmusának elemzése.
3 03.02.	Rekurzió 3.: A rekurzió mint típuskonstrukciós eszköz. [2/5-26]	QuickSort fél-iteratív és iteratív változatai.
		Programozási tételek rekurzív és iteratív algoritmusa (+specifikálás).
4 03.09.	Rekurzió 4.: Bináris fák – kereső és rendező fák. [2/27-43,46-54, 6/208-225, 115-126, 9/57-56]	Programozási tételek rekurzív és iteratív megvalósítása (kódolás).
		BinFa modul megvalósítása.
5 03.16.	Rekurzió 5.: Általános fák,ábrázolásaik, kiegyensúlyozott fák, B-fák. [2/44-45,55-62, 6/327-344, 9/69-79]	Kereső fák kezelése a BinFa modulra építve.
		Bináris fák kiegyensúlyozása. 1.
6 03.23.	Dinamikus programozás [7/43-45, 6/259-282, 9/302-305]	Bináris fák kiegyensúlyozása. 2.
		HeapSort. Hatékonyságvizsgálat.
7 03.30.	Gráfok 1.: Gráfábrázolások, Gráfok 2.: a gráf mint típuskonstrukciós eszköz. [4/5-33, 6/404-406]	Dinamikus programozás. 1.
		Dinamikus programozás. 2.
8 04.06.	*1. zárthelyi* *önálló feladat kiosztása (pdf)*	Gráfábrázolások. „Statikus” gráf modul megvalósítása.
		Gráfábrázolások. „Statikus” gráf modul megvalósítása. (Konverziók a különféle ábrázolások között.)
	*Tavaszi szünet*	*Tavaszi szünet*
9 04.20.	Gráfok 3.: Gráf-bejárási algoritmusok. Útkeresések. [4/27-38, 6/407-420 ,444-463, 9/113-119]	gépes zárthelyi (Lovarda) 04.19. 11-14 (1,2. csop., a feladat), 04.21. 8-11 (3-5. csop. , a feladat)
10 04.27.	Gráfok 4.: Gráf összefüggőség-vizsgálata. Feszítőfák. Hálózati folyamok. [4/43-53,58-66, 6/477-489, 9/122-124, 151-161]	Szélességi bejárás. Szélességi bejárás alkalmazásai 1.
		Szélességi bejárás alkalmazásai 2.
11 05.04.	Programhelyesség. Strukturált programozás, programhelyesség, típushelyesség. [3/134-167, 8/67-79, 10]	Mélységi bejárás. Mélységi bejárás alkalmazásai 1.
		Mélységi bejárás alkalmazásai 2.
12 05.11.	Eötvös-Nap – az előadás orvul elmarad!!! *önálló feladat beadása*	Gráf-összefüggőség.
		Eötvös-/Pázmány-Nap – elmaradó gyakorlatok
13 05.18.	*2. zárthely*	Komplex gráfos feladat.
		Programhelyesség. Egy konkrét feladat bizonyítása; Böhm-Jacopini tétel bizonyítása.
14 05.25.	*Pót papíros zárthelyik (05.25.)*	*Pót gépes zárthelyi 05.26. 8-11 (Lovarda)*