MA3301 Beregnbarhets- og kompleksitetsteori Kursbeskrivelse Høstsemesteret 2014 Sverre O. Smalø Høstsemesteret 2012 Finn Faye Knudsen