Applied logic

Course Code :1001WETTLO
Study domain:Computer Science
Academic year:2017-2018
Semester:2nd semester
Sequentiality:Minimum 8/20 for Machines and computability.
Contact hours:30
Study load (hours):84
Contract restrictions: No contract restriction
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.