This information sheet indicates how the course will be organized at pandemic code level yellow and green.
If the colour codes change during the academic year to orange or red, modifications are possible, for example to the teaching and evaluation methods.

Applied logic

Course Code :1001WETTLO
Study domain:Computer Science
Academic year:2020-2021
Semester:2nd semester
Sequentiality:Minimum 8/20 for Machines and computability.
Contact hours:30
Credits:3
Study load (hours):84
Contract restrictions: Exam contract not possible
Language of instruction:Dutch
Exam period:exam in the 2nd semester
Lecturer(s)Els Laenens

3. Course contents *

Scientists present their scientific work at conferences (oral and written). In this course, we simulate such a conference. In this context, students are free to select their favourite topic in applied logic. Some examples are modal logic, logic and computability, logic and imperative programming, logic programming, modal structures in knowledge representation, reasoning with incomplete information.