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

Name: Logique mathématique : Tome 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats
ISBN: 9782100825141

De René Cori, Daniel Lascar

ISBN-13

9782100825141

Éditeur

Dunod

Date de publication

01/01/2021

Résumé

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.

0 annonce en vente actuellement

Je veux vendre ce livre

Du même rayon

Physique Chimie MPSI : Fiches-méthodes et exercices corrigés

Christophe Bernicot, Pauline Boulleaux-Binot, Olivier Chamelat, Thomas Roy

Les groupes : une structure précieuse

Neutron and Synchrotron Radiation for Condensed Matter Studies : Applications to Solid State Physics and Chemistry

Jose Baruchel, Jean-Louis Hodeau, Mogens S. Lehmann, Jean-Rene Regnard, Claire Schlenker

Génie des procédés appliqué à l'industrie laitière

Romain Jeantet, Gérard Brulé, Guillaume Delaplace

Le jardin météorologique : Et autres constructions climatiques

Philippe Rahm

Génie électrique

Association de bétons et d'armatures à hautes performances : Projet national BHP 2000

Projet national BHP 2000

Mathématiques PCSI (6e éd.) ouvrage coordonné par Nicolas Nguyen,... ; [par] Mathieu Fontes,... Walter Damin,... Christophe Jan,...

Mathieu Fontes, Walter Damin, Christophe Jan

La valeur de la science

Henri Poincaré

Géométrie différentielle avec 80 figures : Niveau L3-M1

Catherine Doss-Bachelet, Jean-Pierre Françoise, Claude Piquet