René Cori

René Cori
Page d'aide sur l'homonymie Pour les articles homonymes, voir Cori.

René Cori est un mathématicien français, spécialiste en logique mathématique[1],[2]. Maître de conférences à l'Université Paris Diderot, il a été directeur de l'Institut de recherche sur l'enseignement des mathématiques Paris-Diderot (IREM) jusqu'en 2008 ainsi que de l'ADIREM (Assemblée des directeurs d'IREM) de 2006 à 2008[3]. Il prend fermement position le 22 janvier 2009 sur les décisions du MEN et du MESR sur la réforme de la formation des maîtres et des concours de recrutement en dénonçant les gratifications perçues par les étudiants en stage de responsabilité[4].

Sommaire

Publications

  • René Cori, Daniel Lascar et Jean-Louis Krivine, Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats [détail des éditions] 
  • René Cori, Daniel Lascar et Jean-Louis Krivine, Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles [détail des éditions] 
  • René Cori, Daniel Lascar et Donald Pelletier, Mathematical Logic: A Course With Exercises : Part I - Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems, Paris, Oxford University Press, 2000, 360 p. (ISBN 9780198500490) 
  • (en) René Cori, Daniel Lascar et Donald Pelletier, Mathematical Logic: A Course With Exercises : Part II - Recursion Theory, Gödel's Theorems, Set Theory, Model Theory, Paris, Oxford University Press, 2001, 352 p. (ISBN 9780198500513) 
  • (en) René Cori, Alexander Razborov, Stevo Todorčević et Carol Wood, Logic Colloquium 2000: Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Paris, France, July 23-31, 2000, Paris, A K Peters, 2005, 424 p. (ISBN 9781568812519) 
  • (en) Jean-Louis Krivine, René Cori, Lambda-Calculus, Types and Models, Ellis Horwood Ltd, 1993, 192 p. (ISBN 9780130624079) 

Voir aussi

Liens internes

Liens externes

Notes et références


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article René Cori de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Cori — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Personnes Carl Ferdinand Cori Gerty Theresa Cori René Cori Thomas de Cori Autres Cori (Italie) Cori le Moussaillon Cycle de Cori …   Wikipédia en Français

  • René Laurentin — in Italie L abbé René Laurentin est né le 19 octobre 1917 à Tours (France). Théologien, exégète, historien, spécialiste notamment des apparitions mariales, il fut longtemps chroniqueur religieux au « Figaro ». Il a écrit de nombreux… …   Wikipédia en Français

  • Rene Laurentin — René Laurentin L abbé René Laurentin est né le 19 octobre 1917 à Tours (France). Théologien, exégète, historien, spécialiste notamment des apparitions mariales, il fut longtemps chroniqueur religieux au « Figaro ». Il a écrit de… …   Wikipédia en Français

  • Abbé René Laurentin — René Laurentin L abbé René Laurentin est né le 19 octobre 1917 à Tours (France). Théologien, exégète, historien, spécialiste notamment des apparitions mariales, il fut longtemps chroniqueur religieux au « Figaro ». Il a écrit de… …   Wikipédia en Français

  • Algèbre de Boole (structure) — Pour les articles homonymes, voir « Algèbre de Boole ». En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique. Une algèbre de Boole peut être… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Logique mathématique — La logique mathématique, ou logique formelle, est une discipline des mathématiques introduite à la fin du XIXe siècle et qui s est donnée comme objet l étude des mathématiques en tant que langage. Les objets fondamentaux de la logique… …   Wikipédia en Français

  • Aleph (nombre) — Pour les articles homonymes, voir Aleph. En théorie des ensembles, les alephs sont les cardinaux des ensembles infinis bien ordonnés. En quelque sorte, le cardinal d un ensemble représente sa « taille », indépendamment de toute… …   Wikipédia en Français

  • Signature (algèbre) — Pour les articles homonymes, voir Signature (homonymie). En calcul des prédicats et en algèbre universelle, une signature est une liste de symboles de constante, fonction et de relation, chacun ayant une arité, qui est un entier naturel indiquant …   Wikipédia en Français

  • Cardinal inaccessible — En mathématiques, et plus précisément en théorie des ensembles, un cardinal inaccessible est un cardinal ne pouvant être construit à partir de cardinaux plus petits à l aide des axiomes de ZFC ; cette propriété fait qu un cardinal… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”