GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Documents disponibles écrits par cet auteur (4)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
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.
texte imprimé
Présente successivement les problèmes de récursivité et de formalisation de l'arithmétique, les théorèmes de Gödel, la théorie des ensembles ainsi que la théorie des modèles. Chaque chapitre est accompagné de nombreux exercices corrigés.
texte imprimé
René Cori, Auteur ; Daniel Lascar, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Axiomes | 1993Premier titre d'une nouvelle collection. Ce cours est issu d'un enseignement de 2e cycle. Nombreux exercices corrigés.
texte imprimé
René Cori, Auteur ; Daniel Lascar, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Axiomes | 1993Consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. Nombreux exercices corrigés.
