|
Aide à la recherche | Recherche Avancée | Imprimer la fiche | Aidez-nous à améliorer cette fiche |
|
|
|
Titre : Bulletin de l'APMEP. N° 510. p. 471-484. Apprenez à programmer avec une machine de Turing.
Une version texte intégral est sur le site Bibliothèque numérique des IREM et de l'APMEP Télécharger
Editeur : 
Association des Professeurs de Mathématiques de l'Enseignement Public (APMEP) Paris, 2014
Format : 17 cm x 24 cm, p. 471-484 Bibliogr. p. 484-484
ISSN : 0240-5709
Type : article de périodique ou revue Langue : Français Support : papier
Public visé : chercheur, enseignant, formateur
Classification : A39Revues, article de revue
Formation à l'enseignement, initiale et continue. P59Ingénierie des logiciels et de la programmation
Formation à l'enseignement, initiale et continue.
L'article, présente un prototype de la machine imaginée par Alan Turing pour modéliser le concept d'algorithme et donner une réponse négative au problème de la décision en logique du premier ordre posé quelques années auparavant par Hilbert et Ackermann. Ce prototype a été imaginé, mais pas construit, par Turing. Le problème mathématique est difficile, mais le fonctionnement de la machine est abordable par un large public. Le prototype a été construit en 2013 et fonctionne correctement.
Pistes d'utilisation en classe :
Cette ressource peut être utilisée en formation initiale des enseignants.
Notes :
Cet article est publié sous la rubrique "Pour chercher et approfondir".
Le Bulletin de l'APMEP (appelé "Bulletin Vert") s'efforce, par des articles de fond : de couvrir l'actualité de l'enseignement des mathématiques de la maternelle à l'université, de contribuer à la formation approfondie des enseignants, d'entretenir, chez ceux-ci, l'esprit de recherche et de susciter des échanges avec ses lecteurs.
Il paraît 5 fois par an de sa création à 2018, année où suite à un changement de politique éditoriale, l'APMEP publie une revue unique Au Fil des Maths - le Bullletin de l'APMEP.
Mots clés :
|
|