Bibliographie : Différence entre versions

De AgregmathKL
Aller à : navigation, rechercher
(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

Michèle Audin, 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

Cox, Galois Theory

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

Rémi Goblot, Algèbre Linéaire

Yvan Gozard, Théorie de Galois

Xavier Gourdon, Algèbre

Hindry, Arithmétique

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

Mneimné, Réduction des endomorphismes : Tableaux de Young, Cône nilpotent, Représentations des algèbres de Lie semi-simples

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

Steven Roman, Field Theory

Denis Serre, Les matrices

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

Barbé, Ledoux, Probabilité

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

Jean Combes, Suites et séries

James Dugundji, Topology

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

Xavier Gourdon, Analyse

Hirsch, Lacombe, Éléments d'analyse fonctionnelle

John Kelley, General topology

Jacques Lafontaine, Introduction aux variétés différentielles

Jean-Yves Ouvrard, Probabilités

Alain Pommellet, Cours d'analyse

Hervé Queffélec, Topologie

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

Lassaigne, Rougemont, Logique et fondements de l'informatique : Logique du 1er ordre, calculabilité et lambda-calcul

Jacques Sakarovitch, Éléments de théorie des automates

Michael Sipser, Introduction to the theory of conputation

Jacques Stern, Fondements mathématiques de l'informatique

Pierre Wolper, Introduction à la calculabilité