| 02280 Data logic |
| Danish title: Data-logik |
|
Language: English ECTS-creditpoints: 10, External examination.
|
|
| Type: civil engineering course |
|
Exam schedule:
|
F2-A (May 29 2002), E2-A (Dec 12 2001) |
| Scope and form: Forelæsninger, øvelser. Programkonstruktionsøvelse medrapportaflevering. |
| Evaluation: Written exam and approval of reports
|
| Examination: 13-scale |
| Prerequisites: 02140 |
| Aim: Introducing to formal logic as applied in computing science andartificial intelligence.In particular introducing to formulation of logical systems models andto logic programmering. |
| Contents: Predicate logic and other logical languages. Logical concepts such aslogical consequence and formal proof.Logical formulations and reasoning with examples from daily life, fromrelational databases and fromsimple technical systems. Logic programmering languages.Prerequisites: acquaintance with BNF-grammars,recursive data struktures and functions, truth tabels, and relationaldatabases (cf. prerequisite courses). |
| Contact: Jørgen Fischer Nilsson, building 322, (+45) 4525 3730, jfn@imm.dtu.dk |
| Course URL: http://www.imm.dtu.dk/courses/02280 |
|
|
