Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats

Cori René, Lascar Daniel

Publication date 15/02/2021

EAN: 9782100825141

Availability Available from publisher

46.00 €

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.

Detailed information

Attribute name	Attribute value
Common books attribute
Publisher	DUNOD
Page Count	408
Language	fr
Author	Cori René, Lascar Daniel
Format	Paperback / softback
Product type	Book
Publication date	15/02/2021
Weight	697 g
Dimensions (thickness x width x height)	2.00 x 17.00 x 24.00 cm

Summary

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.