Chargement...
Chargement...
  1. Auteur
  2. Lascar, Daniel

Livres Daniel Lascar

Auteur

Support

Série

Disponibilité

1
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...
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
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...
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. 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...
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...
Les théories des modèles en peu de maux
Les théories des modèles en peu de maux
Auteur : Daniel Lascar
Éditeur(s) : Cassini
40,00 €
Chargement...
1