Centre de documentation
scientifique

Conception d'algorithmes / Patrick Bosc (2016)

Public Titre : Conception d'algorithmes : principes et 150 exercices corrigés Type de document : Guide/Manuel Auteurs : Patrick Bosc, Auteur ; Marc Guyomard, Auteur ; Laurent Miclet, Auteur Editeur : Paris : Eyrolles Année de publication : 2016 Collection : Algorithmes Importance : 818 p. Format : 17 x 23 cm ISBN/ISSN/EAN : 978-2-212-13366-0 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Algorithmique [Termes IGN] algorithme glouton [Termes IGN] graphe [Termes IGN] invariant [Termes IGN] itération [Termes IGN] programmation dynamique Index. décimale : 23.50 Algorithmique Résumé : (Editeur) La conception des algorithmes : une science ! L'algorithmique est l'art et la science de concevoir des algorithmes corrects et efficaces. Pour beaucoup d'informaticiens, c'est l'aspect artistique qui prédomine : on cherche l'idée lumineuse, la structure cachée, la réponse astucieuse. Mais la conception des algorithmes est d'abord une science dont il faut posséder les bases et les techniques avant d'exprimer sa créativité. Ce livre invite le lecteur à une approche rigoureuse de la construction d'algorithmes. Il explique comment la même idée peut se retrouver dans plusieurs algorithmes correspondant à des problèmes différents. Il donne les outils pour analyser rationnellement un problème, le classer dans une famille de méthodes et produire une solution exacte. C'est ouvrage est un manuel de référence sur la construction raisonnée des algorithmes. Dans chaque chapitre de ce livre, les bases théoriques et techniques sont rappelées et illustrées par des exemples. On y trouve ensuite un grand nombre d'exercices, accompagnés d'une correction minutieuse et complète. De la sorte, on y voit comment une démarche rationnelle permet d'atteindre une solution, exacte par construction, à travers une grande variété de cas. Après des rappels sur le raisonnement, les structures de données et la complexité, le livre parcourt les grandes méthodes de construction d'algorithmes : invariants, récursivité, essais successifs, méthodes PSEP, algorithmes gloutons, diviser pour régner, programmation dynamique. Au total, près de 150 exemples d'algorithmes sont ainsi analysés et construits rigoureusement. Ce livre s'adresse aux étudiants et enseignants en science informatique, aux ingénieurs, enseignants-chercheurs, informaticiens et industriels. Note de contenu : Chapitre 1 - Mathématiques et informatiques : notions utiles Chapitre 2 - Complexité d'un algorithme Chapitre 3 - Spécification, invariants, itération Chapitre 4 - Diminuer pour résoudre, récursivité Chapitre 5 - Essais successifs Chapitre 6 - PSEP [programmation par séparation et évaluation progressive] Chapitre 7 - Algorithmes gloutons Chapitre 8 - Diviser pour régner Chapitre 9 - Programmation dynamique Numéro de notice : 22449 Affiliation des auteurs : non IGN Thématique : MATHEMATIQUE Nature : Manuel Accessibilité hors numérique : Accessible via le SUDOC (sur demande au cdos) Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=79975

Complexité algorithmique / Sylvain Perifel (2014)

