Détail d'une collection
|
|
Documents disponibles dans la collection (5)
Affiner la recherche Interroger des sources externes
Titre : Algèbre linéaire dans Rn : théorie, algorithmes et complexité Type de document : texte imprimé Auteurs : Salim Haddadi, Auteur Editeur : Paris : Hermès science publications-Lavoisier Année de publication : 2012 Collection : Collection Informatique Importance : 301 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-3907-4 Note générale : Bibliogr. p. 295-297. index Langues : Français (fre) Mots-clés : Matrices Algèbre linéaire Espace vectoriel Index. décimale : 512 Résumé : La quatrième de couverture indique : "L'algèbre linéaire permet de résoudre les équations dites linéaires utilisées en mathématiques, en informatique, en mécanique, en sciences naturelles ou en sciences sociales. Du point de vue de l'informaticien, la résolution passe par l'ordinateur. Or, ce dernier ne peut pas tout faire. Il y a des limites d'ordre qualitatives et quantitatives que la machine ne peut dépasser, et d'autres qu'elle ne peut franchir que dans un temps excessivement long. Cet ouvrage théorique et pratique expose tour à tour : les matrices et leurs opérations ; l'espace vectoriel Rn ; l'espace vectoriel Rn muni du produit scalaire ; les systèmes d'équations linéaires ; les transformations linéaires, les valeurs et vecteurs propres. Il contient également un chapitre spécifique sur la complexité théorique des problèmes posés en algèbre linéaire (résolution d'un système d'équations linéaires, calcul de l'inverse d'une matrice, du déterminant, du rang, etc.) ainsi qu'une annexe introduisant la théorie de la complexité. Algèbre linéaire dans Rn tire son originalité de la présentation des grands concepts de l'algèbre linéaire et ceux de l'algorithmique et de l'informatique théorique. L'auteur Salim Haddadi est professeur en recherche opérationnelle. Ses recherches portent sur l'optimisation combinatoire et la théorie de la complexité." Algèbre linéaire dans Rn : théorie, algorithmes et complexité [texte imprimé] / Salim Haddadi, Auteur . - Paris : Hermès science publications-Lavoisier, 2012 . - 301 p. ; 24 cm. - (Collection Informatique) .
ISBN : 978-2-7462-3907-4
Bibliogr. p. 295-297. index
Langues : Français (fre)
Mots-clés : Matrices Algèbre linéaire Espace vectoriel Index. décimale : 512 Résumé : La quatrième de couverture indique : "L'algèbre linéaire permet de résoudre les équations dites linéaires utilisées en mathématiques, en informatique, en mécanique, en sciences naturelles ou en sciences sociales. Du point de vue de l'informaticien, la résolution passe par l'ordinateur. Or, ce dernier ne peut pas tout faire. Il y a des limites d'ordre qualitatives et quantitatives que la machine ne peut dépasser, et d'autres qu'elle ne peut franchir que dans un temps excessivement long. Cet ouvrage théorique et pratique expose tour à tour : les matrices et leurs opérations ; l'espace vectoriel Rn ; l'espace vectoriel Rn muni du produit scalaire ; les systèmes d'équations linéaires ; les transformations linéaires, les valeurs et vecteurs propres. Il contient également un chapitre spécifique sur la complexité théorique des problèmes posés en algèbre linéaire (résolution d'un système d'équations linéaires, calcul de l'inverse d'une matrice, du déterminant, du rang, etc.) ainsi qu'une annexe introduisant la théorie de la complexité. Algèbre linéaire dans Rn tire son originalité de la présentation des grands concepts de l'algèbre linéaire et ceux de l'algorithmique et de l'informatique théorique. L'auteur Salim Haddadi est professeur en recherche opérationnelle. Ses recherches portent sur l'optimisation combinatoire et la théorie de la complexité." Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 510/251-1 510/251-1 Périodique Bibliothèque Centrale indéterminé Disponible 510/251-2 510/251-2 Périodique Bibliothèque Centrale indéterminé Disponible 510/251-3 510/251-3 Périodique Bibliothèque Centrale indéterminé Disponible
Titre : Courbes elliptiques : une présentation élémentaire pour la cryptographie Type de document : texte imprimé Auteurs : Philippe Guillot, Auteur Editeur : Paris : Hermès science publications-Lavoisier Année de publication : impr. 2010 Collection : Collection Informatique Importance : 1 vol. (267 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-2392-9 Note générale : Bibliogr. p. 263. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Cryptographie Courbes elliptiques Résumé : Cet ouvrage propose une introduction aux courbes elliptiques pour la cryptographie. Il décrit leur utilisation pour la protection de l'information et présente les développements les plus récents, en particulier la cryptographie bilinéaire, rendant des services de sécurité avancés comme le chiffrement avec l'identité. Cette approche didactique de la géométrie algébrique est accessible aux étudiants en mathématiques qui trouveront dans l'ouvrage courbes elliptiques les démonstrations de tous les résultats. Les cryptologues y puiseront les éléments et les algorithmes nécessaires aux réalisations les plus sûres et les plus efficaces de cryptographie elliptique. Courbes elliptiques : une présentation élémentaire pour la cryptographie [texte imprimé] / Philippe Guillot, Auteur . - Paris : Hermès science publications-Lavoisier, impr. 2010 . - 1 vol. (267 p.) ; 24 cm. - (Collection Informatique) .
ISBN : 978-2-7462-2392-9
Bibliogr. p. 263. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Cryptographie Courbes elliptiques Résumé : Cet ouvrage propose une introduction aux courbes elliptiques pour la cryptographie. Il décrit leur utilisation pour la protection de l'information et présente les développements les plus récents, en particulier la cryptographie bilinéaire, rendant des services de sécurité avancés comme le chiffrement avec l'identité. Cette approche didactique de la géométrie algébrique est accessible aux étudiants en mathématiques qui trouveront dans l'ouvrage courbes elliptiques les démonstrations de tous les résultats. Les cryptologues y puiseront les éléments et les algorithmes nécessaires aux réalisations les plus sûres et les plus efficaces de cryptographie elliptique. Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité m8/2796--1 m8/2796 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2796--2 m8/2796 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2796--3 m8/2796 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2796--4 m8/2796 Périodique Mathématiques et 'informatique indéterminé Disponible
Titre : Dialogue homme-machine : conception et enjeux Type de document : texte imprimé Auteurs : Frédéric Landragin, Auteur Editeur : Paris : Hermès science publications-Lavoisier Année de publication : DL 2013 Collection : Collection Informatique Importance : 1 vol. (210 p.) Format : 24 cm ISBN/ISSN/EAN : 978274624522 Note générale : Bibliogr. p. 193-202. Index Langues : Français (fre) Mots-clés : Interaction homme-ordinateur Traitement automatique du langage naturel Dialogue homme-machine : conception et enjeux [texte imprimé] / Frédéric Landragin, Auteur . - Paris : Hermès science publications-Lavoisier, DL 2013 . - 1 vol. (210 p.) ; 24 cm. - (Collection Informatique) .
ISSN : 978274624522
Bibliogr. p. 193-202. Index
Langues : Français (fre)
Mots-clés : Interaction homme-ordinateur Traitement automatique du langage naturel Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Logique pour l'informatique et pour l'intelligence artificielle Type de document : texte imprimé Auteurs : Ricardo Caferra, Auteur Editeur : Paris : Hermès science publications-Lavoisier Année de publication : cop. 2011 Collection : Collection Informatique Importance : 1 vol. (424 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-2600-5 Note générale : index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Intelligence artificielle Logique Informatique Résumé : La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions. Logique pour l'informatique et pour l'intelligence artificielle [texte imprimé] / Ricardo Caferra, Auteur . - Paris : Hermès science publications-Lavoisier, cop. 2011 . - 1 vol. (424 p.) ; 24 cm. - (Collection Informatique) .
ISBN : 978-2-7462-2600-5
index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Intelligence artificielle Logique Informatique Résumé : La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité m8/2647--1 m8/2647 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2647--2 m8/2647 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2647--3 m8/2647 Périodique Mathématiques et 'informatique indéterminé Disponible
Titre : Logique(s), langages formels et complexité pour l'informatique Type de document : texte imprimé Auteurs : Narendra Jussien, Auteur Editeur : Paris : Hermès science publications-Lavoisier Année de publication : impr. 2006 Collection : Collection Informatique Importance : 1 vol. (313 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1395-1 Note générale : Bibliogr. p. 301-303. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Logique symbolique et mathématique Problèmes et exercices Langages formels Problèmes et exercices Complexité de calcul (informatique) Problèmes et exercices Résumé : Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés. Logique(s), langages formels et complexité pour l'informatique [texte imprimé] / Narendra Jussien, Auteur . - Paris : Hermès science publications-Lavoisier, impr. 2006 . - 1 vol. (313 p.) : ill. ; 24 cm. - (Collection Informatique) .
ISBN : 978-2-7462-1395-1
Bibliogr. p. 301-303. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Logique symbolique et mathématique Problèmes et exercices Langages formels Problèmes et exercices Complexité de calcul (informatique) Problèmes et exercices Résumé : Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés. Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité m8/2588--1 m8/2588 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2588--2 m8/2588 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2588--3 m8/2588 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2588--4 m8/2588 Périodique Mathématiques et 'informatique indéterminé Disponible
