Course Code : | 2001WETMAL |

Study domain: | Mathematics |

Academic year: | 2019-2020 |

Semester: | 2nd semester |

Contact hours: | 60 |

Credits: | 6 |

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 |

At the start of this course the student should have acquired the following competences:

an active knowledge of

an active knowledge of

- Dutch

- English

You have studied propositional calculus and predicate calculus with success. Students should be fluent in Dutch for many of the teaching methods in this course. Therefore the course is only open to (erasmus) students who speak and write Dutch.

- You can explain and apply mathematical models.
- You can understand and apply mathematical definitions. You can formulate definitions correctly and formally.
- You can understand and apply theorems in mathematical logic.
- You can study scientific texts on logic in textbooks, proceedings, and journals.
- You can prepare timely and thoroughly for class sessions.
- You can meet deadlines with yourself and others.
- You can reflect on your own learning process and adjust it where necessary.
- You can present your work neatly and well structured in a portfolio and in presentations.
- You can collaborate with peers, and help each others learning processes.

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, ....

The course has an international dimension.

Class contact teachingSeminars/Tutorials

Personal workAssignments Individually Assignments In group

Directed self-study

Portfolio

ProjectIndividually

ProjectIn group

Personal work

Directed self-study

Portfolio

Project

Project

Continuous assessmentAssignments Participation in classroom activities

Self-directed assessmentPeer-assessment Self-assessment

Written assignmentWith oral presentation

Project

PortfolioProduct portfolio Development portfolio

Presentation

Self-directed assessment

Written assignment

Project

Portfolio

Presentation

In this course, you choose your own favourite topics and appropriate study material.

Introduction to mathematical logic, fifth edition, E. Mendelson, 2009, Chapman & Hall.

Books and journals in the library.

The internet.

Course supervisor: els.laenens@uantwerpen.be