Chargement...
Chargement...

Calculateurs, calculs, calculabilité : cours et travaux pratiques : IUT, BTS, licence, écoles d'ingénieurs

Auteur : Olivier Ridoux

Auteur : Gilles Lesventes

25,00 €
Chargement...
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus

Résumé

L'objectif de cet ouvrage est de jalonner la frontière qui ne peut pas être dépassée par les calculateurs et de montrer comment ces limites peuvent être prouvées formellement. ©Electre 2025

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.

Fiche Technique

Paru le : 23/01/2008

Thématique : Informatique Etudiant

Auteur(s) : Auteur : Olivier Ridoux Auteur : Gilles Lesventes

Éditeur(s) : Dunod

Collection(s) : Sciences sup

Série(s) : Non précisé.

ISBN : 978-2-10-051588-2

EAN13 : 9782100515882

Reliure : Broché

Pages : XV-208

Hauteur: 24.0 cm / Largeur 16.0 cm


Poids: 396 g