René Cori

René Cori Elämäkerta

René Cori (4. helmikuuta 1949-) on ranskalainen matemaatikko , matemaattisen logiikan asiantuntija . Luennoitsija Paris Diderot yliopistossa , hän oli johtaja Pariisin Diderot tutkimusinstituutti Mathematics Education (IREM), kunnes 2008 sekä annettu ADIREM ( yleiskokouksen johtajien IREM ) FROM 2006 kohteeseen 2008 . Hän ottaa lujan kannan 22. tammikuuta 2009koskevat päätökset MEN ja MESR on uudistamisesta opettajakoulutuksen ja rekrytointikilpailuihin irtisanomalla juomarahat saama opiskelijoiden työharjoittelu vastuun.

Elämäkerta

René Cori ja Daniel Lascar, Matemaattinen logiikka, osa 1: Propulition calculus, Boolen algebra, predicate calculus [ yksityiskohtainen painos ]
René Cori ja Daniel Lascar, Matemaattinen logiikka, 2. osa: Rekursiiviset funktiot, Gödelin lause, joukko-teoria, malliteoria [ yksityiskohdat painoksista ]
(en) René Cori, Daniel Lascar ja Donald Pelletier, Matemaattinen logiikka: Kurssi harjoituksia: Osa I: propositiologiikka, Boolen Algebras, predikaattikalkyylin, Täydellisyys Teoreemat , Pariisi, Oxford University Press ,2000, 360 Sivumäärä ( ISBN 978-0-19-850049-0 )
(en) René Cori, Daniel Lascar et Donald Pelletier, Matemaattinen logiikka: Kurssi harjoituksilla: Osa II: Rekursioteoria, Gödelin lauseet, Sarjateoria, Malliteoria , Pariisi, Oxford University Press ,2001, 352 Sivumäärä ( ISBN 978-0-19-850051-3 , lue verkossa )
(en) René Cori, Alexander Razborov , Stevo Todorčević et Carol Wood, Logic Colloquium 2000: Symbolic Logic Associationin vuosittaisen eurooppalaisen kesäkokouksen kokoukset, pidetty Pariisissa, Ranskassa 23.-31.7.2000 , Pariisi, AK Peters ,2005, 424 Sivumäärä ( ISBN 978-1-56881-251-9 )
(en) Jean-Louis Krivine , René Cori, Lambda-Calculus, tyypit ja mallit , Ellis Horwood Ltd,1993, 192 Sivumäärä ( ISBN 978-0-13-062407-9 )