| 02240 Computability and Semantics |
| Danish title: Beregnelighed og semantik |
|
Language: English ECTS-creditpoints: 10, External examination.
|
|
|
Exam schedule:
|
F1-A (maj 22 2003), E1-A (dec 09 2002) |
| Recommended semester: 4th -7th semester |
| Scope and form: Lectures |
| Evaluation: Written exam
|
| Examination: 13-scale |
| Prerequisites: 02140 See remarks. |
Remarks: Prerequisites: Mastery of programmering in imperative and functional languages; including algorithms and data structures.
Understanding of teori and application of regular and context-free languages, including discrete mathematics and acquantance with simple proof techniques.
Covered by “Informatik fagpakken” with associated “startpakke”. |
| Contact: Michael Reichhardt Hansen, building 322, (+45) 4525 3727, mrh@imm.dtu.dk |
| Course URL: http://www.imm.dtu.dk/courses/02240 |
|
|
