Documents disponibles écrits par cet auteur

Algèbre commutative / Henri Lombardi

Public ISBD Titre : Algèbre commutative : méthodes constructives : modules projectifs de type infini : cours et exercices Type de document : texte imprimé Auteurs : Henri Lombardi ; Claude Quitté Editeur : Paris : Calvage & Mounet Année de publication : 2011 Collection : Mathématiques en devenir num. 107 Importance : 1 vol. (XXXI-991 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-916352-21-3 Prix : 69 EUR Note générale : Bibliogr. p. 955-969. Index Langues : Français (fre) Mots-clés : Modules projectifs (algèbre)  Algèbres commutatives Index. décimale : 512.44 LOM Résumé : Fruit d'une collaboration de plus de dix ans entre deux spécialistes confirmés du domaine, ce grand traité d'algèbre commutative est sans équivalent dans la littérature mathématique. Ses auteurs, Henri Lombardi et Claude Quitté,y adoptent résolument le point de vue constructif, aujourd'hui prégnant en mathématiques. Ils privilégient les résultats explicites, si bien que tous les théorèmes proposés ont un contenu algorithmique. Plusieurs théories classiques "abstraites" sont ainsi revisitées, avec un éclairage nouveau qui en facilite l'accès. C'est le cas par exemple de la théorie de Galois, des anneaux de Dedekind, des modules projectifs de type fini ou de la théorie de la dimension de Krull, qui dans leur cadre classique ne laissent pas entrevoir un contenu algorithmique. Avec un millier de pages écrites dans un style alerte et précis et un peu plus de 320 exercices et problèmes, le plus souvent accompagnés de solutions, cet ouvrage monumental fera date et deviendra rapidement une référence incontournable. Sa publication chez les éditions Calvage & Mounet constitue un véritable événement éditorial et souligne le rôle de plus en plus reconnu de l'aspect effectif dans le développement des mathématiques contemporaines. L'ouvrage s'adresse en priorité aux étudiants et enseignants en M1 et M2. Il intéressera également les informaticiens théoriciens et les spécialistes en calcul formel. Enfin, les agrégatifs curieux y trouveront un nombre considérable d'idées nouvelles pour leurs leçons d'oral. Note de contenu : Sommaire â—¾Exemples â—¾Principe local-global de base et systèmes linéaires â—¾La méthode des coefficients indéterminés â—¾Modules de présentation finie â—¾Modules projectifs de type fini, 1 â—¾Algèbres strictement finies et algèbres galoisiennes â—¾La méthode dynamique â—¾Modules plats â—¾Anneaux locaux, ou presque â—¾Modules projectifs de type fini, 2 â—¾Treillis distributifs, groupe réticulés â—¾Anneaux de Prüfer et de Dedekind â—¾Dimension de Krull â—¾Nombre de générateurs d'un module â—¾Le principe global-local â—¾Modules projectifs étendus â—¾Théorème de stabilité de Suslin â—¾Annexe. Logique constructive Algèbre commutative : méthodes constructives : modules projectifs de type infini : cours et exercices [texte imprimé] / Henri Lombardi ; Claude Quitté . - [S.l.] : Paris : Calvage & Mounet, 2011 . - 1 vol. (XXXI-991 p.) : ill., couv. ill. en coul. ; 24 cm. - (Mathématiques en devenir; 107) . ISBN : 978-2-916352-21-3 : 69 EUR Bibliogr. p. 955-969. Index Langues : Français (fre) Mots-clés : Modules projectifs (algèbre)  Algèbres commutatives Index. décimale : 512.44 LOM Résumé : Fruit d'une collaboration de plus de dix ans entre deux spécialistes confirmés du domaine, ce grand traité d'algèbre commutative est sans équivalent dans la littérature mathématique. Ses auteurs, Henri Lombardi et Claude Quitté,y adoptent résolument le point de vue constructif, aujourd'hui prégnant en mathématiques. Ils privilégient les résultats explicites, si bien que tous les théorèmes proposés ont un contenu algorithmique. Plusieurs théories classiques "abstraites" sont ainsi revisitées, avec un éclairage nouveau qui en facilite l'accès. C'est le cas par exemple de la théorie de Galois, des anneaux de Dedekind, des modules projectifs de type fini ou de la théorie de la dimension de Krull, qui dans leur cadre classique ne laissent pas entrevoir un contenu algorithmique. Avec un millier de pages écrites dans un style alerte et précis et un peu plus de 320 exercices et problèmes, le plus souvent accompagnés de solutions, cet ouvrage monumental fera date et deviendra rapidement une référence incontournable. Sa publication chez les éditions Calvage & Mounet constitue un véritable événement éditorial et souligne le rôle de plus en plus reconnu de l'aspect effectif dans le développement des mathématiques contemporaines. L'ouvrage s'adresse en priorité aux étudiants et enseignants en M1 et M2. Il intéressera également les informaticiens théoriciens et les spécialistes en calcul formel. Enfin, les agrégatifs curieux y trouveront un nombre considérable d'idées nouvelles pour leurs leçons d'oral. Note de contenu : Sommaire â—¾Exemples â—¾Principe local-global de base et systèmes linéaires â—¾La méthode des coefficients indéterminés â—¾Modules de présentation finie â—¾Modules projectifs de type fini, 1 â—¾Algèbres strictement finies et algèbres galoisiennes â—¾La méthode dynamique â—¾Modules plats â—¾Anneaux locaux, ou presque â—¾Modules projectifs de type fini, 2 â—¾Treillis distributifs, groupe réticulés â—¾Anneaux de Prüfer et de Dedekind â—¾Dimension de Krull â—¾Nombre de générateurs d'un module â—¾Le principe global-local â—¾Modules projectifs étendus â—¾Théorème de stabilité de Suslin â—¾Annexe. Logique constructive

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
FS2013/0056-2	512.44 LOM	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Disponible
FS2013/0056-1	512.44 LOM	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Exclu du prêt

Épistémologie mathématique / Henri Lombardi

Public ISBD Titre : Épistémologie mathématique Type de document : texte imprimé Auteurs : Henri Lombardi, Auteur Editeur : Ellipses Année de publication : 2011 Collection : Références sciences Importance : 208 p Présentation : ill., couv. ill. en coul Format : 24X19 cm ISBN/ISSN/EAN : 978-2-7298-7045-4 Prix : 27,40 € Langues : Français (fre) Mots-clés : Mathématiques  Philosophie Résumé : L'épistémologie est la philosophie des sciences. L'épistémologie mathématique a pour but de réfléchir à ce que l'on fait vraiment quand on fait des mathématiques, et d'analyser le rapport entre cette pratique et la pratique des autres sciences. Les mathématiques ont une histoire, et leur histoire est toujours en cours. Aussi cet ouvrage se propose d'éclairer par l'histoire les questions soulevées. Ce cours propose une première étude de quelques questions essentielles. Qu'est-ce qu'un " objet mathématique " : un nombre entier, un nombre réel, une fonction réelle, un espace vectoriel, un espace de fonctions, un objet de nature géométrique ? Qu'est-ce qu'un " énoncé vrai " concernant un objet mathématique ? Quelles méthodes de raisonnement sont-elles vraiment légitimes ? Quelle est la nature de l'infini mathématique ? Qu'est-ce que la méthode formaliste en mathématiques ? Quelles limites le théorème d'incomplétude de Gödel impose-t-il au formalisme ? Ces questions sont abordées sous divers angles : des cours proprement dits ; des analyses de preuve ; des commentaires de textes historiques. Cet ouvrage s'adresse aux étudiants en sciences en fin de licence, et aux enseignants de sciences en lycée ou à l'université. Il ne réclame pas de connaissances mathématiques sophistiquées et propose plutôt de réfléchir sur les activités mathématiques de base, en prenant un peu de recul par rapport à la " vérité révélée " telle qu'elle est usuellement enseignée. Note de contenu : Bibliogr. p. 191-192. Index Épistémologie mathématique [texte imprimé] / Henri Lombardi, Auteur . - paris : Ellipses, 2011 . - 208 p : ill., couv. ill. en coul ; 24X19 cm. - (Références sciences) . ISBN : 978-2-7298-7045-4 : 27,40 € Langues : Français (fre) Mots-clés : Mathématiques  Philosophie Résumé : L'épistémologie est la philosophie des sciences. L'épistémologie mathématique a pour but de réfléchir à ce que l'on fait vraiment quand on fait des mathématiques, et d'analyser le rapport entre cette pratique et la pratique des autres sciences. Les mathématiques ont une histoire, et leur histoire est toujours en cours. Aussi cet ouvrage se propose d'éclairer par l'histoire les questions soulevées. Ce cours propose une première étude de quelques questions essentielles. Qu'est-ce qu'un " objet mathématique " : un nombre entier, un nombre réel, une fonction réelle, un espace vectoriel, un espace de fonctions, un objet de nature géométrique ? Qu'est-ce qu'un " énoncé vrai " concernant un objet mathématique ? Quelles méthodes de raisonnement sont-elles vraiment légitimes ? Quelle est la nature de l'infini mathématique ? Qu'est-ce que la méthode formaliste en mathématiques ? Quelles limites le théorème d'incomplétude de Gödel impose-t-il au formalisme ? Ces questions sont abordées sous divers angles : des cours proprement dits ; des analyses de preuve ; des commentaires de textes historiques. Cet ouvrage s'adresse aux étudiants en sciences en fin de licence, et aux enseignants de sciences en lycée ou à l'université. Il ne réclame pas de connaissances mathématiques sophistiquées et propose plutôt de réfléchir sur les activités mathématiques de base, en prenant un peu de recul par rapport à la " vérité révélée " telle qu'elle est usuellement enseignée. Note de contenu : Bibliogr. p. 191-192. Index

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
FS2013/0310-2	510.1 LOM	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Disponible
FS2013/0310-3	510.1 LOM	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Disponible
FS2013/0310-4	510.1 LOM	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Disponible
FS2013/0310-5	510.1 LOM	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Disponible
FS2013/0310-1	510.1 LOM	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Exclu du prêt
BC2014/6156-1	BC.04-06-080	Ouvrage	Bibliothèque Universitaire Centrale	Mathématique	Exclu du prêt
BC2014/6156-2	BC.04-06-080	Ouvrage	Bibliothèque Universitaire Centrale	Mathématique	Disponible
BC2014/6156-3	BC.04-06-080	Ouvrage	Bibliothèque Universitaire Centrale	Mathématique	Disponible

Méthodes matricielles / Jounaidi Abdeljaoued

Public ISBD Titre : Méthodes matricielles : Introduction à la complexité algébrique Type de document : texte imprimé Auteurs : Jounaidi Abdeljaoued, Auteur ; Henri Lombardi, Auteur Editeur : Berlin : Springer Année de publication : 2004 Collection : Mathématiques et applications Importance : 376p Présentation : Tableaux Format : 23.5*15.5cm ISBN/ISSN/EAN : 978-3-540-20247-9 Langues : Français (fre) Mots-clés : Méthode matricielle  complexité algébrique Résumé : Ce livre est une introduction à la théorie de la complexité algébrique basée sur un panorama des méthodes algorithmiques en algèbre linéaire exacte. Il donne en particulier les principaux algorithmes pour le calcul du polynôme caractéristique. Il donne aussi une discussion détaillée des méthodes de multiplication rapide des polynômes et des matrices, sans pour autant réclamer de prérequis théoriques de haut niveau. Tout en étant centré sur les problèmes de complexité algébrique, il aborde aussi la complexité binaire. Une place importante est accordée au parallélisme. Le livre se termine par une introduction raisonnée à l'importante théorie de Valiant concernant un analogue algébrique de la conjecture P = NP. Ce livre se remarque par l'étendue des sujets traités tout en restant très lisible. Méthodes matricielles : Introduction à la complexité algébrique [texte imprimé] / Jounaidi Abdeljaoued, Auteur ; Henri Lombardi, Auteur . - Berlin : Springer, 2004 . - 376p : Tableaux ; 23.5*15.5cm. - (Mathématiques et applications) . ISBN : 978-3-540-20247-9 Langues : Français (fre) Mots-clés : Méthode matricielle  complexité algébrique Résumé : Ce livre est une introduction à la théorie de la complexité algébrique basée sur un panorama des méthodes algorithmiques en algèbre linéaire exacte. Il donne en particulier les principaux algorithmes pour le calcul du polynôme caractéristique. Il donne aussi une discussion détaillée des méthodes de multiplication rapide des polynômes et des matrices, sans pour autant réclamer de prérequis théoriques de haut niveau. Tout en étant centré sur les problèmes de complexité algébrique, il aborde aussi la complexité binaire. Une place importante est accordée au parallélisme. Le livre se termine par une introduction raisonnée à l'importante théorie de Valiant concernant un analogue algébrique de la conjecture P = NP. Ce livre se remarque par l'étendue des sujets traités tout en restant très lisible.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
0630/1	04-11-083	Ouvrage	Bibliothèque de la Faculté de Génie Civil et d’Architecture	Mathématique	Exclu du prêt
711/3	04-11-083	Ouvrage	Bibliothèque de la Faculté de Génie Civil et d’Architecture	Mathématique	Disponible