Emne - Logikk for informatikk-disipliner - DT8104
DT8104
Dette emne har faglig overlapp med emnet i tabellen over. Om du tar emner som overlapper får du studiepoengreduksjon i det emnet du har dårligst karakter i. Dersom karakteren er lik i de to emnene gis det reduksjon i det emnet som er avlagt sist.
Logikk for informatikk-disipliner
Studiepoeng
7,5
Nivå
Doktorgrads nivå
Undervisningsstart
Vår 2011
Varighet
1 semester
Vurderingsordning
Skriftlig eksamen
Om
Om emnet
Faglig innhold
Emnet undervises annet hvert år, neste gang vår 2011.
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æringsutbytte
Hovedhensikten med faget er å trene PhD-studenter i avanserte metoder av moderne logikk i informatikkdisipliner.
Læringsformer og aktiviteter
Forelesninger og øvinger.
Forkunnskapskrav
TDT4136 Logikk og resonnerende systemer eller tilsvarende kunnskaper.
Kursmateriell
Oppgis ved kursets begynnelse.
Studiepoengreduksjon
| Emnekode | Reduksjon | Fra |
|---|---|---|
| DIF8909 | 7,5 sp |
Fagområder
- Datateknikk og informasjonsvitenskap
Kontaktinformasjon
Ansvarlig enhet
Eksamen
Eksamen
Vurderingsordning: Skriftlig eksamen
Karakter: Bokstavkarakterer
Ordinær eksamen - Høst 2010
Skriftlig
Vekting
100/100
Varighet
4 timer
Sted og rom
Ikke spesifisert ennå.
Ordinær eksamen - Vår 2011
Skriftlig
Vekting
100/100
Varighet
4 timer
Sted og rom
Ikke spesifisert ennå.