| Type: | basiskursus, udbydes under åben uddannelse
Sprog: dansk |
|
|
|
|
Pointspærring: 49232/C4332
|
|
|
|
Faglige forudsætninger: 49142
|
|
|
|
Vejledende placering: Midt i studiet.
|
|
Undervisningsform: Forelæsninger. Øvelser
|
|
Evalueringsform Skriftlig eksamen
|
|
Karakter: 13-skala
|
|
|
|
|
|
|
|
Kursets netadresse: http://www.it.dtu.dk/c49233
|
|
Institut: Institut for Informationsteknologi
|
|
Studieudvalg: MIFSU
|
|
Kursusmål: At introducere til formel logik og til formulering af logiske systemmodeller.
|
|
Kursusindhold: Basale logiske sprog og logiske begreber såsom logisk konsekvens og formelt bevis. Logiske formuleringer og slutningsformer med eksempler fra dagligdagen og enkle tekniske anvendelser. Logikprogrammeringssprog.
|
