Algorithmes d'approximation / Vijay V. Vazirani

Public ISBD Titre : Algorithmes d'approximation Type de document : texte imprimé Auteurs : Vijay V. Vazirani, Auteur ; Nicolas Schabanel, Traducteur Editeur : Paris : Springer Année de publication : 2006 Collection : Collection IRIS (Paris. 2000), ISSN 1623-071X Importance : 1 vol. (XX-427 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-287-00677-7 Note générale : Bibliogr. p. 399-415. Index Langues : Français (fre) Langues originales : Anglais (eng) Catégories : Informatique Mathématique Mots-clés : Approximation, Théorie de l' Algorithmes d'approximation Optimisation mathématique : Problèmes et exercices Algorithmes : Problèmes et exercices Programmation linéaire Index. décimale : 519.7 Programmation mathématique Résumé : Le champ des algorithmes d'approximation est aujourd'hui l'un des domaines de recherche les plus actifs en informatique. Il allie la profondeur de la théorie mathématique aux promesses d'applications pratiques d'un intérêt considérable. La plupart des problèmes issus d'applications relevant de domaines aussi différents que la conception de circuits VLSI, la conception et la planification de réseaux, l'ordonnancement, la théorie des jeux, la biologie ou la théorie des nombres, sont des problèmes NP-difficiles. Leur résolution exacte demanderait des ressources informatiques inaccessibles et ne peut donc être envisagée. Pour faire face à cette situation, un grand nombre d'algorithmes proposant des solutions approchées à ces problèmes ont été développés. Une quantité considérable de résultats nouveaux a été établie lors de la dernière décennie et a révolutionné ce champ d'étude. Le défi relevé par cet ouvrage est de présenter clairement les théories et méthodologies sous-jacentes sans rien ôter à la beauté des résultats. Ce livre expose ces questions algorithmiques complexes en proposant des démonstrations simples et intuitives accompagnées de nombreux exemples. Note de contenu : Couverture par ensembles L'arbre de Steiner et le voyageur de commerce Coupe multiséparatrice et coupe en k morceaux k-Centre Coupe-cycles de sommets Surfacteur minimum Sac à dos Empaquetage Minimisation du temps d'exécution total Voyageur de commerce euclidien Introduction à la dualité en programmation linéaire Alignement dual pour la couverture par ensembles Arrondi en programmation linéaire et couverture par Ensembles Schéma primal-dual et couverture par ensembles Satisfaction maximum Ordonnancement hétérogène Multicoupe et multiflot entier dans un arbre Coupe multiséparatrice Multicoupe dans les graphes Coupe la moins dense Forêt de Steiner Réseau de Steiner Placement d'installations k-Médiane Programmation semi-définie Vecteur le plus court Problèmes de dénombrement Difficulté de l'approximation Problèmes ouverts Annexes Bibliographie Index des problèmes Index Glossaire des mots anglais Algorithmes d'approximation [texte imprimé] / Vijay V. Vazirani, Auteur ; Nicolas Schabanel, Traducteur . - Paris : Springer, 2006 . - 1 vol. (XX-427 p.) : ill., couv. ill. en coul. ; 24 cm. - (Collection IRIS (Paris. 2000), ISSN 1623-071X) . ISBN : 978-2-287-00677-7 Bibliogr. p. 399-415. Index Langues : Français (fre) Langues originales : Anglais (eng) Catégories : Informatique Mathématique Mots-clés : Approximation, Théorie de l' Algorithmes d'approximation Optimisation mathématique : Problèmes et exercices Algorithmes : Problèmes et exercices Programmation linéaire Index. décimale : 519.7 Programmation mathématique Résumé : Le champ des algorithmes d'approximation est aujourd'hui l'un des domaines de recherche les plus actifs en informatique. Il allie la profondeur de la théorie mathématique aux promesses d'applications pratiques d'un intérêt considérable. La plupart des problèmes issus d'applications relevant de domaines aussi différents que la conception de circuits VLSI, la conception et la planification de réseaux, l'ordonnancement, la théorie des jeux, la biologie ou la théorie des nombres, sont des problèmes NP-difficiles. Leur résolution exacte demanderait des ressources informatiques inaccessibles et ne peut donc être envisagée. Pour faire face à cette situation, un grand nombre d'algorithmes proposant des solutions approchées à ces problèmes ont été développés. Une quantité considérable de résultats nouveaux a été établie lors de la dernière décennie et a révolutionné ce champ d'étude. Le défi relevé par cet ouvrage est de présenter clairement les théories et méthodologies sous-jacentes sans rien ôter à la beauté des résultats. Ce livre expose ces questions algorithmiques complexes en proposant des démonstrations simples et intuitives accompagnées de nombreux exemples. Note de contenu : Couverture par ensembles L'arbre de Steiner et le voyageur de commerce Coupe multiséparatrice et coupe en k morceaux k-Centre Coupe-cycles de sommets Surfacteur minimum Sac à dos Empaquetage Minimisation du temps d'exécution total Voyageur de commerce euclidien Introduction à la dualité en programmation linéaire Alignement dual pour la couverture par ensembles Arrondi en programmation linéaire et couverture par Ensembles Schéma primal-dual et couverture par ensembles Satisfaction maximum Ordonnancement hétérogène Multicoupe et multiflot entier dans un arbre Coupe multiséparatrice Multicoupe dans les graphes Coupe la moins dense Forêt de Steiner Réseau de Steiner Placement d'installations k-Médiane Programmation semi-définie Vecteur le plus court Problèmes de dénombrement Difficulté de l'approximation Problèmes ouverts Annexes Bibliographie Index des problèmes Index Glossaire des mots anglais

