Introduction à l'informatique quantique : apprendre à calculer sur des ordinateurs quantiques avec Python / Eric Bourreau

Public ISBD Titre : Introduction à l'informatique quantique : apprendre à calculer sur des ordinateurs quantiques avec Python Type de document : texte imprimé Auteurs : Eric Bourreau, Auteur ; Fleury (19..-....), Auteur ; Philippe Lacomme, Auteur Editeur : Paris : Eyrolles Année de publication : 2022 Importance : 1 vol. (506 p.) Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-416-00653-1 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Index. décimale : 004.1 Catégories particulières d'ordinateurs Résumé : Les années 1970 ont abouti à l'informatique telle que nous la connaissons aujourd'hui. Nos ordinateurs actuels sont le fruit d'une lente évolution qui a permis de passer d'ordinateurs volumineux à lampes à des micro-ordinateurs de bureau à base de puces électroniques. La puissance de calcul de ces machines "classiques" dépend de plusieurs éléments (fréquence du processeur, mémoire centrale...) et la loi de Moore a postulé que la puissance des ordinateurs, liée au microprocesseur, suivait une croissance exponentielle. Au cours des dernières décennies, l'évolution des machines a effectivement suivi cette tendance. Toutefois l'augmentation des puissances de calcul se heurte maintenant à des limites physiques. D'où l'importance de l'informatique quantique qui permet de radicalement changer de paradigme. Grâce aux dernières avancées techniques dans ce domaine, notamment par les entreprises D-Wave et IBM (les plus connues), il est désormais possible de tester et utiliser des machines "quantiques". Cet ouvrage se veut pragmatique, les éléments théoriques indispensables y sont introduits au fur et à mesure. Vous seront présentés l'algorithme de Grover qui est incontournable mais également des méthodes itératives de type recuit simulé issu de l'informatique classique. Les exemples de ce livre font référence à des problèmes de référence en optimisation, comme celui du voyageur de commerce (TSP en anglais). Pour chacun, vous disposerez d'une explication théorique et d'une implémentation informatique. Côte titre : Fs/25016 Introduction à l'informatique quantique : apprendre à calculer sur des ordinateurs quantiques avec Python [texte imprimé] / Eric Bourreau, Auteur ; Fleury (19..-....), Auteur ; Philippe Lacomme, Auteur . - Paris : Eyrolles, 2022 . - 1 vol. (506 p.) : ill., couv. ill. en coul. ; 23 cm. ISBN : 978-2-416-00653-1 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Index. décimale : 004.1 Catégories particulières d'ordinateurs Résumé : Les années 1970 ont abouti à l'informatique telle que nous la connaissons aujourd'hui. Nos ordinateurs actuels sont le fruit d'une lente évolution qui a permis de passer d'ordinateurs volumineux à lampes à des micro-ordinateurs de bureau à base de puces électroniques. La puissance de calcul de ces machines "classiques" dépend de plusieurs éléments (fréquence du processeur, mémoire centrale...) et la loi de Moore a postulé que la puissance des ordinateurs, liée au microprocesseur, suivait une croissance exponentielle. Au cours des dernières décennies, l'évolution des machines a effectivement suivi cette tendance. Toutefois l'augmentation des puissances de calcul se heurte maintenant à des limites physiques. D'où l'importance de l'informatique quantique qui permet de radicalement changer de paradigme. Grâce aux dernières avancées techniques dans ce domaine, notamment par les entreprises D-Wave et IBM (les plus connues), il est désormais possible de tester et utiliser des machines "quantiques". Cet ouvrage se veut pragmatique, les éléments théoriques indispensables y sont introduits au fur et à mesure. Vous seront présentés l'algorithme de Grover qui est incontournable mais également des méthodes itératives de type recuit simulé issu de l'informatique classique. Les exemples de ce livre font référence à des problèmes de référence en optimisation, comme celui du voyageur de commerce (TSP en anglais). Pour chacun, vous disposerez d'une explication théorique et d'une implémentation informatique. Côte titre : Fs/25016

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/25016	Fs/25016	livre	Bibliothéque des sciences	Français	Disponible Sorti jusqu'au 24/12/2024

De la programmation linéaire la programmation par contraintes / Eric Bourreau

