Chargement...
Chargement...
  1. Serie
  2. Logique mathématique, cours et exercice

Livres Logique mathématique, cours et exercice

Auteur

Support

Série

Disponibilité

1
Logique mathématique, cours et exercice. Vol. 1. Calcul propositionnel, algèbres de Boole, calcul des prédicats
Logique mathématique, cours et exercice. Vol. 1. Calcul propositionnel, algèbres de Boole, calcul des prédicats
Auteur : René Cori
Éditeur(s) : Elsevier Masson
Premier titre d'une nouvelle collection. Ce cours est issu d'un enseignement de 2e cycle. Nombreux exercices corrigés. ©Electre 2025
45,73 €
Chargement...
Logique mathématique, cours et exercice. Vol. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Logique mathématique, cours et exercice. Vol. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Auteur : René Cori
Éditeur(s) : Elsevier Masson
Consacré 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. ©Electre 2025
45,73 €
Chargement...
1