Exemplaires (9)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/2192	Fs/2192-2200	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/2193	Fs/2192-2200	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/2194	Fs/2192-2200	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/2195	Fs/2192-2200	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/2196	Fs/2192-2200	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/2197	Fs/2192-2200	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/2198	Fs/2192-2200	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/2199	Fs/2192-2200	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/2200	Fs/2192-2200	Livre	Bibliothéque des sciences	Français	Disponible Disponible

Calcul formel avec MuPAD / François Maltey

Public ISBD Titre : Calcul formel avec MuPAD Type de document : texte imprimé Auteurs : François Maltey, Auteur Editeur : Paris : Springer Année de publication : 2002 Collection : Collection IRIS (Paris. 2000), ISSN 1623-071X Importance : 1 vol. (424 p.) Présentation : ill., couv. ill. en coul Format : 24 cm Accompagnement : CD-Rom ISBN/ISSN/EAN : 978-2-287-59708-4 Note générale : Index Langues : Français (fre) Catégories : Mathématique Mots-clés : MuPAD (logiciel) Calcul formel : Logiciels Index. décimale : 512 Algèbre Résumé : MuPAD est le premier système complet de calcul formel développé en Europe ; il applique des algorithmes qui automatisent sans aucune approximation de nombreuses manipulations mathématiques dans des domaines aussi variés que l'analyse, l'algèbre polynomiale ou le calcul matriciel. Le système allie une grande facilité d'emploi au respect scrupuleux des propriétés des données traitées. Ce livre donne une vue d'ensemble de MuPAD ; il présente le plus simplement possible les commandes du système, en s'appuyant sur les définitions et les propriétés mathématiques sous-jacentes. Le cédérom joint - qui reprend la version 2.0 de MuPAD pour Linux et Windows - et les exemples de calculs illustrant le propos donnent la possibilité de découvrir concrètement le fonctionnement de ce système de calcul formel. Note de contenu : Sommaire Les nombres Fonctions mathématiques Calculs en analyse Simplifications et réécritures Polynômes et fractions rationnelles Algèbre linéaire De l'algèbre pour l'analyse Entre mathématique s et informatique Autres domaines de l'application Méthodes numériques Tracé de courbes et commandes graphiques Programmation Ordres de grandeur des calculs sur les sentiers Un exemple de catastrophe Etude d'une loi de composition interne La fonction tangente autour de zéro Géométrie affine du plan Caractérisation d'une rotation. Côte titre : Fs/2985-2989 Calcul formel avec MuPAD [texte imprimé] / François Maltey, Auteur . - Paris : Springer, 2002 . - 1 vol. (424 p.) : ill., couv. ill. en coul ; 24 cm + CD-Rom. - (Collection IRIS (Paris. 2000), ISSN 1623-071X) . ISBN : 978-2-287-59708-4 Index Langues : Français (fre) Catégories : Mathématique Mots-clés : MuPAD (logiciel) Calcul formel : Logiciels Index. décimale : 512 Algèbre Résumé : MuPAD est le premier système complet de calcul formel développé en Europe ; il applique des algorithmes qui automatisent sans aucune approximation de nombreuses manipulations mathématiques dans des domaines aussi variés que l'analyse, l'algèbre polynomiale ou le calcul matriciel. Le système allie une grande facilité d'emploi au respect scrupuleux des propriétés des données traitées. Ce livre donne une vue d'ensemble de MuPAD ; il présente le plus simplement possible les commandes du système, en s'appuyant sur les définitions et les propriétés mathématiques sous-jacentes. Le cédérom joint - qui reprend la version 2.0 de MuPAD pour Linux et Windows - et les exemples de calculs illustrant le propos donnent la possibilité de découvrir concrètement le fonctionnement de ce système de calcul formel. Note de contenu : Sommaire Les nombres Fonctions mathématiques Calculs en analyse Simplifications et réécritures Polynômes et fractions rationnelles Algèbre linéaire De l'algèbre pour l'analyse Entre mathématique s et informatique Autres domaines de l'application Méthodes numériques Tracé de courbes et commandes graphiques Programmation Ordres de grandeur des calculs sur les sentiers Un exemple de catastrophe Etude d'une loi de composition interne La fonction tangente autour de zéro Géométrie affine du plan Caractérisation d'une rotation. Côte titre : Fs/2985-2989

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/2989	Fs/2985-2989	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/2985	Fs/2985-2989	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/2986	Fs/2985-2989	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/2987	Fs/2985-2989	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/2988	Fs/2985-2989	Livre	Bibliothéque des sciences	Français	Disponible Disponible

