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 : Chabert Jean-Luc. Dir. ; Chabert Jean-Luc. Ed. ; Barbin Le Rest Evelyne ; Barbin Evelyne. Collab. ; Barbin Evelyne. Dir. ; Barbin Evelyne. Ed. ; Barbin Evelyne. Préf. ; Guillemot Michel. Collab. ; Guillemot Michel. Ed. ; Guillemot Michel. Préf. ; Michel-Pajus Annie ; Michel-Pajus Anne. Dir. ; Michel-Pajus Anne. Trad. ; Borowczyk Jacques. Dir. ; Borowczyk Jacques. Préf. ; Djebbar Ahmed. Collab. ; Djebbar Ahmed. Ed. ; Martzloff Jean-Claude. Collab.
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 : Abstract Recursive functions and computable functions, machines.
- 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.
Données de publication
Éditeur Belin , Paris , France , 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
Classification