Portail des médiathèques du réseau Paris-Saclay

Présente successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Chaque chapitre est accompagné de nombreux exercices corrigés.

Présente successivement les problèmes de récursivité et de formalisation de l'arithmétique, les théorèmes de G OEdel, la théorie des ensembles ainsi que la théorie des modèles. Chaque chapitre est accompagné de nombreux exercices corrigés.

Sont présentées les principales notions d'analyse mathématique enseignées dans les différentes classes de collège et lycée, notions indispensables pour celui qui veut passer des concours, reprendre des études ou aborder un cycle d'enseignement supérieur scientifique ou technique. Chaque chapitre comprend une partie cours et des exercices corrigés.