|
02280 Data-logik |
| Engelsk titel: Data logic |
|
Sprog: Engelsk Point: 10, Ekstern censur.
|
|
|
Eksamensplacering: |
F2-A (May 29 2002), E2-A (Dec 12 2001)
|
|
Undervisningsform: Forelæsninger, øvelser. Programkonstruktionsøvelse medrapportaflevering. |
|
Evalueringsform: Skriftlig eksamen og bedømmelse af rapport(er)
|
| Karakter: 13-skala |
| Faglige forudsætninger: 02140 |
| Kursusmål: At introducere til formel logik med henblik på datalogiskeanvendelser. Specielt at introducere til formulering af logiske beskrivelser afsystemer og til logikprogrammering. |
| Kursusindhold: Prædikatlogik og andre logiske sprog.Logiske begreber som logisk konsekvens og formelt bevis.Logiske formuleringer og slutningsformer med eksempler fra dagligdagen,fra relationsdatabaser og fra enkle tekniske anvendelser. Logikprogrammeringssprog.Programkonstruktionsopgave.Der forudsættes kendskab til BNFgrammatikker,rekursive datastrukturer og funktioner, sandhedstabeller, samtrelationsdatabasebegreber,alt som det kan erhverves i de formelle forudsætningskurser. |
| Kontaktperson: Jørgen Fischer Nilsson, building 322, (+45) 4525 3730, jfn@imm.dtu.dk |
| Kursus URL: http://www.imm.dtu.dk/courses/02280 |
|
|
