Items related to Logique mathématique - Tome 2 - Fonctions récursives,...
Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: Tome 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles - Softcover
Synopsis
Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans le premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Ce second tome est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maîtriser les différentes notions exposées. L'ouvrage se destine principalement aux étudiants en licence, master et doctorat de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'informatique, ainsi que les chercheurs et les ingénieurs de recherche en informatique.
"synopsis" may belong to another edition of this title.
About the Author
René Cori. Maître de conférences à l'université Denis-Diderot, Paris 7. Daniel Lascar. Directeur de recherches au CNRS.
"About this title" may belong to another edition of this title.
Search results for Logique mathématique - Tome 2 - Fonctions récursives,...
Seller Image
Logique mathématique. Cours et exercices corrigés.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Softcover. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9782100054534 Sprache: Französisch Gewicht in Gramm: 550. Seller Inventory # 2340378
Quantity: 2 available
Seller Image
Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Seller: JLG_livres anciens et modernes, Saint Maur des Fossés, France
Seller rating 4 out of 5 stars
Condition: Très bon. Nos envois se font avec suivi, pour tout problème n'hésitez pas à nous contacter pour trouver une solution. Seller Inventory # I13H52
Quantity: 1 available