Théorie des ensembles et logique mathématique - Des infinis mathématiques aux théorèmes de Gödel
Author | : Jacques Patarin |
Publisher | : Editions Ellipses |
Total Pages | : 308 |
Release | : 2020-09-01 |
ISBN-10 | : 9782340088481 |
ISBN-13 | : 2340088488 |
Rating | : 4/5 (488 Downloads) |
Download or read book Théorie des ensembles et logique mathématique - Des infinis mathématiques aux théorèmes de Gödel written by Jacques Patarin and published by Editions Ellipses. This book was released on 2020-09-01 with total page 308 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cet ouvrage traite de deux des domaines les plus célèbres des mathématiques : la théorie des ensembles et la logique, qui ont de très nombreuses interactions. De plus, avec le spectaculaire développement de l’informatique actuelle, de nombreux résultats de ce livre prennent aussi une importance pratique, et plus seulement théorique. Presque tout les résultats sont présentés avec leurs preuves et de nombreux exercices (corrigés à la fin du livre) sont également inclus.