Logikk for informatikk-disipliner

Emnet undervises annet hvert år, neste gang vår 2013.
Emnet behandler aktuelle forskningsemner innen informatikkdisipliner som bruker eller bygger på logiske formalismer. Kursemnene for emnet kan endres fra år til år og vil bli hentet fra områder som f.eks. deduktive databaser, distribuerte systemer, maskin-læring, datagruvedrift, kunnskapsoppdagelse, automatisk teorembevis, sunn-fornuft resonnering, naturlig språk- forståelse og annet. Emner vil bli valgt i samarbeide med de PhD studenter som tar emnet.

Hovedhensikten med faget er å trene PhD-studenter i avanserte metoder av moderne logikk i informatikkdisipliner.


A: Kunnskap:
Kandidatenes metodiske og teknologiske innsikt skal styrkes innen
logikk anvendt for informatikkdisipliner som omfatter
deduktive databaser,maskin-læring,datagruvedrift, kunnskapsoppdagelse,
automatisk teorembevis,sunn-fornuft resonnering og matematisk lingvistikk.

B. Ferdighet:
Kandidaten skal kunne anvende logikk i analytisk og konstruktivt arbeid
innenfor teoretisk informatikk.

C. Generell kompetanse:
Kandidaten skal ha kompetense innen forståelse av logikk som
analyseverktøy for informatikkdisipliner.

Forelesninger og øvinger.