Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

Logique mathématique. Vol. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours, exercices corrigés

Auteur : René Cori
Éditeur(s): Dunod
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. ©Electre 2024
45,00 €
Chargement...

Logique mathématique. Vol. 1. Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés

Auteur : René Cori
Éditeur(s): Dunod
Manuel de logique mathématique présentant 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. ©Electre 2024
46,00 €
Chargement...

Logique mathématique. Vol. 1. Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés

Auteur : René Cori
Éditeur(s): Dunod
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. ©Electre 2024
43,50 €
Chargement...

Logique mathématique. Vol. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés

Auteur : René Cori
Éditeur(s): Dunod
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. ©Electre 2024
42,50 €
Chargement...
1