| Titre : |
Fondements mathématiques de l'informatique |
| Type de document : |
texte imprimé |
| Auteurs : |
Jacques Stern, Auteur |
| Editeur : |
Paris : EdiScience |
| Année de publication : |
1990 |
| Collection : |
Informatique |
| Importance : |
318P |
| Format : |
23.5X17cm |
| ISBN/ISSN/EAN : |
978-2-84074-065-0 |
| Langues : |
Français (fre) Langues originales : Français (fre) |
| Mots-clés : |
Fondements mathématiques,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é] / Jacques Stern, Auteur . - Paris : EdiScience, 1990 . - 318P ; 23.5X17cm. - ( Informatique) . ISBN : 978-2-84074-065-0 Langues : Français ( fre) Langues originales : Français ( fre)
| Mots-clés : |
Fondements mathématiques,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. |
|  |
Affiner la recherche Interroger des sources externes
