Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés par Karim Nour

Titre de livre: Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Éditeur: Dunod

ISBN: 2100067966

Auteur: Karim Nour

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

Karim Nour avec Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

  • 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
  • Intuitionisme et théorie de la démonstration: Textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl
  • Introduction à la calculabilité - 3ème édition
  • Langages formels - Calculabilité et complexité - Licence 3 & Master - Agrégation
  • Histoire de la Logique
  • Le Point Aveugle: Tome 1. Cours de Logique, Vers la perfection.
  • Le point aveugle : Cours de logique Tome 2, Vers l'imperfection
  • Initiation a la logique formelle avec exercices et corriges
  • Les raisonnements mathématiques