Logique (Exo7)

Livre de logique mathématique : logique vrai/faux (connecteurs, tables de vérité, preuves, compacité), logique du premier ordre et théorème de complétude, puis aperçu des théorèmes d'incomplétude de Gödel.

Matière

Divers

Niveau

Intermédiaire

Langue

Français

Auteur(s)

Arnaud Bodin, Exo7

Origine

Exo7 (Université de Lille)

Date de parution

octobre 2026

Format

PDF

Taille

1,1 Mo (1 124 746 octets)

Publié sur le site

23 octobre 2026

Licence

CC BY-NC-SA 4.0