Calculateurs, calculs, calculabilité

Cours et travaux pratiques - IUT, BTS - Licence - Ecoles d'ingénieurs

Olivier Ridoux, Gilles Lesventes - Collection Sciences sup

204 pages, parution le 23/01/2008

Ajouter à une liste

Indisponible

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.

L'auteur - Olivier Ridoux

Olivier Ridoux - Professeur à l'université de Rennes 1. Directeur de l'IFSIC (Institut de formation supérieure en informatique et communication).

L'auteur - Gilles Lesventes

Gilles Lesventes - Maître de conférences à l'université Rennes 1. Sous-directeur de l'IFSIC.

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

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Dunod
Auteur(s)	Olivier Ridoux, Gilles Lesventes
Collection	Sciences sup
Parution	23/01/2008
Nb. de pages	204
Format	17 x 24
Couverture	Broché
Poids	390g
Intérieur	Noir et Blanc
EAN13	9782100515882
ISBN13	978-2-10-051588-2