Public Titre : Complexité algorithmique Type de document : Guide/Manuel Auteurs : Sylvain Perifel, Auteur Editeur : Paris : Ellipses-Edition Marketing Année de publication : 2014 Collection : Références sciences Importance : 410 p. Format : 19 x 24 cm ISBN/ISSN/EAN : 978-2-7298-8692-9 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Algorithmique [Termes IGN] arithmétique [Termes IGN] comptage [Termes IGN] modèle stochastique [Termes IGN] probabilités Index. décimale : 23.50 Algorithmique Résumé : (Editeur) Ce livre présente d'abord les notions de base en théorie de la complexité algorithmique avant de traiter de nombreux sujets avancés. Il s'agit du seul ouvrage en français couvrant un si large spectre dans ce domaine central en informatique théorique. Les notions mathématiques utiles sont rappelées et aucun prérequis, outre une culture mathématique de base, n'est supposé. Clair et précis, contenant de nombreux exercices, il s'adresse aux étudiants de mathématiques et d'informatique [...], aux candidats à l'option informatique de l'agrégation de mathématiques, aux enseignants désirant un ouvrage de référence permettant de donner des cours formels sur le sujet (que ce soit un cours introductif ou sur les sujets très techniques des derniers chapitres), et aux chercheurs souhaitant approfondir le domaine. La description rigoureuse du modèle de calcul (la machine de Turing) permet d’aborder solidement les bases de la complexité en temps et en espace (théorèmes de hiérarchie, accélération, etc.) et d’étudier le problème P = NP : NP-complétude, théorèmes de Ladner, de Mahaney… Le non-déterminisme est aussi exploré par les oracles et la hiérarchie polynomiale, ainsi que par les protocoles interactifs qui poursuivent l’étude menée sur les algorithmes probabilistes. Un chapitre est consacré aux classes de comptage avec le théorème de Toda et la complétude du permanent. Enfin, la problématique du calcul par circuits (non-uniformité) est détaillée, de nombreuses bornes inférieures sont montrées ainsi que les liens profonds avec la dérandomisation. Note de contenu : Introduction 1. Le modèle de calcul 2. Considérations de base sur le temps 3. NP-complétude 4. Considérations de base sur l'espace 5. Uniformité et non-uniformité 6. Algorithmes probabilistes 7. Oracles et limites de la diagonalisation 8. La hiérarchie polynomiale 9. Comptage 10. Protocoles interactifs 11. Bornes inférieures non uniformes 12. Dérandomisation et bornes inférieures Annexes : A. Probabilités et arithmétique B. Exercices supplémentaires C. Solutions des exercices D. Classes de complexité rencontrées dans ce livre E. Indications pour l'enseignant Numéro de notice : 22418 Affiliation des auteurs : non IGN Thématique : INFORMATIQUE/MATHEMATIQUE Nature : Manuel de cours Accessibilité hors numérique : Accessible à Georges Pérec (Id UGE) Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=79477

Facts, conjectures and improvements for simulated annealing / Peter Salamon (2002)

Public Titre : Facts, conjectures and improvements for simulated annealing Type de document : Monographie Auteurs : Peter Salamon, Auteur ; Paolo Sibani, Auteur ; Richard Frost, Auteur Editeur : Philadelphie : Society for Industrial and Applied Mathematics SIAM Année de publication : 2002 Collection : Monographs on mathematical modeling and computation Importance : 150 p. ISBN/ISSN/EAN : 978-0-89871-508-8 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Algorithmique [Termes IGN] algorithme du recuit simulé [Termes IGN] modèle de Markov [Termes IGN] simulation [Termes IGN] statistique mathématique Index. décimale : 23.50 Algorithmique Note de contenu : 1 Overview 2 Facts 3 Improvements and conjectures 4 Toward structure theory and real understanding 5 Resources Numéro de notice : 21159 Affiliation des auteurs : non IGN Thématique : MATHEMATIQUE Nature : Monographie DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=55666

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21159-01	23.50	Livre	Centre de documentation	Mathématiques	Disponible

An introduction to solid modeling / Martti Mantyla (1988)

Public Titre : An introduction to solid modeling Type de document : Monographie Auteurs : Martti Mantyla, Auteur Editeur : Rockville : Computer Science Press Année de publication : 1988 Collection : Principles of computer science series, ISSN 08888-2096 num. 13 Importance : 400 p. Format : 16 x 24 cm ISBN/ISSN/EAN : 978-0-88175-108-6 Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Algorithmique [Termes IGN] décomposition spatiale [Termes IGN] interface utilisateur [Termes IGN] modèle géométrique [Termes IGN] modèle logique de données [Termes IGN] modélisation [Termes IGN] solide Index. décimale : 23.50 Algorithmique Numéro de notice : 17208 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Manuel de cours Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=81236