Auteur(s): | Jacques Stern | |||
Collection: | informatique | |||
Editeur: | Ediscience | |||
Année: | 01/07/2000 | |||
Langue: | Français | |||
Pages: | 336 | |||
Taille: | 4.99 MB | |||
Extension: | ||||
Description:
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.
L'auteur Jacques Stern:
Jacques Stern est un chercheur de notoriete internationale. Il a publie de nombreux articles dans plusieurs domaines des mathematiques ou de l'informatique theorique: theorie des espaces de Banach, logique, theorie des ensembles, complexite, cryptographie. Il est Professeur a l'universite Paris VIl et enseigne egalement a l'Ecole polytechnique et a l'Ecole normale superieure.
[button src="https://drive.google.com/uc?export=download&id=1XlNWbf6W8NVrVemndvsvodubRbzsh5-5"]Télécharger (pdf, 4.99 MB)[/button]
Mots-Clés: Télécharger Fondements mathématiques de l'informatique EBOOK PDF EPUB DJVU. Download Fondements mathématiques de l'informatique EBOOK PDF EPUB DJVU.Fondements mathematiques de linformatique