| Type: | basiskursus, kursus på phd-niveau, udbydes under åben uddannelse
Sprog: engelsk |
|
|
Tidligere kursus: C4355
|
|
Pointspærring: C4355
|
|
|
|
Faglige forudsætninger: 49233/49232.49253
|
|
|
|
Vejledende placering: Sidst i studiet.
|
|
Undervisningsform: Forelæsninger. Opgaveregning. 1-2 større skriftlige opgaver i hold af 1-2 deltagere.
|
|
Evalueringsform Bedømmelse af obligatoriske opgaver.
|
|
Karakter: 13-skala
|
|
|
|
|
|
|
|
Kursets netadresse: http://www.it.dtu.dk/c49355
|
|
Institut: Institut for Informationsteknologi
|
|
Studieudvalg: MIFSU
|
|
Kursusmål: At give indsigt i de logiske teorier, der ligger til grund for vidensrepræsentation i videnbaserede programmelsystemer
|
|
Kursusindhold: Kurset omhandler formaliseret vidensrepræsentation under anvendelse af såkaldt objekt-orienteret logik, der kombinerer objekt-orienteret tankegang med logikprogrammering.
|
