Comment le prouver : une approche structurée Dans Daniel J. Velleman est un manuel anglophone qui aide les étudiants à passer du travail de résolution de problèmes à la rédaction de preuves. Ce livre se concentre sur les mathématiques avancées et l’informatique théorique en expliquant clairement les techniques et le langage de la logique et de la théorie des ensembles.
La troisième édition contient un nouveau chapitre sur la théorie des nombres et plus de 150 exercices supplémentaires. Le livre commence par les principes fondamentaux de la logique et de la théorie des ensembles, puis guide pas à pas à travers des techniques de preuve complexes à l’aide d’exemples et de « scratch work ». Ainsi, le rôle essentiel des proofs joue en mathématiques et en informatique théorique est mis en avant.
Comment le prouver est un ouvrage de référence accessible pour les étudiants et les professionnels qui souhaitent approfondir leurs connaissances en méthodes de preuve formelles. Il s’intègre bien, sur le plan du contenu, à des sujets tels que la logique mathématique, la théorie des ensembles et la logique au sein des mathématiques.