Bibliotheque selective





télécharger 404.21 Kb.
titreBibliotheque selective
page2/21
date de publication11.02.2018
taille404.21 Kb.
typeDocumentos
e.20-bal.com > documents > Documentos
1   2   3   4   5   6   7   8   9   ...   21


En 1992, Jean-Michel Lemaire m'avait demandé d'élaborer une bibliothèque virtuelle de mathématiques pour le Cimpa, son but étant ``de diffuser une liste d'ouvrages fondamentaux couvrant l'ensemble des mathématiques, à l'intention des mathématiciens exerçant dans les pays en voie de développement et désireux de constituer une bibliothèque "minimale" de référence''. Notons que cette bibliothèque prenait la suite d'un premier travail effectué par Jean Dieudonné en 1985-86.
L'ouverture de l'AIMS-Sénégal m'a naturellement amené à mettre à jour cette liste.

Ce travail a été possible grâce à la collaboration de nombreux collègues dont en

particulier:
Moussa Balde, Jean Bertoin, Olivier Biquard, Louis Boutet de Monvel, Jean-Benoît Bost, Antoine, Chambert-Loir, Albert Cohen, Fabienne Comte, Guiseppe Dito, Jacques Faraut, Jacques Féjoz, Christian Gilain, Grégory Ginot, Gilles Godefroy, Catherine Goldstein, Vincent Humilière, Max Karoubi, Bernhard Keller, Pierre-Vincent Koseleff, Nicolas Lerner, François Loeser, Ayman Moussa, François Murat, Jan Nekovar, Frédéric Paugam, Gilles Pisier, Patrick Polo, Geogres Skandalis, Sylvain Sorin, Michel Waldschmidt.
Et aussi grâce à l'excellent travail technique de Lauranne Chaignon et l'appui de la Bibliothèque Mathématique-Informatique Recherche de Jussieu.
Que toutes et tous en soient remerciés ici.
Lors de cette mise à jour j'ai appris que le Cimpa avait de son coté réactualisé le travail de 92 dans un document consultable à:

http://www.cimpa-icpam.org/spip.php?article284&lang=fr

Nous proposons ici une autre mise à jour de la liste de 92, sans doute complémentaire à celle du Cimpa, de nombreux titres étant évidemment communs à ces deux listes.
La liste présentée ici est le résultat de choix quelque peu arbitraires, tant par l'organisation des thèmes que les personnes interrogées et la sélection finale. La responsabilité en incombe uniquement à l'auteur de ces lignes.
Pierre Schapira

Coordinateur Aims-Sénégal/UPMC


Sommaire

LOGIQUE 5

COMBINATOIRE 7

CALCUL FORMEL 9

CATEGORIES, FAISCEAUX, ALGEBRE HOMOTOPIQUE 11

TOPOLOGIE ALGEBRIQUE, TOPOLOGIE DIFFERENTIELLE 13

K-THEORIE 16

ALGEBRE 17

THEORIE DES NOMBRES 18

GEOMETRIE ALGEBRIQUE 23

GROUPES ET ALGEBRES DE LIE 26

C*- ALGEBRES, ALGEBRES D’OPERATEURS 29

GEOMETRIE DIFFERENTIELLE 31

SYSTEMES DYNAMIQUES ET GEOMETRIE SYMPLECTIQUE 34

ANALYSE COMPLEXE, GEOMETRIE ANALYTIQUE, SINGULARITES 37

EQUATIONS AUX DERIVEES PARTIELLES LINEAIRES, D-MODULES 39

ANALYSE REELLE, ANALYSE HARMONIQUE 41

EQUATION DIFFERENTIELLE ORDINAIRE, FONCTIONS SPECIALES 43

ANALYSE FONCTIONNELLE 44

EQUATIONS AUX DERIVEES PARTIELLES NON LINEAIRES 46

PHYSIQUE MATHEMATIQUE 47

ANALYSE NUMERIQUE 49

PROBABILITES 51

STATISTIQUE 54

THEORIE DES JEUX, MATHEMATIQUES ECONOMIQUES, OPTIMISATION, CONTRÔLE 57

HISTOIRE DES MATHEMATIQUES 61

CRYPTOGRAPHIE-CODAGE 63


LOGIQUE


BARR, M. ; WELLS, C.

