| TDDB83 | Logic, 5 ECTS credits. /Logik/ |
||
Prel. scheduled
hours: 48 |
|||
|
Area of Education: Science Subject area: Mathematics |
|||
| Advancement level
(A-D): B
|
|||
| Aim: The course has two aims: To convey knowledge on basic concepts of logic; both formal definitions and intuitions, as well as ability in the art of constructing and formulating proofs; this includes both strictly formal proof systems, and proofs in the more informalm style used in mathematics and theoretical computer science. In addition the course aims to provide a survey of applicationareas of logic in computer science, and the limitations of logic. |
|||
| Prerequisites: (valid for students admitted to programmes within which the course is offered) High school mathematics. Note: Admission requirements for non-programme students usually also include admission requirements for the programme and threshhold requirements for progression within the programme, or corresponding. |
|||
| Supplementary courses: TDDB08 Logic, advanced course |
|||
| Organisation: Lectures and classes in problem solving. |
|||
| Course contents: Formal syntax and semantics of propositional and predicate logic. Consistency, consequence and equivalence, plus proofs and refutations of these properties. Reasoning using formal proof systems, in particular in Natural deduction, and the concepts of soundness and completeness. |
|||
| Course literature: U. Nilsson. En introduktion till logik (kompendium), or P. Haslum. Formell Logik (kompendium). |
|||
| Examination: | |||
| Written examinaton |
3,5 p |
||
Course language is Swedish. Department offering the course: IDA. Director of Studies: Peter Dalenius Examiner: Patrik Haslum Link to the course homepage at the department Course Syllabus in Swedish |
|||
|
|
 |
|||||
| ||||||