Histoire d’algorithmes. Du caillou à la puce. Vers un concept d’algorithme. p. 505-535.

English Title : Toward the concept of algorithm. (ZDM/Mathdi)

Auteurs : Chabert Jean-Luc ; Barbin Evelyne ; Guillemot Michel ; Michel-Pajus Anne ; Borowczyk Jacques ; Djebbar Ahmed ; Martzloff Jean-Claude
Autres noms d’auteur : Barbin Le Rest Evelyne ; Michel-Pajus Annie

Résumé

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

Abstract

Recursive functions and computable functions, machines.

Notes

Chapitre de l’ouvrage Histoire d’algorithmes. également paru dans la seconde édition.

Données de publication

Éditeur Belin, Pour la Science Paris , 1995 Collection Regards sur la science Format 16 cm x 24 cm, p. 505-535 Index Bibliogr. p 535

ISBN 2-7011-1346-6 EAN 9782701113463 ISSN 0224-5159

Public visé élève ou étudiant, enseignant, tout public Niveau licence, lycée, terminale Âge 17, 18, 19, 20

Type chapitre d’un ouvrage, vulgarisation, popularisation Langue français Support papier