Théorie des ensembles et logique mathématique - Des infinis mathématiques aux théorèmes de Gödel

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.

Jacques Patarin est professeur à l’Université de Versailles-Saint-Quentin en Yvelines (UVSQ) depuis 2001. Sa spécialité de recherche est la cryptographie. Il est entre autre l’inventeur, ou co-inventeur, des algorithmes à clé publique IP, HFE, UOV et Gemms, et du générateur de nombres pseudo-aléatoires Quad. Avec Valérie Nachef il a déchiffré les lettres de la reine Marie-Antoinette.