I. rész - Bevezetés a programozáshoz (Fóthi Ákos)
Előző
Következő
Bevezetés a programozáshoz (Fóthi Ákos)
Tartalom
1. Alapfogalmak
1.1
Halmazok
1.2
Sorozatok
1.3
Relációk
1.3.1
Műveletek
1.3.2
Logikai relációk
1.4
Direktszorzat
1.5
Függvényterek
1.6
Példák
1.7
Feladatok
2. A programozás alapfogalmai
2.1
Az állapottér fogalma
2.2
A feladat
2.3
A program
2.4
A programfüggvény
2.5
Megoldás
2.6
Programozási feladat
2.7
Példák
2.8
Feladatok
3. Specifikáció
3.1
A leggyengébb előfeltétel
3.2
A feladat specifikációja
3.3
A változó fogalma
3.4
Példák
3.5
Feladatok
4. Kiterjesztések
4.1
A feladat kiterjesztése
4.2
A program kiterjesztése
4.3
Kiterjesztési tételek
4.4
A megoldás fogalmának kiterjesztése
4.5
A feladat kiterjesztése és a specifikáció tétele
4.6
Példák
4.7
Feladatok
5. A típus
5.1
A típusspecifikáció
5.2
A típus
5.3
A típusspecifikáció tétele
5.4
Példák
5.5
Feladatok
6. Elemi programok
6.1
Feladatok
7. Programkonstrukciók
7.1
Megengedett konstrukciók
7.2
A programkonstrukciók programfüggvénye
7.3
Levezetési szabályok
7.4
Példák
7.5
Feladatok
7.6
A programkonstrukciók és a kiszámíthatóság
7.6.1
Parciális rekurzív függvények
7.6.2
A parciális rekurzív függvények kiszámítása
7.6.3
Következmény
7.6.4
Relációk
8. Típuskonstrukciók
8.1
A megengedett konstrukciók
8.2
Szelektorfüggvények
8.3
Az iterált specifikációs függvényei
8.4
A függvénytípus
8.5
A típuskonstrukciók típusműveletei