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

Cori René, Lascar Daniel

Date de parution 15/02/2021

EAN: 9782100825141

Disponibilité Disponible chez l'éditeur

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.

Informations détaillées

Nom d'attribut	Valeur d'attribut
Common books attribute
Éditeur	DUNOD
Nombre de pages	408
Langue du livre	Français
Auteur	Cori René, Lascar Daniel
Format	Paperback / softback
Type de produit	Livre
Date de parution	15/02/2021
Poids	697 g
Dimensions (épaisseur x largeur x hauteur)	2,00 x 17,00 x 24,00 cm

Résumé

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.