|
Offered by:
Department of Information Technology
(IT) |
No credit points with: 49232/C4332 |
Prerequisite: 49142 |
Recommended semester:
4th -7th semester |
Scope and form: Lectures. Problem sessions. Program exercises. |
Examination:
Approval of compulsory activities is a prerequisite for taking part in the ex. Written exam
(13 point scale
) |
Contact person: |
Jørgen Fischer Nilsson, IT, Building 344, Tel. +45 4525 3730 Email: jfn@it.dtu.dk |
|
Aim: To introduce to formal logic, to formulatioon 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. |