Éléments de théorie des graphes / Alain Bretto

Public ISBD Titre : Éléments de théorie des graphes Type de document : texte imprimé Auteurs : Alain Bretto, Auteur ; Alain Faisant, Auteur ; François Hennecart, Auteur Editeur : Paris : Springer Année de publication : 2012 Collection : Collection IRIS (Paris. 2000), ISSN 1623-071X Importance : 1 vol. (371 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-8178-0280-0 Note générale : Bibliogr. p. 357. Index Langues : Français (fre) Catégories : Mathématique Mots-clés : Graphes, Théorie des -- Problèmes et exercices Index. décimale : 511.5 Théorie des graphes Résumé : Cet ouvrage constitue une introduction à la théorie des graphes. La plupart des notions élémentaires et classiques y sont introduites selon une approche originale, précise et rigoureuse. La quasi-totalité des résultats énoncés font l'objet de démonstrations détaillées. L'aspect topologique et l'aspect algébrique, derniers avatars de cette théorie, ont été développés de manière approfondie. La variété des thèmes abordés a pour objectif de conduire le lecteur à appréhender les graphes dans toute leur diversité afin d'en percevoir la puissance en tant qu'outil mathématique. L'accent a également été mis sur les structures de données et les algorithmes associés aux graphes permettant la programmation d'applications pratiques. Ce livre peut être d'usage courant pour les étudiants en informatique ou en mathématiques du niveau licence et master, en université et en écoles d'ingénieurs. Il pourra aussi être utile aux chercheurs et aux ingénieurs voulant s'approprier rapidement le domaine de la théorie des graphes. Note de contenu : Sommaire : 1 Concepts fondamentaux 2 Quelques graphes remarquables 3 (Di)graphes et structures de données 4 Connexité et flots dans les réseaux5 Graphes planaires 6 Théorie algébrique 7 Coloration 8 Couplage et factorisation 9 Automorphismes – Théorie spectrale 10 Autres perspectives Côte titre : Fs/19700-Fs/10757-10760 Éléments de théorie des graphes [texte imprimé] / Alain Bretto, Auteur ; Alain Faisant, Auteur ; François Hennecart, Auteur . - Paris : Springer, 2012 . - 1 vol. (371 p.) : ill., couv. ill. en coul. ; 24 cm. - (Collection IRIS (Paris. 2000), ISSN 1623-071X) . ISBN : 978-2-8178-0280-0 Bibliogr. p. 357. Index Langues : Français (fre) Catégories : Mathématique Mots-clés : Graphes, Théorie des -- Problèmes et exercices Index. décimale : 511.5 Théorie des graphes Résumé : Cet ouvrage constitue une introduction à la théorie des graphes. La plupart des notions élémentaires et classiques y sont introduites selon une approche originale, précise et rigoureuse. La quasi-totalité des résultats énoncés font l'objet de démonstrations détaillées. L'aspect topologique et l'aspect algébrique, derniers avatars de cette théorie, ont été développés de manière approfondie. La variété des thèmes abordés a pour objectif de conduire le lecteur à appréhender les graphes dans toute leur diversité afin d'en percevoir la puissance en tant qu'outil mathématique. L'accent a également été mis sur les structures de données et les algorithmes associés aux graphes permettant la programmation d'applications pratiques. Ce livre peut être d'usage courant pour les étudiants en informatique ou en mathématiques du niveau licence et master, en université et en écoles d'ingénieurs. Il pourra aussi être utile aux chercheurs et aux ingénieurs voulant s'approprier rapidement le domaine de la théorie des graphes. Note de contenu : Sommaire : 1 Concepts fondamentaux 2 Quelques graphes remarquables 3 (Di)graphes et structures de données 4 Connexité et flots dans les réseaux5 Graphes planaires 6 Théorie algébrique 7 Coloration 8 Couplage et factorisation 9 Automorphismes – Théorie spectrale 10 Autres perspectives Côte titre : Fs/19700-Fs/10757-10760

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/10757	Fs/10757-10760	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/10758	Fs/10757-10760	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/10759	Fs/10757-10760	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/10760	Fs/10757-10760	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/19700	Fs/19700	Livre	Bibliothéque des sciences	Français	Disponible Disponible

Enseigner l'informatique / Hartmann, Werner

Public ISBD Titre : Enseigner l'informatique Type de document : texte imprimé Auteurs : Hartmann, Werner, Auteur ; Michael Näf, Auteur ; Raimond Reichert, Auteur Editeur : Paris : Springer Année de publication : 2011 Collection : Collection IRIS (Paris. 2000), ISSN 1623-071X Importance : 1 vol. (176 p.) Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-8178-0261-9 Note générale : 978-2-8178-0261-9 Langues : Français (fre) Langues originales : Allemand (ger) Catégories : Informatique Mots-clés : Informatique :Étude et enseignement Informatique :enseignement et éducation Index. décimale : 004 - Informatique Résumé : Ce livre a pour but d'expliquer ce qu'un enseignement de l'informatique devrait être, ce qu'il n'est pas et ce qu'il ne doit surtout pas devenir. Il montre en particulier qu'il faut éviter la confusion entre le contenu d'un enseignement et le recours aux TIC ; il explore méthodiquement certaines questions comme : existe-t-il une didactique de l'informatique ? une pédagogie vaut-elle mieux qu'une autre ? comment gérer la diversité au sein des groupes qui apprennent l'informatique ? pourquoi et comment aborder l'abstraction ? etc. Chaque chapitre commence par une situation vécue exemplaire des difficultés rencontrées quotidiennement dans l'enseignement de l'informatique. Il s'en dégage de multiples problématiques auxquelles les auteurs apportent des réponses concrètes dans un style alerte et vivant. Ce livre rendra les plus grands services à tous ceux qui doivent organiser ou prendre en charge des enseignements d'informatique. Il rappelle que des conditions matérielles adaptées sont un prélude à un enseignement de qualité, et propose une pédagogie pour mettre en place des cours efficaces et Note de contenu : Sommaire CLASSIFICATION ET DELIMITATION CHOIX DU CONTENU DES COURS ORGANISATION DE L'ENSEIGNEMENT METHODES D'ENSEIGNEMENT TECHNIQUES D'ENSEIGNEMENT MISE EN OEUVRE DE L'ENSEIGNEMENT Côte titre : Fs/23958 Enseigner l'informatique [texte imprimé] / Hartmann, Werner, Auteur ; Michael Näf, Auteur ; Raimond Reichert, Auteur . - Paris : Springer, 2011 . - 1 vol. (176 p.) : ill., couv. ill. ; 24 cm. - (Collection IRIS (Paris. 2000), ISSN 1623-071X) . ISBN : 978-2-8178-0261-9 978-2-8178-0261-9 Langues : Français (fre) Langues originales : Allemand (ger) Catégories : Informatique Mots-clés : Informatique :Étude et enseignement Informatique :enseignement et éducation Index. décimale : 004 - Informatique Résumé : Ce livre a pour but d'expliquer ce qu'un enseignement de l'informatique devrait être, ce qu'il n'est pas et ce qu'il ne doit surtout pas devenir. Il montre en particulier qu'il faut éviter la confusion entre le contenu d'un enseignement et le recours aux TIC ; il explore méthodiquement certaines questions comme : existe-t-il une didactique de l'informatique ? une pédagogie vaut-elle mieux qu'une autre ? comment gérer la diversité au sein des groupes qui apprennent l'informatique ? pourquoi et comment aborder l'abstraction ? etc. Chaque chapitre commence par une situation vécue exemplaire des difficultés rencontrées quotidiennement dans l'enseignement de l'informatique. Il s'en dégage de multiples problématiques auxquelles les auteurs apportent des réponses concrètes dans un style alerte et vivant. Ce livre rendra les plus grands services à tous ceux qui doivent organiser ou prendre en charge des enseignements d'informatique. Il rappelle que des conditions matérielles adaptées sont un prélude à un enseignement de qualité, et propose une pédagogie pour mettre en place des cours efficaces et Note de contenu : Sommaire CLASSIFICATION ET DELIMITATION CHOIX DU CONTENU DES COURS ORGANISATION DE L'ENSEIGNEMENT METHODES D'ENSEIGNEMENT TECHNIQUES D'ENSEIGNEMENT MISE EN OEUVRE DE L'ENSEIGNEMENT Côte titre : Fs/23958

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/23958	Fs/23958	livre	Bibliothéque des sciences	Français	Disponible Disponible

Maple / Nicolas Puech

Public ISBD Titre : Maple : Règles et fonctions essentielles Type de document : texte imprimé Auteurs : Nicolas Puech, Auteur Editeur : Paris : Springer Année de publication : 2009 Collection : Collection IRIS (Paris. 2000), ISSN 1623-071X Importance : 1 vol. (206 p.) Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-287-25201-3 Note générale : Bibliogr. p. [193]. Index code d'accès Langues : Français (fre) Catégories : Informatique Mots-clés : Maple :logiciel Index. décimale : 005.1 - Programmation Résumé : Largement diffusé dans les milieux scientifiques, le logiciel Maple procure un environnement interactif pour résoudre des problèmes mathématiques. Outre des possibilités de calcul symbolique, il intègre, dans ses dernières versions, des bibliothèques de calcul numérique. Il comporte aussi un langage de programmation interprété permettant de développer des applications spécifiques ou d'écrire rapidement des prototypes, grâce à son interface agréable et à ses puissantes structures de données. Ces caractéristiques en font un outil complet pour aborder les situations rencontrées lors du traitement d'un problème scientifique. Ce livre propose une initiation au calcul formel avec Maple et présente une synthèse des connaissances essentielles pour utiliser ce logiciel. Après une introduction explicitant la prise en main de l'interface classique, l'ouvrage aborde les types fondamentaux, les règles d'évaluation, les bases de la programmation et la représentation interne des objets Maple. Des exemples simples illustrent cet exposé. Agréé par l'Éducation nationale, Maple sera utile aux élèves des classes préparatoires ou à ceux choisissant l'épreuve de modélisation de l'agrégation de mathématiques, ainsi qu'à tous les étudiants de cycles universitaires ou de Grandes Écoles scientifiques désireux de mettre en oeuvre le potentiel du logiciel pour leurs travaux. Note de contenu : Sommaire Prise en main Types fondamentaux Evaluation Programmation Structure d'une expression Maple Côte titre : Fs/7348-7353 Maple : Règles et fonctions essentielles [texte imprimé] / Nicolas Puech, Auteur . - Paris : Springer, 2009 . - 1 vol. (206 p.) : couv. ill. en coul. ; 24 cm. - (Collection IRIS (Paris. 2000), ISSN 1623-071X) . ISBN : 978-2-287-25201-3 Bibliogr. p. [193]. Index code d'accès Langues : Français (fre) Catégories : Informatique Mots-clés : Maple :logiciel Index. décimale : 005.1 - Programmation Résumé : Largement diffusé dans les milieux scientifiques, le logiciel Maple procure un environnement interactif pour résoudre des problèmes mathématiques. Outre des possibilités de calcul symbolique, il intègre, dans ses dernières versions, des bibliothèques de calcul numérique. Il comporte aussi un langage de programmation interprété permettant de développer des applications spécifiques ou d'écrire rapidement des prototypes, grâce à son interface agréable et à ses puissantes structures de données. Ces caractéristiques en font un outil complet pour aborder les situations rencontrées lors du traitement d'un problème scientifique. Ce livre propose une initiation au calcul formel avec Maple et présente une synthèse des connaissances essentielles pour utiliser ce logiciel. Après une introduction explicitant la prise en main de l'interface classique, l'ouvrage aborde les types fondamentaux, les règles d'évaluation, les bases de la programmation et la représentation interne des objets Maple. Des exemples simples illustrent cet exposé. Agréé par l'Éducation nationale, Maple sera utile aux élèves des classes préparatoires ou à ceux choisissant l'épreuve de modélisation de l'agrégation de mathématiques, ainsi qu'à tous les étudiants de cycles universitaires ou de Grandes Écoles scientifiques désireux de mettre en oeuvre le potentiel du logiciel pour leurs travaux. Note de contenu : Sommaire Prise en main Types fondamentaux Evaluation Programmation Structure d'une expression Maple Côte titre : Fs/7348-7353

Exemplaires (6)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/7348	Fs/7348-7353	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/7349	Fs/7348-7353	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/7350	Fs/7348-7353	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/7351	Fs/7348-7353	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/7352	Fs/7348-7353	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/7353	Fs/7348-7353	livre	Bibliothéque des sciences	Français	Disponible Disponible

Méthodes numériques pour le calcul scientifique / Alfio Quarteroni

Permalink

---

1 (1 - 6 / 6)