Introduction to Logic
Aim and Content
The course introduces the elementary concepts from propositional and first-order logics. WE study the relation between syntax and semantics, reasoning systems, proof strategies and completeness. We will also consider simple applications in informatics, such as logic programming and formal specifications.
The course introduces fundamental notions and techniques from formal logic. These notions and techniques are used in different areas of informatics. An understanding of such notions is useful for all the students of informatics (as well as mathematics). In particular, the course gives the necessary background for further study of theoretical informatics.
Course offered (semester)
At least 60 ECTS in computer science, preferably including some mathematics
I127: 10 ECTS
Compulsory assignments are valid two semesters, the semester of the approval and the following semester.
Written exam. It is opportunity for grades on exercises, which can be included in the final grade. If less than 20 students are taking the course, it can be oral exam.
No aids allowed.
The grading scale used is A to F. Grade A is the highest passing grade in the grading scale, grade F is a fail.