Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats - Agpara.gq

Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats par René Cori

Titre de livre: Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats

Éditeur: Dunod

ISBN: 210005452X

Auteur: René Cori

René Cori avec Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats

  • Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
  • Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés
  • Théorie des ensembles
  • Initiation a la logique formelle avec exercices et corriges
  • Mystère du monde quantique (Le) - tome 0 - Mystère du monde quantique (Le)
  • Les raisonnements mathématiques
  • Langages formels - Calculabilité et complexité - Licence 3 & Master - Agrégation
  • Introduction à la calculabilité - 3ème édition
  • La machine de Turing
  • Introduction à l'algèbre linéaire