الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Détail d'une collection
|
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externes
Cours de calcul formel / Philippe Saux Picart
Titre : Cours de calcul formel : algorithmes fondamentaux Type de document : texte imprimé Auteurs : Philippe Saux Picart, Auteur Editeur : Paris : Ellipses Année de publication : 1999 Collection : Mathématiques pour le 2e cycle, ISSN 1281-4164 Importance : 176 p. Présentation : couv. ill. Format : 26x17 cm ISBN/ISSN/EAN : 2-7298-9975-8 Note générale : Bibliogr. p. 173-174. Index Langues : Français (fre) Mots-clés : calcul formel Algorithmes fondamentaux Index. décimale : 510 Résumé : La collection Mathématiques 2e cycle se propose de mettre à la disposition des étudiants de licence et de maîtrise de mathématiques des ouvrages couvrant l'essentiel des programmes actuels des universités françaises. Certains de ces ouvrages pourront être utiles aussi aux étudiants qui préparent le CAPES ou l'agrégation, ainsi qu'aux élèves des grandes écoles. Nous avons voulu rendre ces livres accessibles à tous : les sujets traités sont présentés de manière simple et progressive, tout en respectant scrupuleusement la rigueur mathématique. Chaque volume comporte un exposé du cours avec des démonstrations détaillées de tous les résultats essentiels et de nombreux exercices. Les auteurs de ces ouvrages ont tous une grande expérience de l'enseignement des mathématiques au niveau supérieur. Le calcul formel a connu un développement rapide durant les vingt dernières années. C'est un outil calculatoire digne d'intérêt pour tout ingénieur ou chercheur. Il fait partie des programmes de l'agrégation de mathématiques et des concours d'entrée à plusieurs grandes écoles. Aujourd'hui, des calculatrices de poche dérivent, intègrent, réalisent des calculs matriciels de manière formelle. Les algorithmes qui sous-tendent ce développement sont purement algébriques. Au travers de quelques résultats d'algèbre élémentaire, nous essayons de montrer comment l'algèbre et l'informatique sont deux disciplinés qui se fécondent l'une l'autre. Cet ouvrage n'est pas un cours d'algèbre classique : il veut sensibiliser les étudiants aux problèmes que l'on rencontre au contact des ordinateurs et veille à ce que les solutions données aux problèmes rencontrés soient réellement utilisables en pratique. La démarche suivie consiste à montrer comment construire une solution effective à un problème donné puis à en déduire un algorithme efficace. Cet algorithme sera ensuite appliqué à des exemples non triviaux dont on cherchera à évaluer la complexité. Cette approche nous semble fructueuse sur plus d'un plan : elle per- met de prendre contact avec le monde des mathématiques appliquées et d'enseigner les structures algébriques sous une forme extrêmement concrète. Par exemple, on prendra conscience de la pertinence de la notion d'anneau euclidien en voyant comment on peut effectuer des calculs identiques dans des ensembles aussi différents que les entiers de Gauss et les anneaux de polynômes sur un corps. Voilà qui simplifie les tâches et donne du sens à l'abstraction. C'est là une profonde conviction que nous désirons faire partager dans ce livre. Cours de calcul formel : algorithmes fondamentaux [texte imprimé] / Philippe Saux Picart, Auteur . - Paris : Ellipses, 1999 . - 176 p. : couv. ill. ; 26x17 cm. - (Mathématiques pour le 2e cycle, ISSN 1281-4164) .
ISBN : 2-7298-9975-8
Bibliogr. p. 173-174. Index
Langues : Français (fre)
Mots-clés : calcul formel Algorithmes fondamentaux Index. décimale : 510 Résumé : La collection Mathématiques 2e cycle se propose de mettre à la disposition des étudiants de licence et de maîtrise de mathématiques des ouvrages couvrant l'essentiel des programmes actuels des universités françaises. Certains de ces ouvrages pourront être utiles aussi aux étudiants qui préparent le CAPES ou l'agrégation, ainsi qu'aux élèves des grandes écoles. Nous avons voulu rendre ces livres accessibles à tous : les sujets traités sont présentés de manière simple et progressive, tout en respectant scrupuleusement la rigueur mathématique. Chaque volume comporte un exposé du cours avec des démonstrations détaillées de tous les résultats essentiels et de nombreux exercices. Les auteurs de ces ouvrages ont tous une grande expérience de l'enseignement des mathématiques au niveau supérieur. Le calcul formel a connu un développement rapide durant les vingt dernières années. C'est un outil calculatoire digne d'intérêt pour tout ingénieur ou chercheur. Il fait partie des programmes de l'agrégation de mathématiques et des concours d'entrée à plusieurs grandes écoles. Aujourd'hui, des calculatrices de poche dérivent, intègrent, réalisent des calculs matriciels de manière formelle. Les algorithmes qui sous-tendent ce développement sont purement algébriques. Au travers de quelques résultats d'algèbre élémentaire, nous essayons de montrer comment l'algèbre et l'informatique sont deux disciplinés qui se fécondent l'une l'autre. Cet ouvrage n'est pas un cours d'algèbre classique : il veut sensibiliser les étudiants aux problèmes que l'on rencontre au contact des ordinateurs et veille à ce que les solutions données aux problèmes rencontrés soient réellement utilisables en pratique. La démarche suivie consiste à montrer comment construire une solution effective à un problème donné puis à en déduire un algorithme efficace. Cet algorithme sera ensuite appliqué à des exemples non triviaux dont on cherchera à évaluer la complexité. Cette approche nous semble fructueuse sur plus d'un plan : elle per- met de prendre contact avec le monde des mathématiques appliquées et d'enseigner les structures algébriques sous une forme extrêmement concrète. Par exemple, on prendra conscience de la pertinence de la notion d'anneau euclidien en voyant comment on peut effectuer des calculs identiques dans des ensembles aussi différents que les entiers de Gauss et les anneaux de polynômes sur un corps. Voilà qui simplifie les tâches et donne du sens à l'abstraction. C'est là une profonde conviction que nous désirons faire partager dans ce livre. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei09519 510-77.1 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible Cours de calcul formel / Philippe Saux Picart
Titre : Cours de calcul formel : corps finis, systèmes polynomiaux, applications Type de document : texte imprimé Auteurs : Philippe Saux Picart, Auteur ; Éric Rannou (1966-....), Auteur Editeur : Paris : Ellipses Année de publication : 2002 Collection : Mathématiques pour le 2e cycle, ISSN 1281-4164 Importance : X-214 p. Présentation : ill., couv. ill. Format : 26x17 cm ISBN/ISSN/EAN : 2-7298-1025-0 Note générale : Bibliogr. p. 212. Index Langues : Français (fre) Mots-clés : Algèbre effective applications théorie des corps finis tests de primalité factorisation des polynômes introduction aux codes correcteurs et à la cryptographie Index. décimale : 510 Résumé : Algèbre effective + applications (théorie des corps finis, tests de primalité, factorisation des polynômes, introduction aux codes correcteurs et à la cryptographie. Cours de calcul formel : corps finis, systèmes polynomiaux, applications [texte imprimé] / Philippe Saux Picart, Auteur ; Éric Rannou (1966-....), Auteur . - Paris : Ellipses, 2002 . - X-214 p. : ill., couv. ill. ; 26x17 cm. - (Mathématiques pour le 2e cycle, ISSN 1281-4164) .
ISBN : 2-7298-1025-0
Bibliogr. p. 212. Index
Langues : Français (fre)
Mots-clés : Algèbre effective applications théorie des corps finis tests de primalité factorisation des polynômes introduction aux codes correcteurs et à la cryptographie Index. décimale : 510 Résumé : Algèbre effective + applications (théorie des corps finis, tests de primalité, factorisation des polynômes, introduction aux codes correcteurs et à la cryptographie. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei09517 510-67.1 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible