Hét | Dátum | Téma | Anyag |
1 | 09.06. | Regisztráció | |
2 | 09.13. | A specifikáció elemei. Elemi programozási tételek, levezetésük egymásból. | Elemi programozási tételek |
3 | 09.20. | Összetett programozási tételek levezetése, visszavezetése egymásra. | Összetett programozási tételek |
4 | 09.27. | Programozási tételek összeépítése. | Tételek összeépítése |
5 | 10.04. | Tételek listára. Tételek szekvenciális file-ra. | Tételek listára, szekvenciális fájlra |
6 | 10.11. | Tesztelés, hibakeresés, helyességbizonyítás. | Helyesség |
7 | 10.18. | Feladat megoldási stratégiák: oszd meg és uralkodj, visszalépéses keresés | Feladatmegoldási stratégiák |
8 | 10.25. | Feladat megoldási stratégiák: ág és korlát, mohó stratégia, dinamikus programozás | Feladatmegoldási stratégiák |
* | 11.01. | Őszi szünet | |
10 | 11.08. | Adattípusok specifikálása, algebrai specifikáció. | Specifikáció |
11 | 11.15. | Geometriai algoritmusok | Geometriai |
12 | 11.22. | Geometriai algoritmusok | Geometriai |
13 | 11.29. | Rekurzió memorizálással (dinamikus programozás). | Rekurzió |
14 | 12.06. | - | |
15 | 12.13. | ZH (90 perces) |