TDDD72 · 6 credits · Basic level (G1F) · Matematik, Datavetenskap
Logic
Active · next start HT 2026
100%
passed the latest ordinary exam
TEN2 · 28 Aug 2026 · 5 students
62%
passed the ordinary exams, all sittings over the last 5 years
TEN2 · 58 students
77%
Harder than 77% of courses at basic level
Compared with 874 courses at the same level, ordinary exams over the last three academic years. 58 students.
Part of 2 programmes
Exam
TEN2 Written examination
- 5
- 4
- 3
- U
Ordinary exams
62% passed · 58 students
- 100%5
- 58%53
Re-exams
50% passed · 22 students
- 50%22
- Pass the re-exam: 50% (22 students), compared with 62% (58 students) on the ordinary exam
- Get 4 or 5: 30% (80 students)
Other modules
Partial exams, hand-ins and labs. They are not part of the figures at the top.
Exam
DIT1 Digital examination
- 5
- 4
- 3
- U
Ordinary exams
93% passed · 223 students
- 88%49
- 89%57
- 98%64
- 94%53
Re-exams
76% passed · 38 students
- 75%8
- 67%9
- 83%6
- 75%8
- 86%7
- Pass the re-exam: 76% (38 students), compared with 93% (223 students) on the ordinary exam
- Get 4 or 5: 75% (261 students)
Show small sittings (4)
Sittings with fewer than 5 students, often credit transfers or special sittings. They are not part of any figure on this page.
- 50%2
- 100%1
- 100%1
- 100%2
About the course
Aim
The aim of the course is that the students should gain an understanding of the basic concepts of logic as well as applications of logic in computer science. After the course the student will be able to:
- explain basic concepts in propositional and first-order logic, such as syntax and semantics;
- formulate statements and arguments in symbols using a formal logical framework and create formal definitions
- show different relations between formulas and sets of formulas
- understand and apply techniques and algorithms commonly used in logic
- write logically correct formal proofs and judge whether a proof attempt constitutes a correct proof
Content
Formal syntax and semantics of propositional and first-order logic. Concepts like consistency, consequence and equivalence, plus proofs and refutations of these properties. Reasoning using formal proof systems, such as resolution. Soundness and completeness.
- Examiner
- Johannes Klaus Fichte
- Scheduled hours
- 40 h
- Main field of study
- Matematik, Datavetenskap