الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم

  trié(s) par (Pertinence décroissant(e), Titre croissant(e)) 

Cours de calcul formel / Philippe Saux Picart

Public ISBD Titre : Cours de calcul formel : algorithmes fondamentaux Type de document : texte imprimé Auteurs : Philippe Saux Picart, Editeur : Paris : Ellipses Année de publication : 1999 Collection : Math©matiques pour le 2e cycle, ISSN 1281-4164. num. 1999. Importance : 1 vol. (XIII-176 p.) Présentation : couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-9975-2 Prix : 140 F Langues : Français (fre) Mots-clés : algorithmique - codage et arithmétique élémentaire - anneaux factoriels et euclidiens Index. décimale : 511.8 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,  . - Paris : Ellipses, 1999 . - 1 vol. (XIII-176 p.) : couv. ill. ; 26 cm.. - (Math©matiques pour le 2e cycle, ISSN 1281-4164.; 1999.) . ISBN : 978-2-7298-9975-2 : 140 F Langues : Français (fre) Mots-clés : algorithmique - codage et arithmétique élémentaire - anneaux factoriels et euclidiens Index. décimale : 511.8 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 (7)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
116456	515-467.1	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Exclu du prêt
F2-004472	515-467.2	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Disponible
F2-004473	515-467.3	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Disponible
F2-004474	515-467.4	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Disponible
115614	515-467.5	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Disponible
115965	515-467.6	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Disponible
115966	515-467.7	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Disponible

Introduction   Scilab / Gr©goire. Allaire

Public ISBD Titre : Introduction   Scilab : exercices pratiques corrig©s d'alg¨bre lin©aire Type de document : texte imprimé Auteurs : Gr©goire. Allaire ; Sidi Mahmoud. Kaber Editeur : Paris : Ellipses Année de publication : 2002. Collection : Math©matiques pour le 2e cycle, ISSN 1281-4164. Importance : viii-226 p. Présentation : ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-1002-3 Langues : Français (fre) Mots-clés : petite introduction à sciable - instructions avancées - programmation scilab Résumé : L'enseignement des mathématiques appliquées et de l'analyse numérique utilise de plus en plus une approche expérimentale à travers des exemples de calcul sur ordinateurs. Ceci ne fait que refléter la part grandissante de la simulation numérique dans tous les domaines de la science : physique, mécanique, économie, chimie, biologie, etc. Cette approche est grandement facilitée par l'apparition récente de logiciels conviviaux et puissants de calcul numérique comme, par exemple, Scilab développé et distribué gratuitement par l'INRIA. Le but de ce livre est double. D'une part, il présente le logiciel Scilab de manière simple et auto-contenue. D'autre part, il contient des énoncés et des corrigés détaillés d'exercices pratiques d'algèbre linéaire numérique qui utilisent le logiciel Scilab. Introduction   Scilab : exercices pratiques corrig©s d'alg¨bre lin©aire [texte imprimé] / Gr©goire. Allaire ; Sidi Mahmoud. Kaber . - Paris : Ellipses, 2002. . - viii-226 p. : ill. ; 26 cm.. - (Math©matiques pour le 2e cycle, ISSN 1281-4164.) . ISBN : 978-2-7298-1002-3 Langues : Français (fre) Mots-clés : petite introduction à sciable - instructions avancées - programmation scilab Résumé : L'enseignement des mathématiques appliquées et de l'analyse numérique utilise de plus en plus une approche expérimentale à travers des exemples de calcul sur ordinateurs. Ceci ne fait que refléter la part grandissante de la simulation numérique dans tous les domaines de la science : physique, mécanique, économie, chimie, biologie, etc. Cette approche est grandement facilitée par l'apparition récente de logiciels conviviaux et puissants de calcul numérique comme, par exemple, Scilab développé et distribué gratuitement par l'INRIA. Le but de ce livre est double. D'une part, il présente le logiciel Scilab de manière simple et auto-contenue. D'autre part, il contient des énoncés et des corrigés détaillés d'exercices pratiques d'algèbre linéaire numérique qui utilisent le logiciel Scilab.

Réservation

Réserver ce document

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
F2-005021	517-069.2	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Disponible
F2-005022	517-069.3	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Disponible
F2-005023	517-069.4	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Disponible
f2-005024	517-069.5	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Disponible
CF2-003745	517-69.1	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Exclu du prêt

Logiques, ensembles, catégories / Pierre Ageron

