I.Egyszerű definíciók, tételek

Nevezetes típusok(rekord, egyesítés, sorozat, halmaz, függvény, vektor, fájlok 
stb.)
Nevezetes típusműveletek, függvények(lopop, read stb.; dom, lov, lob stb.)
Elemenként feldolgozható függvény
Programozási tételek változatai(vektorra, sorozatra, fájlokra); összegzés, 
     számlálás, maximumkeresés, feltételesmaximumkeresés, 
     lineáris keresések, rekurziv függvény, elemenkénti feldolgozások

II. Tételek

Visszalépéses keresés, 
logaritmikus keresés, 
rekurzív formulával adott függvény helyettesítési értéke, 
elemenkénti feldolgozás (definíció, egyváltozós, kétváltozós),
időszerűsítés (definíciók, megoldás egyértelmű kulcs esetén, megoldások 
  nem egyértelmű kulcs esetén adatabsztrakcióval, függvényabsztrakcióval).