Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats
Calcul propositionnel, algèbre de Boole, calcul des prédicats
Crédits & contributions
EAN
- ÉditeurDUNOD
- Parution15 février 2021
- CollectionSciences Sup
Prix TTC
46,00€
Sur commande
Titre disponible chez l’éditeur, commande possible sur demande.
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.