Programozási tételek:

Összegzés tétele

Kiválasztás tétele
Eldöntés tétele
Kiválogatás tétele
Minimim (maximum) kiválasztás tétele
Szétválogatás tétele
Transzformálás (másolás) tétele
Megszámlálás tétele