Histoire d’algorithmes : du caillou à la puce. Vers un concept d’algorithme. p. 505-536.

English Title : Toward the concept of algorithm.

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é

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

Abstract

Recursive functions and computable functions, machines.

Notes

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

Données de publication

Éditeur Belin Paris , 2010 Collection Belin Sup Format 16 cm x 24 cm, p. 505-536 Index Bibliogr. p. 535

ISBN 2-7011-5518-5 EAN 9782701155180 ISSN 1158-3762

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