1. Logique mathématique / René Cori (2003) / 978-2-10-005452-7

Public ISBD Titre : Logique mathématique : 1.Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori ; Daniel Lascar Editeur : Paris : Dunod Année de publication : 2003 Importance : 408 p Présentation : couv.ill. en coul.photo. Format : 24cm. ISBN/ISSN/EAN : 978-2-10-005452-7 Note générale : Biblio.p.361-363. Index. Langues : Français (fre) Tags : logique mathématique  calcul propositionnel  algèbres de Boole  calcul des prédicats  logique formelle  Cori  Lascar Index. décimale : 510.6 Résumé : Logique mathématique : 1 est un manuel de logique formelle destiné aux étudiants du supérieur. Il traite du calcul propositionnel, des algèbres de Boole et du calcul des prédicats, avec des cours structurés et des exercices corrigés. L’ouvrage constitue une base solide pour l’étude de la logique mathématique et de ses applications en informatique et en mathématiques fondamentales. Logique mathématique : 1.Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar . - Paris : Dunod, 2003 . - 408 p : couv.ill. en coul.photo. ; 24cm. ISBN : 978-2-10-005452-7 Biblio.p.361-363. Index. Langues : Français (fre) Tags : logique mathématique  calcul propositionnel  algèbres de Boole  calcul des prédicats  logique formelle  Cori  Lascar Index. décimale : 510.6 Résumé : Logique mathématique : 1 est un manuel de logique formelle destiné aux étudiants du supérieur. Il traite du calcul propositionnel, des algèbres de Boole et du calcul des prédicats, avec des cours structurés et des exercices corrigés. L’ouvrage constitue une base solide pour l’étude de la logique mathématique et de ses applications en informatique et en mathématiques fondamentales.

Exemplaires(0)

Disponibilité
aucun exemplaire

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 - 2 / 2) Par page : 25 50 100 200