|
02280 Data-logik |
| Engelsk titel: Data logic |
|
Sprog: Engelsk Point: 10, Ekstern censur. |
|
| Type: civilkursus, udbydes under åben uddannelse |
|
Eksamensplacering: |
F2-A (maj 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 |
| Institut: 002 Informatik og Matematisk Modellering |
| Kursus URL: http://www.imm.dtu.dk/courses/02280 |
| Nøgleord: Logiksprog og logiske begreber, logiske beskrivelser, logikprogrammering, Prolog., Prolog. |
| Opdateret: 14-01-2002 |
|
|
