Calcul en logique du premier ordre

Name: Calcul en logique du premier ordre
ISBN: 9782760542099

ISBN-13

9782760542099

Éditeur

Pu De Quebec

Résumé

Un calcul logique, au sens large, est une méthode de résolution appliquée au traitement d'une structure propositionnelle. Les propositions constituant cette structure peuvent aussi bien être des e

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