Public ISBD Titre : Logiques, ensembles, catégories : le point de vue constructif Type de document : texte imprimé Auteurs : Pierre Ageron (1949-....), Editeur : Paris : Ellipses Année de publication : impr. 2000, cop. 2000. Collection : Math©matiques pour le 2e cycle Sous-collection : cours et exercices corrig©s. Importance : 117 p Présentation : couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-0245-5 Prix : 12,20 EUR Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Principe du tiers exclu Logique intuitionniste Ensembles Entiers naturels Axiome du choix Equipotence, subpotence Polynômes d'ensembles Théorème de Cantor Théorème de Cantor-Bernstein Simplification cardinale Finitude Réflexivité Dénombrabilité Ensembles bien ordonnés Comparaison des ensembles bien ordonnés Construction de Kruse Ordinaux Construction de Hartogs Théorème de Specker Hypothèse généralisée du continu Théorèmes de Zermelo et de König Graphes réflexifs Limites projectives Limites inductives Interversion de limites Ensembles ordonnés complets Catégories Catégories complètes Diagrammes initiaux Points fixes de fondeurs Index. décimale : 515 Résumé : Ce petit livre traite de quelques aspects des fondements des mathématiques. Il reprend un cours semestriel de maîtrise de mathématiques, enseigné à l'Université de Caen. En évitant volontairement de soulever des difficultés a priori (par exemple sur ce qu'on appelle " une proposition " ou " un ensemble "), il présente une discussion approfondie des grands postulats non constructifs des mathématiques (principe du tiers exclu et axiome du choix). Il développe ensuite la théorie élémentaire des ensembles, des ensembles ordonnés et des catégories, en mettant l'accent sur les aspects de ces théories qui ne deviennent féconds qu'en l'absence de ces postulats. L'information précise ici rassemblée sur les mathématiques constructives est difficile d'accès et en grande partie inédite en langue française : pour cette raison, ce livre d'abord conçu comme un manuel devrait aussi intéresser un large public concerné par la philosophie des mathématiques. Les aspects historiques y bénéficient d'une place importante et d'une information mise à jour. Découpé en trente brèves leçons, le cours est accompagné d'exercices corrigés. Logiques, ensembles, catégories : le point de vue constructif [texte imprimé] / Pierre Ageron (1949-....),  . - Paris : Ellipses, impr. 2000, cop. 2000. . - 117 p : couv. ill. ; 26 cm.. - (Math©matiques pour le 2e cycle. cours et exercices corrig©s.) . ISBN : 978-2-7298-0245-5 : 12,20 EUR Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Principe du tiers exclu Logique intuitionniste Ensembles Entiers naturels Axiome du choix Equipotence, subpotence Polynômes d'ensembles Théorème de Cantor Théorème de Cantor-Bernstein Simplification cardinale Finitude Réflexivité Dénombrabilité Ensembles bien ordonnés Comparaison des ensembles bien ordonnés Construction de Kruse Ordinaux Construction de Hartogs Théorème de Specker Hypothèse généralisée du continu Théorèmes de Zermelo et de König Graphes réflexifs Limites projectives Limites inductives Interversion de limites Ensembles ordonnés complets Catégories Catégories complètes Diagrammes initiaux Points fixes de fondeurs Index. décimale : 515 Résumé : Ce petit livre traite de quelques aspects des fondements des mathématiques. Il reprend un cours semestriel de maîtrise de mathématiques, enseigné à l'Université de Caen. En évitant volontairement de soulever des difficultés a priori (par exemple sur ce qu'on appelle " une proposition " ou " un ensemble "), il présente une discussion approfondie des grands postulats non constructifs des mathématiques (principe du tiers exclu et axiome du choix). Il développe ensuite la théorie élémentaire des ensembles, des ensembles ordonnés et des catégories, en mettant l'accent sur les aspects de ces théories qui ne deviennent féconds qu'en l'absence de ces postulats. L'information précise ici rassemblée sur les mathématiques constructives est difficile d'accès et en grande partie inédite en langue française : pour cette raison, ce livre d'abord conçu comme un manuel devrait aussi intéresser un large public concerné par la philosophie des mathématiques. Les aspects historiques y bénéficient d'une place importante et d'une information mise à jour. Découpé en trente brèves leçons, le cours est accompagné d'exercices corrigés.

Réservation

Réserver ce document

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
CF2-003192	515-037.1	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Exclu du prêt
F2-003139	515-037.2	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Disponible

---

1 (1 - 3 / 3)