Bibliothèque de Faculté des mathématiques et de l'informatique
Détail de l'éditeur
Impr. la Source d'or
localisé à :
63-Clermont-Ferrand
|
Documents disponibles chez cet éditeur (5)
Affiner la recherche Interroger des sources externes
Titre : Intelligence artificielle : Avec plus de 500 exercices Type de document : texte imprimé Auteurs : Stuart Jonathan Russell (1962-....), Auteur ; Peter Norvig (1956-....), Auteur Mention d'édition : 3e éd. Editeur : Paris : Pearson education Année de publication : 2010 Autre Editeur : 63-Clermont-Ferrand : Impr. la Source d'or Importance : 1198 p. Présentation : ill., couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7440-7455-4 Note générale : Bibliogr. p. 1123-1173. Index. Langues : Français (fre) Langues originales : Anglais (eng) Index. décimale : 25-08-Intelligence artificielle Résumé : Écrit par les experts de renommée mondiale, ce livre est la référence incontournable en matière d'intelligence artificielle (IA) dont il présente et analyse tous les concepts : logique, probabilités, mathématiques discrètes et du continu, perception, raisonnement, apprentissage, prise de décision et action. Sa spécificité est de présenter l'IA à travers le concept des agents intelligents. Les auteurs exposent comment un système réussit à percevoir son environnement de manière à analyser ce qu'il s'y passe, et comment il transforme la perception qu'il a de son environnement en actions concrètes. Parmi les sujets couverts : />- les contributions historiques des mathématiques, de la théorie des jeux, de l'économie, de la théorie des probabilités, de la psychologie, de la linguistique et des neurosciences ; />- les méthodes qui permettent de prendre des décisions lors de l'établissement d'un projet, en tenant compte des étapes à venir ; />- les différentes manières de représenter formellement les connaissances relatives au monde qui nous entoure ainsi que le raisonnement logique fondé sur ces connaissances ; />- les méthodes de raisonnement qui permettent d'établir des plans et donc de proposer des actions à entreprendre ; />- la prise de décisions en environnement incertain : réseaux bayésiens et algorithmes tels que l'élimination de variables et MCMC (Markov Chain Monte-Carlo) ; />- les méthodes employées pour générer les connaissances exigées par les composants de prise de décision : les algorithmes de boosting, l'algorithme EM (expectation-minimization), l'apprentissage à base d'exemples et les méthodes à noyaux (machines à vecteurs support) ; />- les implications philosophiques et éthiques de l'IA. Chaque chapitre est illustré par de nombreux exemples et s'achève par des activités, qui vont des exercices de réflexion à des exercices de programmation, en passant par l'approfondissement des méthodes décrites, soit plus de 500 activités au total. Cette 3e édition tient compte des derniers développements de la matière, concernant notamment les représentations qu'un agent peut utiliser (atomique, factorisée, structurée), les environnements partiellement observables et non déterministes, les planifications contingente et hiérarchique, les modèles probabilistes du premier ordre, l'apprentissage automatique, la recherche et l'extraction d'information sur le web et l'apprentissage à partir de très grandes bases de données. /> Intelligence artificielle : Avec plus de 500 exercices [texte imprimé] / Stuart Jonathan Russell (1962-....), Auteur ; Peter Norvig (1956-....), Auteur . - 3e éd. . - Paris : Pearson education : 63-Clermont-Ferrand : Impr. la Source d'or, 2010 . - 1198 p. : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-7440-7455-4
Bibliogr. p. 1123-1173. Index.
Langues : Français (fre) Langues originales : Anglais (eng)
Index. décimale : 25-08-Intelligence artificielle Résumé : Écrit par les experts de renommée mondiale, ce livre est la référence incontournable en matière d'intelligence artificielle (IA) dont il présente et analyse tous les concepts : logique, probabilités, mathématiques discrètes et du continu, perception, raisonnement, apprentissage, prise de décision et action. Sa spécificité est de présenter l'IA à travers le concept des agents intelligents. Les auteurs exposent comment un système réussit à percevoir son environnement de manière à analyser ce qu'il s'y passe, et comment il transforme la perception qu'il a de son environnement en actions concrètes. Parmi les sujets couverts : />- les contributions historiques des mathématiques, de la théorie des jeux, de l'économie, de la théorie des probabilités, de la psychologie, de la linguistique et des neurosciences ; />- les méthodes qui permettent de prendre des décisions lors de l'établissement d'un projet, en tenant compte des étapes à venir ; />- les différentes manières de représenter formellement les connaissances relatives au monde qui nous entoure ainsi que le raisonnement logique fondé sur ces connaissances ; />- les méthodes de raisonnement qui permettent d'établir des plans et donc de proposer des actions à entreprendre ; />- la prise de décisions en environnement incertain : réseaux bayésiens et algorithmes tels que l'élimination de variables et MCMC (Markov Chain Monte-Carlo) ; />- les méthodes employées pour générer les connaissances exigées par les composants de prise de décision : les algorithmes de boosting, l'algorithme EM (expectation-minimization), l'apprentissage à base d'exemples et les méthodes à noyaux (machines à vecteurs support) ; />- les implications philosophiques et éthiques de l'IA. Chaque chapitre est illustré par de nombreux exemples et s'achève par des activités, qui vont des exercices de réflexion à des exercices de programmation, en passant par l'approfondissement des méthodes décrites, soit plus de 500 activités au total. Cette 3e édition tient compte des derniers développements de la matière, concernant notamment les représentations qu'un agent peut utiliser (atomique, factorisée, structurée), les environnements partiellement observables et non déterministes, les planifications contingente et hiérarchique, les modèles probabilistes du premier ordre, l'apprentissage automatique, la recherche et l'extraction d'information sur le web et l'apprentissage à partir de très grandes bases de données. /> Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 196944 25-08-02 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible Mathématiques, L1
Titre : Mathématiques, L1 : Cours complet avec 1000 tests et exercices corrigés Type de document : texte imprimé Auteurs : Jean-Pierre Marco, Directeur de publication ; Laurent Lazzarini, Directeur de publication Editeur : Paris : Pearson education Année de publication : 2010 Autre Editeur : 63-Clermont-Ferrand : Impr. la Source d'or Importance : 1078 p. Présentation : ill., couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7440-7258-1 Note générale : Index. Langues : Français (fre) Index. décimale : 04-01 Mathématiques générales Résumé : Mathématiques L1 accueille l'étudiant au niveau qu'il a atteint en terminale scientifique et l'aide à passer à la vitesse supérieure de la L1 grâce aux huit premiers chapitres regroupés sous le titre « Bases ». Le cours est ensuite développé en 25 chapitres, assortis pour la plupart de « Compléments » de niveaux variables, permettant la découverte d'applications originales. /> />Il s'applique à faire ressortir les raisons d'être et le sens de toutes les notions introduites. La présentation des outils algébriques est ainsi toujours assortie d'un grand nombre d'exemples concrets et les concepts analytiques sont reliés aux questions, souvent empruntées à la géométrie ou à la physique, qui les ont fait naître. En début de chapitre, une introduction historique retrace la genèse des idées. /> />Mathématiques L1 souligne les notions fondamentales, les pièges à éviter et récapitule la marche à suivre pour résoudre les problèmes. Il incite à une lecture active à l'aide de nombreuses questions test, grâce auxquelles l'étudiant peut contrôler au fur et à mesure l'assimilation des concepts. De très nombreuses figures et illustrations facilitent la compréhension du cours. Enfin, Mathématiques L1 propose un entraînement sérieux en offrant un grand nombre d'exercices d'applications tous intégralement corrigés. /> />Mathématiques L1 est le premier tome d'une série couvrant les besoins des étudiants pour les trois années de la licence de mathématiques. /> /> Mathématiques, L1 : Cours complet avec 1000 tests et exercices corrigés [texte imprimé] / Jean-Pierre Marco, Directeur de publication ; Laurent Lazzarini, Directeur de publication . - Paris : Pearson education : 63-Clermont-Ferrand : Impr. la Source d'or, 2010 . - 1078 p. : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-7440-7258-1
Index.
Langues : Français (fre)
Index. décimale : 04-01 Mathématiques générales Résumé : Mathématiques L1 accueille l'étudiant au niveau qu'il a atteint en terminale scientifique et l'aide à passer à la vitesse supérieure de la L1 grâce aux huit premiers chapitres regroupés sous le titre « Bases ». Le cours est ensuite développé en 25 chapitres, assortis pour la plupart de « Compléments » de niveaux variables, permettant la découverte d'applications originales. /> />Il s'applique à faire ressortir les raisons d'être et le sens de toutes les notions introduites. La présentation des outils algébriques est ainsi toujours assortie d'un grand nombre d'exemples concrets et les concepts analytiques sont reliés aux questions, souvent empruntées à la géométrie ou à la physique, qui les ont fait naître. En début de chapitre, une introduction historique retrace la genèse des idées. /> />Mathématiques L1 souligne les notions fondamentales, les pièges à éviter et récapitule la marche à suivre pour résoudre les problèmes. Il incite à une lecture active à l'aide de nombreuses questions test, grâce auxquelles l'étudiant peut contrôler au fur et à mesure l'assimilation des concepts. De très nombreuses figures et illustrations facilitent la compréhension du cours. Enfin, Mathématiques L1 propose un entraînement sérieux en offrant un grand nombre d'exercices d'applications tous intégralement corrigés. /> />Mathématiques L1 est le premier tome d'une série couvrant les besoins des étudiants pour les trois années de la licence de mathématiques. /> /> Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité 197392 04-01-1070 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible 183584 04-01-1070 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible 182935 04-01-1070 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible 182934 04-01-1070 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible 183583 04-01-1070 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible
Titre : Mathématiques, L3; Analyse : Cours complet avec 600 tests et exercices corrigés Type de document : texte imprimé Auteurs : Jean-Pierre Marco, Directeur de publication Editeur : Paris : Pearson education Année de publication : 2009 Autre Editeur : 63-Clermont-Ferrand : Impr. la Source d'or Importance : 932 p. Présentation : ill., couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7440-7350-2 Note générale : Index. Langues : Français (fre) Index. décimale : 04-02-Analyse Résumé : Mathématiques L3 - Analyse est, avec les deux autres volumes de la collection (Algèbre et Mathématiques appliquées), le dernier volet d'une série couvrant les besoins des étudiants préparant la licence, le Capes ainsi que l'agrégation de mathématiques. Il regroupe tout ce qui est nécessaire en L3 : un cours complet et détaillé et 600 tests et exercices entièrement corrigés. Il renferme également beaucoup d'éléments utiles en vue de la préparation du master. Particulièrement didactique, Mathématiques L3 s'applique à faire ressortir les raisons d'être et le sens de toutes les notions introduites. La présentation des outils fondamentaux est ainsi toujours assortie d'un grand nombre d'exemples concrets et les concepts analytiques sont reliés aux questions qui les ont fait naître. Quelques éléments d'histoire des mathématiques sont présentés pour illustrer l'ensemble des idées. Tous les outils sont réunis pour faciliter la compréhension des concepts : /> de nombreux exemples illustrent le cours ; /> grâce à ses encadrés « Rappel », « Attention », « Méthode » et « Synthèse », Mathématiques L3 rappelle les notions fondamentales, souligne les pièges à éviter, récapitule la marche à suivre pour résoudre les problèmes et synthétise les sujets complexes ; /> posées au fil du texte, des questions tests incitent à une lecture active et indiquent au lecteur s'il peut poursuivre son étude ou s'il doit préalablement consolider ses connaissances ; /> enfin, Mathématiques L3 propose un entraînement sérieux en offrant un grand nombre d'exercices d'applications tous intégralement corrigés. Mathématiques, L3; Analyse : Cours complet avec 600 tests et exercices corrigés [texte imprimé] / Jean-Pierre Marco, Directeur de publication . - Paris : Pearson education : 63-Clermont-Ferrand : Impr. la Source d'or, 2009 . - 932 p. : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-7440-7350-2
Index.
Langues : Français (fre)
Index. décimale : 04-02-Analyse Résumé : Mathématiques L3 - Analyse est, avec les deux autres volumes de la collection (Algèbre et Mathématiques appliquées), le dernier volet d'une série couvrant les besoins des étudiants préparant la licence, le Capes ainsi que l'agrégation de mathématiques. Il regroupe tout ce qui est nécessaire en L3 : un cours complet et détaillé et 600 tests et exercices entièrement corrigés. Il renferme également beaucoup d'éléments utiles en vue de la préparation du master. Particulièrement didactique, Mathématiques L3 s'applique à faire ressortir les raisons d'être et le sens de toutes les notions introduites. La présentation des outils fondamentaux est ainsi toujours assortie d'un grand nombre d'exemples concrets et les concepts analytiques sont reliés aux questions qui les ont fait naître. Quelques éléments d'histoire des mathématiques sont présentés pour illustrer l'ensemble des idées. Tous les outils sont réunis pour faciliter la compréhension des concepts : /> de nombreux exemples illustrent le cours ; /> grâce à ses encadrés « Rappel », « Attention », « Méthode » et « Synthèse », Mathématiques L3 rappelle les notions fondamentales, souligne les pièges à éviter, récapitule la marche à suivre pour résoudre les problèmes et synthétise les sujets complexes ; /> posées au fil du texte, des questions tests incitent à une lecture active et indiquent au lecteur s'il peut poursuivre son étude ou s'il doit préalablement consolider ses connaissances ; /> enfin, Mathématiques L3 propose un entraînement sérieux en offrant un grand nombre d'exercices d'applications tous intégralement corrigés. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 196979 04-02-1078 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible 169* 04-02-1078 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible
Titre : Mathématiques, L3 : Cours complet avec 400 tests et exercices corrigés Type de document : texte imprimé Auteurs : Aviva Szpirglas, Directeur de publication Editeur : Paris : Pearson education Année de publication : 2009 Autre Editeur : 63-Clermont-Ferrand : Impr. la Source d'or Importance : 837 p. Présentation : ill., couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7440-7351-9 Note générale : Bibliogr. p. 823-824. Index. Langues : Français (fre) Index. décimale : 04-03-Algèbre Résumé : Particulièrement didactique, Mathématiques L3 s'applique à faire ressortir les raisons d'être et le sens de toutes les notions introduites. La présentation des outils fondamentaux est ainsi toujours assortie d'un grand nombre d'exemples concrets et les concepts analytiques sont reliés aux questions qui les ont fait naître. Quelques éléments d'histoire des mathématiques sont présentés pour illustrer l'ensemble des idées. Tous les outils sont réunis pour faciliter la compréhension des concepts : />- de nombreux exemples illustrent le cours ; />- grâce à ses encadrés « Rappel », « Attention », « Méthode » et « Synthèse », Mathématiques L3 rappelle les notions fondamentales, souligne les pièges à éviter, récapitule la marche à suivre pour résoudre les problèmes et synthétise les sujets complexes ; />- posées au fil du texte, des questions tests incitent à une lecture active et indiquent au lecteur s'il peut poursuivre son étude ou s'il doit préalablement consolider ses connaissances ; />- enfin, Mathématiques L3 propose un entraînement sérieux en offrant un grand nombre d'exercices d'application tous intégralement corrigés. Mathématiques, L3 : Cours complet avec 400 tests et exercices corrigés [texte imprimé] / Aviva Szpirglas, Directeur de publication . - Paris : Pearson education : 63-Clermont-Ferrand : Impr. la Source d'or, 2009 . - 837 p. : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-7440-7351-9
Bibliogr. p. 823-824. Index.
Langues : Français (fre)
Index. décimale : 04-03-Algèbre Résumé : Particulièrement didactique, Mathématiques L3 s'applique à faire ressortir les raisons d'être et le sens de toutes les notions introduites. La présentation des outils fondamentaux est ainsi toujours assortie d'un grand nombre d'exemples concrets et les concepts analytiques sont reliés aux questions qui les ont fait naître. Quelques éléments d'histoire des mathématiques sont présentés pour illustrer l'ensemble des idées. Tous les outils sont réunis pour faciliter la compréhension des concepts : />- de nombreux exemples illustrent le cours ; />- grâce à ses encadrés « Rappel », « Attention », « Méthode » et « Synthèse », Mathématiques L3 rappelle les notions fondamentales, souligne les pièges à éviter, récapitule la marche à suivre pour résoudre les problèmes et synthétise les sujets complexes ; />- posées au fil du texte, des questions tests incitent à une lecture active et indiquent au lecteur s'il peut poursuivre son étude ou s'il doit préalablement consolider ses connaissances ; />- enfin, Mathématiques L3 propose un entraînement sérieux en offrant un grand nombre d'exercices d'application tous intégralement corrigés. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 166* 04-03-1077 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible 196977 04-03-1077 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible 167** 04-03-1077 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible
Titre : Sécurité et mobilité Windows 8 : Pour les utilisateurs nomades ; UEFI, BitLocker et AppLocker, DirectAccess, VPN, SmartScreen, Windows Defender Type de document : texte imprimé Auteurs : Arnaud Jumelet, Auteur ; Stanislas Quastana, Auteur ; Pascal Saulière, Auteur Editeur : Paris : Eyrolles Année de publication : 2013 Autre Editeur : 63-Clermont-Ferrand : Impr. la Source d'or Importance : 246 p. Présentation : ill., couv. ill. en coul. Format : 23 cm. ISBN/ISSN/EAN : 978-2-212-13642-5 Note générale : Glossaire. Index. Langues : Français (fre) Index. décimale : 08-09-Internet et réseaux Résumé : Capitalisant sur le socle de Windows 7, Windows 8 s'enrichit de nouveaux mécanismes de protection visant à sécuriser les postes de travail et tablettes d'entreprise, toujours plus mobiles en raison de la perméabilité des périmètres personnel et professionnel.
Que vous soyez administrateur de postes de travail, ingénieur systèmes et réseaux ou responsable sécurité, cet ouvrage détaille les scénarios de mobilité des PC en entreprise et vous aide à prévenir les risques liés aux nouveaux postes de travail nomades et à évaluer les réponses techniques disponibles dans Windows 8.
Au programme, de nombreuses technologies comme UEFI SecureBoot, BitLocker, AppLocker, Windows To Go, les cartes à puce virtuelles, SmartScreeen, DirectAccess, les bureaux à distance...
À qui s'adresse cet ouvrage ?
Aux directeurs des systèmes d'informations (DSI) et aux responsables de la sécurité des systèmes d'information (RSSI) souhaitant limiter les risques pesant sur leurs postes de travail nomades ;
Aux ingénieurs systèmes et réseaux, consultants et architectes.Sécurité et mobilité Windows 8 : Pour les utilisateurs nomades ; UEFI, BitLocker et AppLocker, DirectAccess, VPN, SmartScreen, Windows Defender [texte imprimé] / Arnaud Jumelet, Auteur ; Stanislas Quastana, Auteur ; Pascal Saulière, Auteur . - Paris : Eyrolles : 63-Clermont-Ferrand : Impr. la Source d'or, 2013 . - 246 p. : ill., couv. ill. en coul. ; 23 cm.
ISBN : 978-2-212-13642-5
Glossaire. Index.
Langues : Français (fre)
Index. décimale : 08-09-Internet et réseaux Résumé : Capitalisant sur le socle de Windows 7, Windows 8 s'enrichit de nouveaux mécanismes de protection visant à sécuriser les postes de travail et tablettes d'entreprise, toujours plus mobiles en raison de la perméabilité des périmètres personnel et professionnel.
Que vous soyez administrateur de postes de travail, ingénieur systèmes et réseaux ou responsable sécurité, cet ouvrage détaille les scénarios de mobilité des PC en entreprise et vous aide à prévenir les risques liés aux nouveaux postes de travail nomades et à évaluer les réponses techniques disponibles dans Windows 8.
Au programme, de nombreuses technologies comme UEFI SecureBoot, BitLocker, AppLocker, Windows To Go, les cartes à puce virtuelles, SmartScreeen, DirectAccess, les bureaux à distance...
À qui s'adresse cet ouvrage ?
Aux directeurs des systèmes d'informations (DSI) et aux responsables de la sécurité des systèmes d'information (RSSI) souhaitant limiter les risques pesant sur leurs postes de travail nomades ;
Aux ingénieurs systèmes et réseaux, consultants et architectes.Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 632 08-09-2090 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible 633 08-09-2090 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible
