Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles par René Cori

Titre de livre: Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles

Éditeur: Dunod

ISBN: 2100054538

Auteur: René Cori

* You need to enable Javascript in order to proceed through the registration flow.

René Cori avec Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles

  • Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats
  • Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés
  • Théorie des ensembles
  • Mystère du monde quantique (Le) - tome 0 - Mystère du monde quantique (Le)
  • Langages formels - Calculabilité et complexité - Licence 3 & Master - Agrégation
  • Introduction à la calculabilité - 3ème édition
  • Le Point Aveugle: Tome 1. Cours de Logique, Vers la perfection.
  • Le Théorème de Gödel
  • La machine de Turing
  • Programmation Efficace Les 128 Algorithmes Qu'Il Faut Avoir Compris et Codés en Python au Cours de sa Vie