Behörighetskrav

Ma C

Mål

Efter genomgången kurs förväntas studenten

• kunna redogöra för grundläggande paradigm för algoritmer och data samt algoritmers sätt att manipulera data,
• förstå hur man utifrån några få algoritmiska byggstenar kan bygga ett system för allt algoritmiskt,
• kunna lösa några enkla talteoretiska och kombinatoriska problem av algoritmisk karaktär ,
• känna till att det finns problem som är omöjliga att lösa algoritmiskt.

Innehåll

• 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

Undervisning

Undervisningen består av föreläsningar och lektioner samt redovisningar – i seminarieform – av uppgifter.

Examination

Skriftlig tentamen.