| Titre : | Calculateurs, calculs, calculabilité |
| Auteurs : | Olivier Ridoux, Auteur ; Gilles Lesventes, Auteur |
| Type de document : | Monographie imprimée |
| Editeur : | Paris [France] : Dunod, impr. 2007 |
| Collection : | Sciences sup, ISSN 1636-2217 |
| ISBN/ISSN/EAN : | 978-2-10-051588-2 |
| Format : | 1 vol. (XV-204 p.) / ill., couv. ill. en coul. / 24 cm |
| Note générale : |
La couv. porte en plus : "IUT, BTS, licence, écoles d'ingénieur"
Index |
| Langues: | Français |
| Index. décimale : | 519.7 |
| Catégories : |
[Agneaux] Fonctions calculables [Agneaux] Ordinateurs > Programmation |
| 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. |
| 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 |
Disponibilité (4)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| INF/543 | Livre | bibliothèque sciences exactes | Consultable |
| INF/543 | Livre | bibliothèque sciences exactes | Empruntable |
| INF/543 | Livre | bibliothèque sciences exactes | Empruntable |
| INF/543 | Livre | bibliothèque sciences exactes | Empruntable |
