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) : Chabert Jean-Luc ; Barbin Evelyne ; Guillemot Michel ; Michel-Pajus Anne ; Borowczyk Jacques ; Djebbar Ahmed ; Martzloff Jean-Claude

autre nom d'auteur : Barbin Le Rest Evelyne ; Michel-Pajus Annie

Titre : Histoire d'algorithmes : du caillou à la puce. Vers un concept d'algorithme. p. 505-536.
English title: Toward the concept of algorithm.

Editeur : Belin Paris, 2010 Collection : Belin Sup
Format : 16 cm x 24 cm, p. 505-536 Bibliogr. p. 535
ISBN : 2-7011-5518-5 EAN : 9782701155180  ISSN : 1158-3762

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

Public visé : élève ou étudiant, enseignant, tout public Niveau Niveau scolaire visé par l'article : licence, master Age : 18, 19, 20, 21, 22

Classification : 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.
 P45Langages de programmation (classification des langages, éléments et caractéristiques des langages, processeurs)
Enseignement supérieur
 P48Langages de programmation (classification des langages, éléments et caractéristiques des langages, processeurs)
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc.
 

Résumé : Abstract

Les chapitres précédents de l'ouvrage présentent de nombreux algorithmes ; ce dernier chapitre met l'accent sur les fondements logiques des mathématiques qui vont amener les mathématiciens à approfondir la notion d'algorithme.

Voici le plan du chapitre :
- Fonctions récursives et calculables
1. La définition de 1931
2. Fonctions récursives générales au sens de Gödel
3. La calculabilité effective de Church
4. Fonctions récursives au sens de Kleene
- Machines
5. La machine de Turing
6. La machine de Post

Notes :
Chapitre de l'ouvrage Histoire d'algorithmes : du caillou à la puce également paru dans la première édition.

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 19/06/2021
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