Acquis d'apprentissage

Introduire à la logique formelle.

Contenu

Logique propositionnelle, logique des prédicats, logique des relations. Introduction élémentaire à la théorie des modèles. Théorème de complétude de la logique des propositions. Structures (Algèbre de Boole,...).

Table des matières

donnée au cours

Exercices

exercices donnés au cours

Méthodes d'enseignement

cours et exercices donnés durant le cours

Méthode d'évaluation

examen écrit

Sources, références et supports éventuels

aucune

Langue d'instruction