Avis des lecteurs
Résumé:Ce livre tente de présenter une vue d'ensemble des fondements mathématiques contemporains et de leur applicabilité aux mathématiques et à l'informatique. Alors que de nombreux critiques le trouvent perspicace et agréable dans son exposé, d'autres critiquent sa présentation confuse, son manque de détails et sa divergence par rapport aux sujets promis.
Avantages:Le livre motive et relie les concepts à travers les disciplines, en fournissant un exposé agréable et perspicace. Il couvre des sujets essentiels en mathématiques, en philosophie, en logique et en informatique théorique, ce qui le rend adapté à ceux qui connaissent bien ces sujets.
Inconvénients:L'exposé est déroutant, de nombreuses propositions étant présentées sans preuve, et certaines preuves étant considérées comme erronées. L'écriture est perçue par certains évaluateurs comme étant déroutante, manquant d'une base adéquate et d'une organisation claire, ce qui la fait dévier vers des idées tangentielles.
(basé sur 4 avis de lecteurs)
Titre original :
Practical Foundations of Mathematics
Contenu du livre :
Les fondements pratiques des mathématiques expliquent les bases du raisonnement mathématique, tant en mathématiques pures (algèbre et topologie en particulier) qu'en informatique. Outre la logique formelle, ce volume examine la relation entre les langages informatiques et les preuves mathématiques "en clair".
Le livre introduit le lecteur aux mathématiques discrètes, au raisonnement et à la logique catégorielle. Il propose une nouvelle approche des algèbres de termes, de l'induction et de la récursion et prouve en détail l'équivalence des types et des catégories.
Chaque idée est illustrée par de nombreux exemples et suivie de manière critique le long de son chemin naturel, transcendant les frontières disciplinaires à travers l'algèbre universelle, la théorie des types, la théorie des catégories, la théorie des ensembles, la théorie des gerbes, la topologie et la programmation. Les étudiants et les professeurs d'informatique, de mathématiques et de philosophie trouveront ce livre à la fois facile à lire et d'une valeur durable en tant qu'ouvrage de référence.
Autres informations sur le livre :
| ISBN : | 9780521631075 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
| Année de publication : | 1999 |
| Nombre de pages : | 588 |
Achat:
Actuellement disponible, en stock.
