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 : Tangente Hors-série. N° 15. Vol. 2. p. 10-12. Calculabilité, décidabilité et complexité.

Editeur : Editions POLE Paris, 2003
Format : A4, p. 10-12  ISSN : 1294-9949

Type : article de périodique ou revue, 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 : A34Revues, article de revue, article sur un site internet
Lycée
 A35Revues, article de revue, article sur un site internet
Enseignement supérieur
 A38Revues, article de revue, article sur un site internet
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc.
 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 Tangente Hors-série n° 15 - Vol. 2. La logique.
Il est également paru dans l'ouvrage Bibliothèque Tangente n° 15 - 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