Logique I [LPHIB101]

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

Exercises description

exercices given during the lecture