INTRODUCTION TO MATHEMATICAL LOGIC / Elliott Mendelson (2009) / 978-1-58488-876-5

Public ISBD Titre : INTRODUCTION TO MATHEMATICAL LOGIC Type de document : texte imprimé Auteurs : Elliott Mendelson Mention d'édition : 5ème.éd. Editeur : Paris : Taylor Année de publication : 2009 Autre Editeur : Francis Importance : 469p. Présentation : couv.coul. Format : 24cm. ISBN/ISSN/EAN : 978-1-58488-876-5 Note générale : Biblio.p.433-446. Index. Langues : Anglais (eng) 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  logique formelle  calcul des prédicats  démonstration  raisonnement  théorie des modèles  calculabilité  Mendelson  exercices  Taylor & Francis Index. décimale : 510.22 Résumé : Introduction to Mathematical Logic d’Elliott Mendelson est un ouvrage de référence en logique mathématique, destiné aux étudiants avancés en mathématiques et en informatique théorique. Le livre présente les fondements de la logique formelle, notamment le calcul propositionnel et le calcul des prédicats, ainsi que des éléments de théorie des modèles et de calculabilité. Structuré de manière rigoureuse et accompagné d’exercices, il permet de développer une compréhension approfondie du raisonnement logique et des systèmes formels, constituant une base essentielle pour les études en mathématiques et en informatique. INTRODUCTION TO MATHEMATICAL LOGIC [texte imprimé] / Elliott Mendelson  . -  5ème.éd. . - Paris : Taylor : Francis, 2009 . - 469p. : couv.coul. ; 24cm. ISBN : 978-1-58488-876-5 Biblio.p.433-446. Index. Langues : Anglais (eng) 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  logique formelle  calcul des prédicats  démonstration  raisonnement  théorie des modèles  calculabilité  Mendelson  exercices  Taylor & Francis Index. décimale : 510.22 Résumé : Introduction to Mathematical Logic d’Elliott Mendelson est un ouvrage de référence en logique mathématique, destiné aux étudiants avancés en mathématiques et en informatique théorique. Le livre présente les fondements de la logique formelle, notamment le calcul propositionnel et le calcul des prédicats, ainsi que des éléments de théorie des modèles et de calculabilité. Structuré de manière rigoureuse et accompagné d’exercices, il permet de développer une compréhension approfondie du raisonnement logique et des systèmes formels, constituant une base essentielle pour les études en mathématiques et en informatique.

Exemplaires(0)

Disponibilité
aucun exemplaire

---

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