René Cori

René Cori Életrajz

René Cori (1949. február 4-) francia matematikus , a matematikai logika szakembere . Előadó a Paris Diderot Egyetem , igazgatója volt a Paris-Diderot -kutatási Intézet Matematika Oktatás (IREM), amíg a 2008-as , valamint a ADIREM ( Assembly of Directors IREM ) ebből 2006-os , hogy 2008 . Határozottan állást foglal 2009. január 22 a MEN és a MESR döntéseiről a tanárképzési és toborzási versenyek reformjáról a felelősségteljes szakmai gyakorlatban résztvevő hallgatók által kapott hálapénzek elítélésével .

Életrajz

René Cori és Daniel Lascar, Matematikai logika, 1. kötet: Propozíciós számítás, Boole-algebra, predikátum-számítás [ a kiadások részlete ]
René Cori és Daniel Lascar, Matematikai logika, 2. kötet: Rekurzív függvények, Gödel-tétel, halmazelmélet, modellelmélet [ a kiadások részlete ]
en) René Cori, Daniel Lascar és Donald Pelletier, Matematikai logika: Tanfolyam gyakorlatokkal: I. rész: Propozíciós számítás, Boole-algebrasok, predikátum-számítás, teljességi tételek , Párizs, Oxford University Press ,2000, 360 p. ( ISBN 978-0-19-850049-0 )
(en) René Cori, Daniel Lascar et Donald Pelletier, Matematikai logika: Tanfolyam gyakorlatokkal: II. rész: Rekurziós elmélet, Gödel-tételek, Halmazelmélet, Modellelmélet , Párizs, Oxford University Press ,2001, 352 p. ( ISBN 978-0-19-850051-3 , online olvasás )
(en) René Cori, Alexander Razborov , Stevo Todorčević et Carol Wood, Logic Colloquium 2000: A Szimbolikus Logika Egyesületének éves európai nyári találkozója , Párizsban, 2000. július 23-31. , Párizs, AK Peters ,2005, 424 p. ( ISBN 978-1-56881-251-9 )
en) Jean-Louis Krivine , René Cori, Lambda-Calculus, típusok és modellek , Ellis Horwood Ltd,1993, 192 o. ( ISBN 978-0-13-062407-9 )