Logika v računalništvu

Teaching staff

• Lecturer: prof. dr. Andrej Bauer (Jadranska 21, room 4.35)
• Assistant: dr. Danel Ahman (Jadranska 21, room 5.20)

Lectures

• Lectures: Thursdays 14h to 17h, room P.01

Exercise classes

• Group 1: Friday 10h to 12h, room 3.11
• Group 2: Monday 12h to 14h, room 3.12

Choose the group in which you will attend the exercise classes here.

Course requirements

To complete the course, the students will work on and present projects related to the course topics.