Logique et argumentation [LPHIB101]

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

Description des exercices

exercices donnés au cours