Accueil Publimath  Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Tollu Christophe

Titre : Bibliothèque Tangente. N° 15. Calculabilité, décidabilité et complexité. p. 62-65.

Editeur : 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

Type : chapitre d'un ouvrage, vulgarisation, popularisation Langue : Français Support : papier

Public visé : élève ou étudiant, enseignant, tout public Niveau Niveau scolaire visé par l'article : lycée, 2de, 1ère, terminale, licence Age : 15, 16, 17, 18, 19

Classification : E34Logique. Acquisition des capacités de raisonnement logique.
Lycée
 E35Logique. Acquisition des capacités de raisonnement logique.
Enseignement supérieur
 E38Logique. Acquisition des capacités de raisonnement logique.
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc.
 

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.

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 07/05/2022
Accueil Publimath  Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional