|
| Titre : |
Calculateurs, calculs, calculabilité |
| Type de document : |
texte imprimé |
| Auteurs : |
Olivier Ridoux (1959-....), Auteur ; Gilles Lesventes, Auteur |
| Editeur : |
Paris : Dunod |
| Année de publication : |
impr. 2007 |
| Collection : |
Sciences sup |
| Importance : |
1 vol. (XV-204 p.) |
| Présentation : |
ill., couv. ill. en coul. |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-2-10-051588-2 |
| Note générale : |
La couv. porte en plus : "IUT, BTS, licence, écoles d'ingénieur"
Index |
| Langues : |
Français (fre) |
| Catégories : |
Informatique
Mathématique
|
| Mots-clés : |
Programmation mathématique
Calculateurs |
| Index. décimale : |
519.7 Programmation mathématique |
| Résumé : |
Cet ouvrage s'adresse aux étudiants ayant une expérience, même légère, de la programmation, qu'ils soient en licence ou master d'informatique (niveaux L2, L3 ou M1) ou en écoles d'ingénieurs.
Il existe en informatique des limites qui sont aussi fondamentales que la vitesse de la lumière ou le second principe de la thermodynamique. Elles concernent autant l'existence de solutions informatiques à des problèmes, que le coût de ces solutions quand elles existent. L'objectif de cet ouvrage est de jalonner ces frontières en adoptant le point de vue du programmeur.
Cet ouvrage correspond à un enseignement donné en deuxième année de licence et réparti en séances de cours et séances de TP, car beaucoup d'étudiants comprennent mieux les définitions en les implémentant. Rédigé dans un style aussi simple que possible, cet enseignement donne aussi une ouverture sur l'histoire de cette discipline en introduisant de courtes biographies d'acteurs importants (Cantor, von Neumann, Turing...) et quelques textes remarquables. |
| Note de contenu : |
SOMMAIRE
Les calculateurs
Les ensembles de Cantor
Le problème de l'arrêt
Le théorème de Rice
Les programmes WHILE
Les programmes FOR
La complexité des fonctions
Les problèmes P et NP
Annexes
Travaux pratiques (Test des programmes. Prendre un programme en paramètre)
Dénombrabilité des programmes
Un pretty-printer
Un interpréteur
Un éliminateur d'expressions complexes |
Calculateurs, calculs, calculabilité [texte imprimé] / Olivier Ridoux (1959-....), Auteur ; Gilles Lesventes, Auteur . - Paris : Dunod, impr. 2007 . - 1 vol. (XV-204 p.) : ill., couv. ill. en coul. ; 24 cm. - ( Sciences sup) . ISBN : 978-2-10-051588-2 La couv. porte en plus : "IUT, BTS, licence, écoles d'ingénieur"
Index Langues : Français ( fre)
| Catégories : |
Informatique
Mathématique
|
| Mots-clés : |
Programmation mathématique
Calculateurs |
| Index. décimale : |
519.7 Programmation mathématique |
| Résumé : |
Cet ouvrage s'adresse aux étudiants ayant une expérience, même légère, de la programmation, qu'ils soient en licence ou master d'informatique (niveaux L2, L3 ou M1) ou en écoles d'ingénieurs.
Il existe en informatique des limites qui sont aussi fondamentales que la vitesse de la lumière ou le second principe de la thermodynamique. Elles concernent autant l'existence de solutions informatiques à des problèmes, que le coût de ces solutions quand elles existent. L'objectif de cet ouvrage est de jalonner ces frontières en adoptant le point de vue du programmeur.
Cet ouvrage correspond à un enseignement donné en deuxième année de licence et réparti en séances de cours et séances de TP, car beaucoup d'étudiants comprennent mieux les définitions en les implémentant. Rédigé dans un style aussi simple que possible, cet enseignement donne aussi une ouverture sur l'histoire de cette discipline en introduisant de courtes biographies d'acteurs importants (Cantor, von Neumann, Turing...) et quelques textes remarquables. |
| Note de contenu : |
SOMMAIRE
Les calculateurs
Les ensembles de Cantor
Le problème de l'arrêt
Le théorème de Rice
Les programmes WHILE
Les programmes FOR
La complexité des fonctions
Les problèmes P et NP
Annexes
Travaux pratiques (Test des programmes. Prendre un programme en paramètre)
Dénombrabilité des programmes
Un pretty-printer
Un interpréteur
Un éliminateur d'expressions complexes |
|  |
Ajouter le résultat dans votre panier Affiner la recherche
