Logique mathématique
Calcul propositionnel, algèbre de Boole, calcul des prédicats
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.
Expédié sous 24h
Livraison en France métropolitaine uniquement
Accès rapide
Présentation du livre
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 de l'ouvrage
Calcul propositionnel. Algèbres de Boole. Calcul des prédicats. Théorèmes de complétude. Solutions des exercices.
Auteur(s) de l'ouvrage
Caractéristiques du livre
Pages
408 pages
Format
170 x 240 mm
Collection
Sciences Sup
Parution
février 2021
Marque
Dunod
Public
Bac +4/5
EAN
9782100825141