| Titre : | Calculateurs, calculs, calculabilité | | Type de document : | texte imprimé | | Auteurs : | Olivier Ridoux ; Gilles Lesventes | | Mention d'édition : |
| | Editeur : | Paris : Dunod | | Année de publication : | 2008 | | Collection : | Sciences sup | | Importance : | xv, 204 p. | | Présentation : | ill | | Format : | 24*17cm | | ISBN/ISSN/EAN : | 978-2-10-051588-2 | | Note générale : | "Cours et travaux pratiques. IUT - BTS - Licence - Écoles d'ingénieurs"--Couv. | | Langues : | Français (fre) | | Catégories : | [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Programmation mathématique
| | Mots-clés : | Calculateurs calculs calculabilité | | Index. décimale : | 519.7 Programmation mathématique | | Résumé : | Il existe en informatique des limites qui sont aussi fondamentales que celles connues dans d'autres disciplines, par exemple la vitesse de la lumière ou le second principe de la thermodynamique. L'objectif de cet ouvrage est de jalonner la frontière qui ne peut être franchie par les calculateurs et de montrer comment ces limites peuvent être prouvées formellement. Pour atteindre ce but tout en restant d'une lecture accessible les auteurs font l'hypothèse que l'étudiant connaît un peu de logique, de théorie des ensembles, d'analyse et de programmation. Rédigé dans un style aussi simple que possible les auteurs transmettent avec clarté des notions d'histoire des sciences en décrivant les travaux de chercheurs comme Turing, Gödel, Kleene, von Neumann... |
Calculateurs, calculs, calculabilité [texte imprimé] / Olivier Ridoux ; Gilles Lesventes . -
. - Paris : Dunod, 2008 . - xv, 204 p. : ill ; 24*17cm. - ( Sciences sup) . ISBN : 978-2-10-051588-2 "Cours et travaux pratiques. IUT - BTS - Licence - Écoles d'ingénieurs"--Couv. Langues : Français ( fre) | Catégories : | [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Programmation mathématique
| | Mots-clés : | Calculateurs calculs calculabilité | | Index. décimale : | 519.7 Programmation mathématique | | Résumé : | Il existe en informatique des limites qui sont aussi fondamentales que celles connues dans d'autres disciplines, par exemple la vitesse de la lumière ou le second principe de la thermodynamique. L'objectif de cet ouvrage est de jalonner la frontière qui ne peut être franchie par les calculateurs et de montrer comment ces limites peuvent être prouvées formellement. Pour atteindre ce but tout en restant d'une lecture accessible les auteurs font l'hypothèse que l'étudiant connaît un peu de logique, de théorie des ensembles, d'analyse et de programmation. Rédigé dans un style aussi simple que possible les auteurs transmettent avec clarté des notions d'histoire des sciences en décrivant les travaux de chercheurs comme Turing, Gödel, Kleene, von Neumann... |
|  |
519 Proba.Stat.Math appliquées.
Affiner la rechercheCalculateurs, calculs, calculabilité / Olivier Ridoux
