LOGIQUE MATHÉMATIQUE / René Cori (2003) / 978-2-10-005453-4

Public ISBD Titre : LOGIQUE MATHÉMATIQUE : 2. Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèle cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori ; Daniel Lascar ; Jean-Louis. préf.Krivine Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences sup, ISSN 1636-2217 Importance : (XV-347 p.) Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005453-4 Note générale : Biblio. p. [323]-325. Index Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : logique mathématique  calculabilité  fonctions récursives  théorème de Gödel  théorie des ensembles  théorie des modèles  démonstration  raisonnement  exercices corrigés  Cori  Lascar Index. décimale : 510.22 Résumé : Logique mathématique 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles de René Cori et Daniel Lascar est un ouvrage avancé consacré aux fondements de la logique mathématique. Il aborde des thèmes essentiels tels que la calculabilité à travers les fonctions récursives, les résultats fondamentaux comme le théorème de Gödel, ainsi que la théorie des ensembles et la théorie des modèles. Accompagné de cours structuré et d’exercices corrigés, ce livre s’adresse aux étudiants en mathématiques et en informatique théorique, offrant une compréhension approfondie des bases logiques et des limites des systèmes formels. LOGIQUE MATHÉMATIQUE : 2. Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèle cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar ; Jean-Louis. préf.Krivine . - Paris : Dunod, 2003 . - (XV-347 p.) : couv. ill. en coul. ; 24 cm. - (Sciences sup, ISSN 1636-2217) . ISBN : 978-2-10-005453-4 Biblio. p. [323]-325. Index Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : logique mathématique  calculabilité  fonctions récursives  théorème de Gödel  théorie des ensembles  théorie des modèles  démonstration  raisonnement  exercices corrigés  Cori  Lascar Index. décimale : 510.22 Résumé : Logique mathématique 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles de René Cori et Daniel Lascar est un ouvrage avancé consacré aux fondements de la logique mathématique. Il aborde des thèmes essentiels tels que la calculabilité à travers les fonctions récursives, les résultats fondamentaux comme le théorème de Gödel, ainsi que la théorie des ensembles et la théorie des modèles. Accompagné de cours structuré et d’exercices corrigés, ce livre s’adresse aux étudiants en mathématiques et en informatique théorique, offrant une compréhension approfondie des bases logiques et des limites des systèmes formels.

Exemplaires(0)

Disponibilité
aucun exemplaire

---

1 (1 - 1 / 1) Par page : 25 50 100 200