Emner

Undervises ikke studieåret 2011/2012

Faglig innhold

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.

Læringsmål

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.

Læringsformer og aktiviteter

Forelesninger og øvinger.

Obligatoriske aktiviteter

Anbefalte forkunnskaper

Forkunnskapskrav

TDT4136 Logikk og resonnerende systemer eller tilsvarende kunnskaper.

Kursmateriell

Oppgis ved kursets begynnelse.

Studiepoengreduksjon

Emnekode	Reduksjon	Fra	Til
DIF8909	7.5