Chargement...
Chargement...
  1. Auteur
  2. Krivine, Jean-Louis

Livres Jean-Louis Krivine

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
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 2025
45,00 €
Chargement...
Logique mathématique. Vol. 1. Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés
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 2025
46,00 €
Chargement...
Les décompilateurs : l'Univers en tête
Les décompilateurs : l'Univers en tête
Auteur : Jean-Louis Krivine
Éditeur(s) : Calvage et Mounet
Une réflexion sur la nature des mathématiques et de la physique théorique, à travers laquelle l'auteur explicite certains paradoxes de la mécanique quantique. ©Electre 2025
15,00 €
Chargement...
Théorie des ensembles
Théorie des ensembles
Auteur : Jean-Louis Krivine
Éditeur(s) : Cassini
La première partie expose les axiomes usuels de la théorie des ensembles, les notions d'ordinal et de cardinal, l'axiome du choix et ses équivalents classiques. Viennent ensuite les premiers résultats de consistance relative. Cette partie s'achève sur une démonstrati...
40,00 €
Chargement...
Théorie des ensembles
Théorie des ensembles
Auteur : Jean-Louis Krivine
Éditeur(s) : Cassini
La première partie expose les axiomes usuels de la théorie des ensembles, les notions d'ordinal et de cardinal, l'axiome du choix et ses équivalents classiques. Viennent ensuite les premiers résultats de consistance relative. Cette partie s'achève sur une démonstrati...
30,00 €
Chargement...
Logique mathématique. Vol. 1. Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés
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 2025
43,50 €
Chargement...
Lambda-calcul, types et modèles
Lambda-calcul, types et modèles
Auteur : Jean-Louis Krivine
Éditeur(s) : Elsevier Masson
Introduction à divers aspects du lambda-calcul, inventé en 1930, et considérablement développé depuis, à cause de sa capacité à modéliser les langages de programmation fonctionnels. ©Electre 2025
42,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
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 2025
42,50 €
Chargement...
1