Thèmes : relecture des travaux de Semenov sur certaines extensions de l'arithmétique de Presburger; nouvelle preuve d'un résultat sur l'indécidabilité du premier ordre des naturels avec l'addition; développement de la notion de fonctions calculables par une machine de Turing sur un ensemble donné de mots; extensions de l'arithmétique de Presburger liées aux systèmes de numération de Bertrand. ©Electre 2025
Paru le : 30/06/2000
Thématique : Mathématiques Appliquées
Auteur(s) : Non précisé.
Éditeur(s) :
Editions Academia
Collection(s) : Cahier du Centre de logique
Contributeur(s) : Editeur scientifique (ou intellectuel) : Christian Michaux - Editeur scientifique (ou intellectuel) : Université catholique de Louvain (1970-....). Département de philosophie
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782872095773
Reliure : Broché
Pages : 114
Hauteur: 22.0 cm / Largeur 16.0 cm
Épaisseur: 0.8 cm
Poids: 179 g
Carte fidélité
Mollat Radio
