René Cori (4 février 1949 -- ) est un mathématicien français, spécialiste en logique mathématique. 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' (Assemblée des directeurs d'IREM) de 2006 à 2008. 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é.

Property Value
dbo:abstract
  • René Cori (4 février 1949 -- ) est un mathématicien français, spécialiste en logique mathématique. 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' (Assemblée des directeurs d'IREM) de 2006 à 2008. 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é. (fr)
  • René Cori (4 février 1949 -- ) est un mathématicien français, spécialiste en logique mathématique. 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' (Assemblée des directeurs d'IREM) de 2006 à 2008. 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é. (fr)
dbo:citizenship
dbo:occupation
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 4833826 (xsd:integer)
dbo:wikiPageLength
  • 4495 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 189007589 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1993 (xsd:integer)
  • 2000 (xsd:integer)
  • 2001 (xsd:integer)
  • 2005 (xsd:integer)
prop-fr:auteur
  • René Cori (fr)
  • Daniel Lascar (fr)
  • Donald Pelletier (fr)
  • Jean-Louis Krivine, René Cori (fr)
  • René Cori, Alexander Razborov, Stevo Todorčević et Carol Wood (fr)
  • René Cori (fr)
  • Daniel Lascar (fr)
  • Donald Pelletier (fr)
  • Jean-Louis Krivine, René Cori (fr)
  • René Cori, Alexander Razborov, Stevo Todorčević et Carol Wood (fr)
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lieu
  • Paris (fr)
  • Paris (fr)
prop-fr:lireEnLigne
prop-fr:pagesTotales
  • 192 (xsd:integer)
  • 352 (xsd:integer)
  • 360 (xsd:integer)
  • 424 (xsd:integer)
prop-fr:référence
  • Référence:Logique mathématique 1 (fr)
  • Référence:Logique mathématique 2 (fr)
  • Référence:Logique mathématique 1 (fr)
  • Référence:Logique mathématique 2 (fr)
prop-fr:titre
  • Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats (fr)
  • Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles (fr)
  • Mathematical Logic : A Course With Exercises : Part II : Recursion Theory, Gödel's Theorems, Set Theory, Model Theory (fr)
  • Lambda-Calculus, Types and Models (fr)
  • Mathematical Logic : A Course With Exercises : Part I : Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems (fr)
  • Logic Colloquium 2000 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Paris, France, July 23-31, 2000 (fr)
  • Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats (fr)
  • Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles (fr)
  • Mathematical Logic : A Course With Exercises : Part II : Recursion Theory, Gödel's Theorems, Set Theory, Model Theory (fr)
  • Lambda-Calculus, Types and Models (fr)
  • Mathematical Logic : A Course With Exercises : Part I : Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems (fr)
  • Logic Colloquium 2000 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Paris, France, July 23-31, 2000 (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
dct:subject
rdf:type
rdfs:comment
  • René Cori (4 février 1949 -- ) est un mathématicien français, spécialiste en logique mathématique. 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' (Assemblée des directeurs d'IREM) de 2006 à 2008. 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é. (fr)
  • René Cori (4 février 1949 -- ) est un mathématicien français, spécialiste en logique mathématique. 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' (Assemblée des directeurs d'IREM) de 2006 à 2008. 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é. (fr)
rdfs:label
  • René Cori (fr)
  • René Cori (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of