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

Mathematical logic

Course Code :2001WETMAL
Study domain:Mathematics
Academic year:2019-2020
Semester:2nd semester
Contact hours:60
Study load (hours):168
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 (presentation and paper) and in scientific journals. In this course, we simulate a conference in which you get the opportunity to study your favourite topic(s) in mathematical logic. Examples of possible topics are formal number theory, axiomatic set theory, modal logic, logic programming, natural language processing, temporal logic, reasoning with incomplete information, multi-agent systems, fuzzy logic, knowledge representation, intuitionistic logic, ....