ÜTEMTERV

Programozás-elmélet c. tárgyhoz (GEMAK233B)

BSc gazdaságinformatikus, programtervező informatikus alapszakok számára

Óraszám: heti 2+0, (aláírás+kollokvium, 3 kredit)
2010/11-es tanév I. félév.

Előfeltétel: legalább elégséges jegy Diszkrét matematika II. (GEMAK122B) tárgyból

1. hét:     Alapfogalmak (relációk, függvények, projekciók, sorozatok).

2. hét:     A programozás alapfogalmai (programozási feladat, program, programfüggvény, feladat megoldása).

3. hét:     Specifikáció, leggyengébb előfeltétel, paramétertér, specifikáció tétele, a változó fogalma.

4. hét:     Elemi programok, elemi programok programfüggvényei, programkonstrukciók (szekvencia).

5. hét:     Programkonstrukciók (elágazás, ciklus), programkonstrukciók programfüggvényei.

6. hét:     1. zárthelyi dolgozat megírása.

7. hét:     Levezetési szabályok.

8. hét:     Programszerkezetek analízise (gráfelméleti alapfogalmak, vezérlési gráfok, blokkdiagramok)

9. hét:     Programszerkezetek analízise (programok ekvivalenciája, strukturált programszerkezet, Böhm-Jacopini tétel), a strukturálatlanság jellemzői.

10. hét:   Adattípusok és adatszerkezetek (elemi és strukturált adattípusok): tömb mátrix, rekord, egyesítés típus, halmaz típus.

11. hét:   Adattípusok: sorozat típusok (szekvenciális fájl, sor, verem, listák.)

12. hét:   Elemi programozási tételek (sorozatszámítás, eldöntés, kiválasztás, lineáris keresés, megszámlálás)

13. hét:   2. zárthelyi dolgozat megírása.

14. hét:   Összetett programozási tételek (másolás, kiválogatás, szétválogatás) keresések, rendezések.

A tárgy lezárásának módja: aláírás, kollokvium

Az aláírás feltétele:

• Az előadások felkészült, rendszeres látogatása.

A félév során a két zárthelyi dolgozat (6. és 13. héten) lesz. A zárthelyi dolgozatok elméleti kérdéseket (tételek, definíciók) illetve számolási feladatokat tartalmaznak.

A vizsga írásbeli. Meg nem engedett eszközök használata esetén a vizsga elégtelen és további vizsga abban a vizsgaidőszakban csak szóban, bizottság előtt, a tanszék által megadott időpontban lehetséges.

Miskolc, 2010. augusztus 22.

(Dr. Házy Attila)

 a tárgy jegyzője