|
Aide à la recherche | Recherche Avancée | Imprimer la fiche | Aidez-nous à améliorer cette fiche |
|
|
|
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.
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 :
|
|