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.
Juin 1940. Un village français à l'heure allemande, des Français ordinaires vont devenir patriotes, traitres, collaborateurs ou résistants... Bonne série ambitieuse, bien pensée, écrite et réalisée...
Juin 1940. Un village français à l'heure allemande, des Français ordinaires vont devenir patriotes, traitres, collaborateurs ou résistants... Bonne série ambitieuse, bien pensée, écrite et réalisée...
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.