René Cori
René Cori
René Cori (4 februarie 1949-) este matematician francez , specialist în logică matematică . Lector la Universitatea Paris Diderot , a fost director al Institutului Paris-Diderot pentru Cercetarea Educației Matematice (IREM) până în 2008, precum și al ADIREM ( Adunarea Directorilor IREM ) din 2006 până în 2008 . El ia o poziție fermă22 ianuarie 2009privind deciziile MEN și MESR privind reforma concursurilor de formare și recrutare a cadrelor didactice prin denunțarea gratuităților primite de studenți în stagiu de responsabilitate.
Biografie
Lucrări
Publicații
- René Cori și Daniel Lascar, Logică matematică, volumul 1: Calcul propozițional, algebră booleană, calcul predicat [ detaliu ediții ]
- René Cori și Daniel Lascar, Logica matematică, volumul 2: Funcții recursive, teorema lui Gödel, teoria mulțimilor, teoria modelelor [ detaliul edițiilor ]
- (ro) René Cori, Daniel Lascar și Donald Pelletier, Mathematical Logic: A Course With Exercises: Part I: Propositional Calculus, Boolean Algebras, Predicate Calcul, Completeness Theorems , Paris, Oxford University Press ,2000, 360 p. ( ISBN 978-0-19-850049-0 )
- (ro) René Cori, Daniel Lascar și Donald Pelletier, Logica matematică: un curs cu exerciții: partea II: teoria recursivității, teoremele lui Gödel, teoria seturilor, teoria modelelor , Paris, Oxford University Press ,2001, 352 p. ( ISBN 978-0-19-850051-3 , citit online )
- (ro) René Cori, Alexander Razborov , Stevo Todorčević și Carol Wood, Logic Colloquium 2000: Proceedings of the European European Meeting Meeting of the Association for Symbolic Logic, organizat la Paris, Franța, 23-31 iulie 2000 , Paris, AK Peters ,2005, 424 p. ( ISBN 978-1-56881-251-9 )
- (ro) Jean-Louis Krivine , René Cori, Lambda-Calculus, Tipuri și modele , Ellis Horwood Ltd,1993, 192 p. ( ISBN 978-0-13-062407-9 )
Note și referințe
-
Curs de logică - Note luate în cadrul cursului de logică condus de René Cori în decembrie 2009 , consultat pe www.reunion.iufm.fr pe20 aprilie 2011
-
„Bacilul corolarului și microbul reciprocului”, René Cori - CV , consultat pe www.maths-pour-tous.org pe20 aprilie 2011
-
René Cori, Portail des IREM , consultat pe www.univ-irem.fr, le17 iulie 2010
-
Declarație de poziție a René Cori, directorul IREM Paris-Diderot, președinte de ieșire al reuniunii directorilor IREM, din 2009 privind deciziile privind formarea profesorilor , consultat pe poitou-charentes.fsu.fr8 iulie 2012
Vezi și tu
Articole similare
linkuri externe