Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés / René Cori,... Daniel Lascar,...

0 avis

Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés / René Cori,... Daniel Lascar,...

Livre

Cori, René. Auteur | Lascar, Daniel (1942-....). Auteur

Edité par Dunod - 2003

Autres documents dans la collection «Sciences sup»

Langue: français
Description physique: 1 vol. (XV-385 p.) ; couv. ill. en coul. ; 24 cm

Date de publication: 2003

Collection

Sciences sup

Autre titre

Calcul propositionnel, algèbre de Boole, calcul des prédicats (Autre variante du titre)

Contributeurs: Krivine, Jean-Louis (1939-....). Préfacier, etc.

ISBN: 978-2-10-005452-7 ; 2-1000-5452-X ; 978-2-10-082514-1
EAN: 9782100825141 ; 9782100054527

Sujets

Domaine(s)

Sciences et Techniques > Mathématiques et Informatique

Vérification des exemplaires disponibles ...

Se procurer le document

Vérification des exemplaires disponibles ...

Suggestions

Du même auteur

Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie d...

Livre | Cori, René. Auteur | 2003

Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.

Du même sujet

Logique. volume 1, Méthodes pour l'informatique fondamentale / Paul Gochet,...

Livre | Gochet, Paul (1932-2011). Auteur | 1990

La logique propositionnelle et ses variantes : une approche comparée / Fran...

Livre | Lepage, François (1950-....). Auteur | 2022

Introduction à la métalogique du calcul proportionnel, cet ouvrage contient non seulement l'initiation aux concepts de base du domaine (syntaxe, sémantique, consistance, complétude, etc.), mais également des développements u...

Méthodes booléennes en recherche opérationnelle / Peter L. Hammer (Ivǎnescu...

Livre | Hammer, Peter L. (1936-2006). Auteur | 1970

Introduction to global logistics : delivering the goods / John Manners-Bell

Livre | Manners-Bell, John. Auteur | 2017 - Second edition.

"The new edition of Introduction to Global Logistics considers how the logistics industry has developed; how it is influenced by macro-economic factors and demand-side trends; what the risks are to the industry and how it will dev...

Précis de recherche opérationnelle : cours et exercices d'application / Rob...

Livre | Faure, Robert (1918-1982). Auteur | 2004 - 5e édition

Chargement des enrichissements...