As a result of the Corona crisis some course information may have altered. Do check your course announcements in Blackboard!

Applied logic

Course Code :1001WETTLO
Study domain:Computer Science
Academic year:2019-2020
Semester:2nd semester
Sequentiality:Minimum 8/20 for Machines and computability.
Contact hours:30
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.