Progamozási módszertan
Előadások
1. Előadás: alapfogalmak: feladat, program, megoldás
2. Előadás: specifikáció, leggyengébb előfeltétel
3. Előadás: elemi programok, programkonstrukciók
függvényabsztrakcióhoz példa