Szigorlati-tematika
Programozási módszertani tételei
2001

1.

Algoritmizálás: Algoritmikus és alapvet adatszerkezetek; és leírásuk a programban; 'struk­túraszerinti feldolgozás' elve, struktúrált programozás lényege.

Algoritmusleíró eszközök.

Adattípusok: Adatok jellemzi, a típus fogalma, a típusokhoz kapcsolódó mveletek osztá­lyozása, »szabványosö elemi és összetett típusok; sorozattípusokról általában (ábrázolási lehetségek, mveletek). Típus és algebrai specifikációja. A modul mint a típusmegvalósítás kerete.

2.

Programozási tételek 1.: Sorozathoz érték rendelése. Sorozathoz sorozat rendelése. (Tételkimondás: absztrakt feladat + absztrakt algoritmus. Példa.)

3.

Programozási tételek 2.: Tételek összeépítése. (Tételkimondás: absztrakt feladat + absztrakt algoritmus. Példa.) Programtranszformációk. Rendezések. (Algoritmus + hatékonysági megfontolások.)

4.

Programozási tételek 3.: Keresések (rendezettben, backtrack). Tételek a visszalépéses elvre építve (eldöntés, kiválasztás, kiválogatás, maximumkiválasztás). (Tételkimondás: absztrakt feladat + absztrakt algoritmus. Példa.)

5.

Típuskonstrukciós eszközök 1.: Tömbök. (reprezentáció, implementáció; címfüggvények, speciális és hiányosan kitöltött tömbök.) Listák. (egy reprezentáció és implementáció.)

6.

Típuskonstrukciós eszközök 2.: Vermek. (reprezentációk, implementációk.) Sorok. (reprezentációk, implementációk.)
Kifejezéskiértékelési módszerek: Rutishauser-módszer, Lengyel-forma.

7.

Típuskonstrukciós eszközök 3.: Prioritási sorok. (reprezentáció, implementáció; alkalmazási példák.) File-ok. (File-osztályok, megvalósítási problémák, elképzelések.)

8.

Típuskonstrukciós eszközök 3.:Táblázatok, keresések táblázatokban

9.

Adatfeldolgozás 1.: Alapfogalmak, Z=F(X) tétel, struktúraszerinti feldolgozás elve, típus­finomítás és -megfeleltetés, konfliktusok és feloldásaik speciális feltételek teljesülése esetén (példák).

10.

Adatfeldolgozás 2.: Idszersítés (Z=F(X) vagy az összefuttatás tétel alapján) és a rendezet­lenségi konfliktus általános megoldási módszerei. (4-, 3-munkafile-os rendezés.)

11.

Szövegfeldolgozás 1.: A szövegtípusok szkebb értelmezése (karakter, szöveg, karakter-file típusok, implementációs problémák); szrések és tömörítések (Tab-ok/Token-ek alkalmazása) algoritmusai a típusmegfeleltetés alapján.

12.

Szövegfeldolgozás 2.: Szövegtömörítések (Huffman és LZW-kódolás) algoritmusainak, szövegminta-keresési módszereknek a lényege.

13.

Hatékonyság 1.: Globális hatékonyság - a végrehajtási idõcsökkentése a cikluslépésszám csökkentése által. Globális hatékonyság - a végrehajtási id csökkentése a ciklus egyszeri végrehajtási idejének csökkentése által.

14.

Hatékonyság 2.: Globális hatékonyság - a helyfoglalás csökkentése.
Globális hatékonyság - a bonyolultság csökkentése.

Programergonómia: tájékoztató, help, menük, ablakok és megvalósítási problémáik.

15.

Hatékonyság 3.: Lokális hatékonyság. A hatékonyság mérése.

Tesztelés, hibakeresés, hibakeresési eszközök.

Kódolás: Pascal nyelv elemei: Programszerkezet, adatdeklarálás, algoritmikus szerkezetek, el­járások, függvények; néhány elemi kódtranszformáció.

16.

A programozás folyamata.

A programozás alapfogalmai, specifikáció.

Programozáselmélet: Struktúrált és nem struktúrált programok.

17.

Rekurzió 1.: A rekurzió megvalósításának problémái.
A rekurzió és az iteráció kapcsolata.
Rekurzív függvények iteratív kiszámítása. Quick-sort rendezés

18.

Rekurzió 2.: A rekurzió mint specifikációs, ill. típuskonstrukciós eszköz.
Fák - keres és rendez fák, kiegyensúlyozás, piramis rendezés.

19.

Gráfok 1.: Gráfábrázolások, a gráf mint típuskonstrukciós eszköz (reprezentációs és implementációs példák).
Gráfbejárási algoritmusok.

20.

Gráfok 2.: Gráfbejárások alkalmazásai: Útkeresések (egy út, legrövidebb út, legrövidebb út súlyozott gráfra), Összefüggségvizsgálat.

21.

Párhuzamosság: Problematika és megol­dási ötletek (példákon; korutinok, szemaforok). Párhuzamos programok szintézise (védett utasítások megvalósítása szemaforokkal;a változócserés, a hasításos és a æstafétabot átadásaÆ módszer lényege).