Bibliothèque Tangente. N° 15. Calculabilité, décidabilité et complexité. p. 62-65.
Auteur : Tollu Christophe
Résumé
Cet article est centré sur la définition d’une fonction récursive et sur les questions de calculabilité, notion en lien étroit avec la notion de preuve mathématique et qui touche aux fondements de la logique des langages de programmation informatique.
Notes
Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : Logique et informatique dans Bibliothèque Tangente n° 15 – La logique.
Il est également paru dans Tangente Hors-série n° 15 – Vol. 2. La logique.
Données de publication
Éditeur Editions POLE Paris , 2004 Collection Bibliothèque Tangente Num. 15 Format 17 cm x 24 cm, p. 62-65
ISBN 2-84884-018-8 EAN 9782848840185 ISSN 2263-4908
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type chapitre d’un ouvrage, vulgarisation, popularisation Langue français Support papier
Classification