Logique mathématique t.2 ; fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Logique mathématique t.2 ; fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Logique mathématique t.2 ; fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Logique mathématique t.2 ; fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles

Logique mathématique t.2 ; fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles (préface Jean-Louis Krivine)

,

À propos

Ce deuxième tome est plus particulièrement 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.

Sommaire

Récursivité. Formalisation de l'arithmétique. Théorèmes de Gödel. Théorie des ensembles. Un peu de théorie des modèles. Solutions des exercices.

Rayons : Sciences & Techniques > Mathématiques > Logique formelle

  • EAN

    9782100807703

  • Disponibilité

    Disponible

  • Nombre de pages

    368 Pages

  • Longueur

    24 cm

  • Largeur

    17 cm

  • Poids

    608 g

  • Distributeur

    Hachette

  • Support principal

    Grand format

Infos supplémentaires : Broché  

empty