Logique mathématique

Calcul propositionnel, algèbre de Boole, calcul des prédicats - Cours, exercices corrigés

Autor*innen

• René Cori
• Daniel Lascar

Parameter

• 408 Seiten
• 15 Lesestunden

• Mathematik
• Sachliteratur
• Wissenschaft und Mathematik

Mehr zum Buch

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.

• Sprache: Französisch
• Erscheinungsdatum: 2021
• Einband: Paperback