Chargement...
Chargement...
Collection Axiomes
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 2024
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 2024
45,73 €
Chargement...
Les Théorèmes d'incomplétude de Gödel

Les Théorèmes d'incomplétude de Gödel

Auteur : Raymond M. Smullyan
Éditeur(s): Elsevier Masson
Les théorèmes d'incomplétude de Gödel démontrent qu'un système d'axiomes cohérent est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes dont résultent ces énoncés. Présente les résultats d'une recherche de cinqu...
37,96 €
Chargement...
Le dixième problème de Hilbert, et son indécidabilité

Le dixième problème de Hilbert, et son indécidabilité

Auteur : Youri Matiiasevitch
Éditeur(s): Elsevier Masson
Est consacré à l'indécidabilité du dixième problème de Hilbert et aux sujets connexes : équations diophantiennes, théorie des nombres, logique mathématique. ©Electre 2024
46,65 €
Chargement...
1