![Photo bandeau superieur](https://buc.univ-saida.dz/admin/opac_css/temp/cms_vign/buce/large/section79.jpeg)
Titre : | Calculateurs,calculs,calculabilitè (1ère édition) : Cours et travaux pratiques - IUT, BTS - Licence - Ecoles d'ingénieurs |
Auteurs : | Olivier Ridoux, Auteur ; Gilles Lesventes Gilles Lesventes, Auteur |
Type de document : | texte imprimé |
Editeur : | Dunod paris,, 2008 |
ISBN/ISSN/EAN : | 978-2-10-051588-2 |
Format : | 204p / ill / 17 x 24 cm. |
Note générale : | Index |
Langues: | Français |
Catégories : | |
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 : |
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 |
Exemplaires (5)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
TEC006479 | INF01096 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
TEC006480 | INF01097 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
TEC006481 | INF01098 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
TEC015340 | INF05753 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
TEC010034 | MATH00453 | Livre | Fonds propre-bibliotheque centrale | matématique/ رياضيات | Libre accès Disponible |