Introduction to Logic

Language of Instruction

English

Pre-requirements

At least 60 ECTS in computer science, preferably including some mathematics

Learning Outcomes

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)

Spring

Language of Instruction

English

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.

Learning Outcomes

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.

Pre-requirements

At least 60 ECTS in computer science, preferably including some mathematics

Recommended previous knowledge

INF121 (Programming paradigms), MNF130 (Discrete structures)

Subject Overlap

I127: 10 ECTS

Compulsory Requirements

Exercises.

Compulsory assignments are valid two semesters, the semester of the approval and the following semester.

Assessment methods

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.

Grading Scale

The grading scale used is A to F. Grade A is the highest passing grade in the grading scale, grade F is a fail.