Postgraduate course

Introduction to Logic

  • ECTS credits10
  • Teaching semesterSpring
  • Course codeINF227
  • Number of semesters1
  • Language


  • Resources

Semester of Instruction


Objectives 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.

Required Previous Knowledge

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

Recommended Previous Knowledge

MNF130 Discrete structures

Compulsory Assignments and Attendance


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

Forms of Assessment

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.

Subject Overlap

I127: 10 ECTS


Contact Information


Exam information

  • Note that the time may change up until 14 days prior to the day of the examination. The location will be published 14 days ahead.

  • Type of assessment: Written examination

    Withdrawal deadline
    Examination system
    Digital exam