Logique mathématique

Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.

Sommaire

Calcul propositionnel. Algèbres de Boole. Calcul des prédicats. Théorèmes de complétude. Solutions des exercices.

Biographie des auteurs
René Cori - Professeur à l'université Paris 7-Denis-Diderot
Daniel Lascar - Directeur de Recherches au CNRS

Publics

Étudiants en 2^e cycle de mathématiques pures ; Candidats au CAPES ou à l'agrégation ; Amateurs de logique mathématique

Mots-clés

Algèbre, Logique