Om gruppen
Logikk-gruppen ved Matematisk institutt konsentrerer sin forskning rundt beregnbarhetsteori, kompleksitetsteori og teoretisk informatikk, men vil også kunne gi veiledning til studenter innen andre deler av logikken. Gruppen er, i vid forstand, opptatt av sammenhengen mellom begrensninger i språk som uttrykker algoritmer, hvilke oppgaver slike algoritmer kan løse og matematiske modeller for de data algoritmene behandler.
Samarbeid
Logikkgruppen ved Matematisk Institutt inngår i en større forskningsgruppe som også har tilknytning til Institutt for informatikk og tidligere Filosofisk institutt.
Gruppens medlemmer deltar aktivt i foreningen Computability in Europe (CiE). Foreningen utgjør et internasjonalt nettverk av forskere som arbeider med beregnbarhetsteori i vid forstand.
Emner
Logikkgruppen gir årlig kurset MAT-INF3600 Matematisk Logikk. Avanserte kurs i matematisk logikk (f.eks. kurs i mengdelære og kurs i bergnbarhetsteori) kan gis hvis spesielt interesserte studenter skulle ønske det.
