| Type: | Open University
Language: Danish |
|
|
|
|
No credit points with: 49232/C4332
|
|
|
|
Prerequisite: 49142
|
|
|
|
Recommended semester: 4th -7th semester
|
|
Scope and form: Lectures. Problem sessions. Program exercises.
|
|
Examination: Written exam (13-scale)
|
|
|
|
|
|
|
|
URL: http://www.it.dtu.dk/c49233
|
|
Department: Department of Information Technology
|
|
Aim: To introduce to formal logic, to formulation of logical systems models, and to logic programming.
|
|
Contents: Logic languages and logival notions such as logical consequence and logical proof. Logical formulations and ways of reasoning with examples from daily life and simple technical applications. Logic programming languages.
|
