1, 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
EAN13
9782100825141
ISBN
978-2-10-082514-1
Éditeur
Dunod
Date de publication
Collection
Sciences Sup
Nombre de pages
408
Dimensions
24 x 17 x 2 cm
Poids
664 g
Langue
français
Fiches UNIMARC
S'identifier

1 - 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

De ,

Dunod

Sciences Sup

Offres

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.
S'identifier pour envoyer des commentaires.

Autres contributions de...