Introduction to Logic

Study facts

Course codeINF227
ECTS credits10
Teaching semesterSpring
Number of semesters1
Teaching language
English
Study levelPostgraduate Courses
Resources
Belongs toDepartment of Informatics

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.

Subject Overlap

I127: 10 ECTS

Compulsory Assignments and Attendance

Exercises.

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

Semester of Instruction

Spring

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

INF121 (Programming paradigms), MNF130 (Discrete structures)

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.