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

Titre : Histoire d'algorithmes. Du caillou à la puce. Vers un concept d'algorithme. p. 505-535.
English title: Toward the concept of algorithm. (ZDM/Mathdi)

Editeur : Belin, Pour la Science Paris, 1995 Collection : Regards sur la science
Format : 16 cm x 24 cm, p. 505-535 Bibliogr. p 535
ISBN : 2-7011-1346-6 EAN : 9782701113463  ISSN : 0224-5159

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

Utilisation : tout public Niveau : lycée, terminale Age : 17

Résumé : Abstract

Dans ce chapitre, il ne s'agit pas de rechercher un algorithme pour un problème particulier mais de chercher à résoudre les problèmes posés par l'étude des algorithmes. Cette étude s'est particulièrement développée avec la construction des ordinateurs et l'invention des langages de programmation.

Voici le plan du chapitre :
- Fonctions récursives et fonctions calculables
La définition de 1931
Fonctions récursives générales au sens de Gödel
La calculabilité effective de Church
Fonctions récursives au sens de Kleene

- Machines
La machine de Turing
La machine de Post

Notes :
Chapitre de l'ouvrage Histoire d'algorithmes. repris dans la seconde édition.

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 05/07/2017
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche 
Certification IDDN