Public ISBD Titre : De la programmation linéaire la programmation par contraintes Type de document : texte imprimé Auteurs : Eric Bourreau, ; Matthieu Gondran, ; Philippe Lacomme, ; Marina Vinot, Editeur : Paris : Ellipses Année de publication : 2019. Collection : Technosup Importance : 1 vol. (350 p.) Présentation : ill., couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-340-02946-0 Note générale : 978-2-340-02946-0 Langues : Français (fre) Catégories : Informatique Mots-clés : Programmation par contraintes Programmation linéai Index. décimale : 004 - Informatique Résumé : La 4e de couv. indique : "Cet ouvrage propose une découverte pragmatique de la programmation par contraintes (PPC), sans en aborder la partie théorique. Il constitue un guide permettant aux ingénieurs, chercheurs et étudiants formés en programmation linéaire de se familiariser avec la PPC. La programmation linéaire, très répandue dans toutes les formations d'ingénieurs, permet de résoudre des problèmes concrets de grande taille. Quant à la PPC, elle offre une alternative pour laquelle il n'est plus nécessaire d'avoir préalablement une formalisation linéaire du problème. En lieu et place des outils classiques de la programmation linéaire, elle utilise des solveurs PPC. Les exemples du livre sont essentiellement des problèmes d'optimisation de type ordonnancement/transport. Ils sont résolus avec Choco (solveur de PPC français) et CPLEX. Les codes informatiques sont proposés en Java pour les exemples traités en Choco ou avec Gusek. Ils sont proposés en C++ pour les exemples traités avec CPLEX. Les développements en C++ sont effectués avec Visual Studio et ceux de Java avec NetBeams." Note de contenu : Sommaire Chapitre 1, Modélisation linéaire et outils de résolution Chapitre 2, Choco et CPLEX pour la propagation par contraintes Chapitre 3, Notions de base en PPC et utilisation avancée de Choco Chapitre 4, Modélisations PPC pour le RCPSP et le Job-Shop Chapitre 5, Modélisation spécifiques à la PPC Chapitre 6, Annexes-Compléments Côte titre : Fs/23323-23325 De la programmation linéaire la programmation par contraintes [texte imprimé] / Eric Bourreau, ; Matthieu Gondran, ; Philippe Lacomme, ; Marina Vinot,  . - Paris : Ellipses, 2019. . - 1 vol. (350 p.) : ill., couv. ill. ; 26 cm.. - (Technosup) . ISBN : 978-2-340-02946-0 978-2-340-02946-0 Langues : Français (fre) Catégories : Informatique Mots-clés : Programmation par contraintes Programmation linéai Index. décimale : 004 - Informatique Résumé : La 4e de couv. indique : "Cet ouvrage propose une découverte pragmatique de la programmation par contraintes (PPC), sans en aborder la partie théorique. Il constitue un guide permettant aux ingénieurs, chercheurs et étudiants formés en programmation linéaire de se familiariser avec la PPC. La programmation linéaire, très répandue dans toutes les formations d'ingénieurs, permet de résoudre des problèmes concrets de grande taille. Quant à la PPC, elle offre une alternative pour laquelle il n'est plus nécessaire d'avoir préalablement une formalisation linéaire du problème. En lieu et place des outils classiques de la programmation linéaire, elle utilise des solveurs PPC. Les exemples du livre sont essentiellement des problèmes d'optimisation de type ordonnancement/transport. Ils sont résolus avec Choco (solveur de PPC français) et CPLEX. Les codes informatiques sont proposés en Java pour les exemples traités en Choco ou avec Gusek. Ils sont proposés en C++ pour les exemples traités avec CPLEX. Les développements en C++ sont effectués avec Visual Studio et ceux de Java avec NetBeams." Note de contenu : Sommaire Chapitre 1, Modélisation linéaire et outils de résolution Chapitre 2, Choco et CPLEX pour la propagation par contraintes Chapitre 3, Notions de base en PPC et utilisation avancée de Choco Chapitre 4, Modélisations PPC pour le RCPSP et le Job-Shop Chapitre 5, Modélisation spécifiques à la PPC Chapitre 6, Annexes-Compléments Côte titre : Fs/23323-23325

Exemplaires (3)

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

---

1 (1 - 2 / 2)