Learning outcomes

introduction to formal logic

Content

Propositional logic, First-order predicate logic, logic of relations, elementary introduction to model theory, completeness theorem in propositionnal logic, structures (Boolean algebra,...)

Table of contents

given during the lecture

Exercices

exercices given during the lecture

Assessment method

written examination

Sources, references and any support material

nothing

Language of instruction

Français
Training Study programme Block Credits Mandatory
Standard 0 3
Standard 0 3
Standard 1 3
Standard 3 3