Titre :	Fondements mathématiques de l'informatique
Type de document :	texte imprimé
Auteurs :	Stern Jacques, Auteur
Editeur :	Ediscience
Année de publication :	1990
Importance :	318p
Format :	23.5X17 cm
ISBN/ISSN/EAN :	978-2-84074-065-0
Langues :	Français (fre)
Mots-clés :	mathématiques de l'informatique
Index. décimale :	510
Résumé :	L'objet de cet ouvrage est de présenter diverses théories mathématiques qui sous-tendent la pratique de l'informatique: théorie des langages, calculabilité, complexité et logique. Il ne s'agit cependant pas d'un simple livre de mathématiques : un effort particulier a été fait pour rendre limpide l'exposé, par exemple par l'usage de nombreuses figures, et pour montrer en quoi l'approche - systématique autorisée par la théorie est de nature à expliquer des phénomènes concrets tels que l'existence de problèmes NP-complets, ou à développer des outils efficaces, comme les analyseurs syntaxiques ou les langages déclaratifs. L'ouvrage s'appuie sur une expérience d'une dizaine d'années au cours desquelles la quasi-totalité en a été enseignée dans diverses institutions tant en France qu'à l'étranger. Ce livre s'adresse à un public très varié: étudiants en informatique, bien sûr, étudiants en mathématiques, élèves des écoles d'ingénieurs mais aussi praticiens qui, pour les besoins du génie logiciel ou de l'intelligence artificielle, recherchent un exposé précis de la complexité ou de la logique.

Fondements mathématiques de l'informatique [texte imprimé] / Stern Jacques, Auteur . - [S.l.] : Ediscience, 1990 . - 318p ; 23.5X17 cm.
ISBN : 978-2-84074-065-0
Langues : Français (fre)

Mots-clés :	mathématiques de l'informatique
Index. décimale :	510
Résumé :	L'objet de cet ouvrage est de présenter diverses théories mathématiques qui sous-tendent la pratique de l'informatique: théorie des langages, calculabilité, complexité et logique. Il ne s'agit cependant pas d'un simple livre de mathématiques : un effort particulier a été fait pour rendre limpide l'exposé, par exemple par l'usage de nombreuses figures, et pour montrer en quoi l'approche - systématique autorisée par la théorie est de nature à expliquer des phénomènes concrets tels que l'existence de problèmes NP-complets, ou à développer des outils efficaces, comme les analyseurs syntaxiques ou les langages déclaratifs. L'ouvrage s'appuie sur une expérience d'une dizaine d'années au cours desquelles la quasi-totalité en a été enseignée dans diverses institutions tant en France qu'à l'étranger. Ce livre s'adresse à un public très varié: étudiants en informatique, bien sûr, étudiants en mathématiques, élèves des écoles d'ingénieurs mais aussi praticiens qui, pour les besoins du génie logiciel ou de l'intelligence artificielle, recherchent un exposé précis de la complexité ou de la logique.