Bibliographie : Différence entre versions
(→Informatique) |
(→Informatique) |
||
Ligne 162 : | Ligne 162 : | ||
== Informatique == | == Informatique == | ||
+ | |||
+ | [[Autebert | Jean-Michel Autebert, ''Théorie des langages et des automates'']] | ||
[[BBC | Beauquier, Berstel, Chrétienne, ''Éléments d'algorithmique'']] | [[BBC | Beauquier, Berstel, Chrétienne, ''Éléments d'algorithmique'']] | ||
Ligne 176 : | Ligne 178 : | ||
[[DNR | David, Nour, Raffalli, ''Introduction à la logique : théorie de la démonstration'']] | [[DNR | David, Nour, Raffalli, ''Introduction à la logique : théorie de la démonstration'']] | ||
+ | |||
+ | [[Girard-Turing | Girard, Turing, ''La machine de Turing'']] | ||
+ | |||
+ | [[Lassaigne-Rougemont | Lassaigne, Rougemont, ''Logique et fondements de l'informatique : Logique du 1er ordre, calculabilité et lambda-calcul'']] | ||
[[Sakarovitch | Jacques Sakarovitch, ''Éléments de théorie des automates'']] | [[Sakarovitch | Jacques Sakarovitch, ''Éléments de théorie des automates'']] | ||
[[Sipser | Michael Sipser, ''Introduction to the theory of conputation'']] | [[Sipser | Michael Sipser, ''Introduction to the theory of conputation'']] | ||
+ | |||
+ | [[Stern | Jacques Stern, ''Fondements mathématiques de l'informatique'']] | ||
+ | |||
+ | [[Wolper | Pierre Wolper, ''Introduction à la calculabilité'']] |
Version du 4 février 2019 à 23:10
Algèbre et géométrie
Michel Alessandri, Thèmes de géométrie
Pierre Burg, Algèbre et géométrie
Josette Calais, Éléments de théorie des groupes
Josette Calais, Éléments de théorie des anneaux
Josette Calais, Extensions de corps
Caldero, Germoni, Nouvelles histoires hédonistes de groupes et de géométries
Antoine Chambert-Loir, Algèbre corporelle
François Combes, Algèbre et géométrie
Jean Delcourt, Théorie des groupes
Michel Demazure, Cours d'algèbre : primalité, divisibilité, codes
Clément de Seguins Pazzis, Invitation aux formes quadratiques
Fulton, Harris, Representation Theory
Yvan Gozard, Théorie de Galois
Bruno Ingrao, Coniques projectives, affines et métriques
Yves Ladegaillerie, Géométrie affine, projective, euclidienne et anallagmatique
Lidl, Niederreiter, Introduction to finite fields and their applications
Marie-Paule Malliavin, Les groupes finis et leurs représentations complexes
Mansuy, Mneimné, Algèbre linéaire : Réduction des endomorphismes
Dany-Jack Mercier, Cours de géométrie
Jean Yves Mérindol, Nombres et algèbre
Melvyn Nathanson, Elementary methods in number theory
Daniel Perrin, Cours d'algèbre
Gabriel Peyré, L'algèbre discrète de la transformée de Fourier
Jean-Pierre Serre, Cours d'arithmétique
Jean Pierre Serre, Représentations linéaires des groupes finis
Aviva Szpirglas, Mathématiques L3 Algèbre
Patrice Tauvel, Corps commutatifs et théorie de Galois
Felix Ulmer, Théorie des groupes
Analyse et probabilités
Amar, Matheron, Analyse complexe
Emil Artin, The Gamma Function
Jean-Michel Bony, Distributions et analyse de Fourier
Haïm Brézis, Analyse fonctionnelle
Briane, Pagès, Théorie de l'intégration
Bernard Candelpergher, Calcul intégral
Philippe Ciarlet, Introduction à l'analyse numérique matricielle et à l'optimisation
Dym, McKean, Fourier series and integrals
Jean-Pierre Demailly, Analyse numérique et équations différentielles
Foata, Fuchs, Processus stochastiques
Foata, Fuchs, Calcul des Probabilités
Garet, Kurtzmann, De l'intégration aux Probabilités
Bernard Gostiaux, Géométrie : arcs et nappes
Hirsch, Lacombe, Éléments d'analyse fonctionnelle
Jacques Lafontaine, Introduction aux variétés différentielles
Jean-Yves Ouvrard, Probabilités
Alain Pommellet, Cours d'analyse
Queffélec, Queffélec, Analyse complexe
Queffélec, Zuily, Analyse pour l'agrégation
Jean-Étienne Rombaldi, Éléments d'analyse réelle
Jean-Étienne Rombaldi, Exercices et problèmes corrigés pour l'agrégation de mathématiques
François Rouvière, Petit guide de calcul différentiel
François Rouvière, Initiation à la géométrie de Riemann
Walter Rudin, Analyse réelle et complexe
Walter Rudin, Real and complex analysis
Frédéric Testard, Analyse mathématique : la maîtrise de l'implicite
Inclassables
Arnaudiès, Fraysse, Cours de mathématiques
Beck, Malick, Peyré, Objectif agrégation
Pierre Colmez, Éléments d'analyse et d'algèbre
Francinou, Gianella, Nicolas, Oraux X-ENS
Bertrand Hauchecorne, Les contre-exemples en mathématiques
Bertrand Hauchecorne, Les mots et les maths
Hauchecorne, Suratteau, Des mathématiciens de A à Z
Mneimné, Testard, Introduction à la théorie des groupes de Lie classiques
Ivan Nourdin, Agrégation de mathématique, épreuve orale
Ramis, Warusfel, Moulin, Cours de mathématiques pures et appliquées
Informatique
Jean-Michel Autebert, Théorie des langages et des automates
Beauquier, Berstel, Chrétienne, Éléments d'algorithmique
Mordechai Ben-Ari, Mathematical logic for computer science
Olivier Carton, Langages formels, calculabitilité et complexité
Cori, Lascar, Logique mathématique tomes 1 et 2
Cormen, Leiserson, Rivest, Stein, Algorithmique
Dasgupta, Papadimitriou, Vazirani, Algorithms
David, Nour, Raffalli, Introduction à la logique : théorie de la démonstration
Girard, Turing, La machine de Turing
Jacques Sakarovitch, Éléments de théorie des automates
Michael Sipser, Introduction to the theory of conputation