Högskola och universitet hos Uppsala universitet, 7,5 högskolepoäng.
Kursen innehåller:
en modell för procedurell programmering
en modell för funktionell programmering
rekursiv talteori: delbarhet, primtal, Gödeltal
tabeller, listor, träd samt algoritmer på dem
kardinalitet
stopp-problemet.