1. Alapfogalmak (állapottér, feladat, program, programfüggvény, 
	megoldás, szigorítás, programozási feladat)

 2. Kiterjesztés (feladat és program kiterjesztése, kiterjesztési tételek)

 3. A megoldás fogalmának általánosításai (kiterjesztése, átnevezéssel, 
	általánosított, reláció szerinti; reláció szerinti megoldás 
	tétele)

 4. Specifikáció (leggyengébb előfeltétel, változó, specifikáció tétele, 
	"jó" specifikáció)

 5. Szekvencia (definíció, programfüggvény, levezetési szabály)

 6. Elágazás (definíció, programfüggvény, levezetési szabály)

 7. Ciklus (definíció, programfüggvény, levezetési szabály)

 8. Elemi programok (értékadások, leggyengébb előfeltételük)

 9. Típus (típusspecifikáció, típus, megfelelés, típusspecifikáció tétele, 
	 megfelelés általánosítása, absztrakt típus)