Toposes, triples, and theories, Grundlehren der Mathematischen Wissenschaften, 278. Springer-Verlag, 1985.

BARWISE, J.

Handbook of Mathematical logic, Studies in Logic and the Foundations of Mathematics n°90, North Holland, 1977.

BARWISE, J.

Admissible Sets and Structures - an Approach to Definability Theory, Persp. In Math. Logic, Springer-Verlag, 1975.

BARWISE, J. ; FEFERMAN, S.

Model-theoretic logics, Persp. In Math. Logic, Springer-Verlag, 1985.

CHANG, C. C. ; KEISLER, H.J.

Model Theory, North Holland, 1973.

COHEN, P. J.

Set Theory and the Continuum Hypothesis, W. A. Benjamin, 1966.

CORI, R. ; LASCAR, D.

Logique mathématique t1 & 2, Masson, 1993.

EBBINGHAUS, H. D. ; FLUM, J. ; THOMAS, W.

Mathematical Logic, UTM, Springer-Verlag, 1984.

GIRARD, J. Y. ; LAFONT, Y. ; TAYLOR, P.

Proofs and types, Cambridge Tracts in Theoretical Computer Science n°7, Cambridge University Press, 1989.

GÖDEL, K.

Collected works, Vol. I-II, Oxford University Press 1986, 1990.

HINDLEY, J. R. ; SELDIN, J-P.

Introduction to Combinatorics and [lambda]-calculus, Students texts 1, London Math. Society, 1986.

JECH, T. J.

Set Theory, Pure & Appl. Math., Academic Press, 1978.

KRIVINE, J-L.

Lambda-calcul, types et modèles, Masson, Paris 1990.

KRIVINE, J-L.

Théorie axiomatique des ensembles, Presses Universitaires de France, 1969.

KUNEN, K.

Set Theory, North Holland, 1980.

MANIN, Y.

A course in mathematical logic, Springer GTM, 53, Springer, 1977.

MARKER, D.

Model Theory : An Introduction, Springer-Verlag, 2002.

MINSKY, M.

Computation : Finite and Infinite Machines, Series in Automatic Computation, Prentice Hall, 1967.

MOSCHOVAKIS, Y. N.

Descriptive Set Theory, Studies in Logic and the Foundations of Mathematics n°100, North Holland, 1980.

PILLAY, A.

An Introduction to Stability Theory, Oxford U. Press, 1983.

POIZAT, B.

A Course in Model Theory : An Introduction to Contemporary Mathematical Logic, Springer, 2000.

ROBINSON, J. A.

Logic: Form and Function, the Mechanization of Deductive Rasoning, University Press of Edinburgh, 1979.

ROGERS, H. Jr.

Theory of Recursive Functions and Effective Computability, McGraw Hill, 1967.

SCHUTTE, K.

Proof Theory, GMW 225, Springer-Verlag, 1977.

SOARE, R. I.

Recursively Enumerable Sets and Degrees, Springer-Verlag, 1987.

STERN, J.

Fondements mathématiques de l'informatique, McGraw Hill, 1990.

TARSKI, A.

Logic, Semantics, Metamathematics, Clarendon Press, 1956.

VAN HEIJENOORT, J.

From Frege to Gödel, a Source Book in Mathematical Logic, 1879-1931, Harvard University Press, 1967.
1   2   3   4   5   6   7   8   9   ...   21

similaire:

Bibliotheque selective iconBibliographie selective Ouvrages de préparation aux concours

Bibliotheque selective iconBibliographie sélective sur l’aide aux aidants familiaux

Bibliotheque selective iconBibliographie selective «Soixantième anniversaire de la Convention...

Bibliotheque selective iconBibliotheque pour l’ eedd

Bibliotheque selective iconBibliotheque du Club de la mgen 05

Bibliotheque selective iconLittérature policière Bibliothèque de liens

Bibliotheque selective iconBibliotheque sonore de cahors et du lot

Bibliotheque selective iconReglement interieur bibliothèque du crdp (F. 411)

Bibliotheque selective iconHorizon 2019 Atelier «Bibliothèque et politique»

Bibliotheque selective iconIntitulé de la formation : presentation des ressources de la bibliotheque






Tous droits réservés. Copyright © 2016
contacts
e.20-bal.com