Page d'accueil

Paul Rozière, membre de l'IRIF (équipe PPS), enseignant à l'UFR de mathématiques, Université de Paris, campus Grands Moulins (ex Université Paris Diderot -- Paris 7).

Coordonnées

Adresse postale

Paul Rozière
bâtiment Sophie Germain
8 place Aurélie Nemours, 75013
case courrier 7014
75205 PARIS Cedex

Bureau

bureau 3057
téléphone 01 57 27 92 57
(nouveau numéro depuis le 30 août 2010, l'ancien en 01 44 27 ... ne fonctionne plus)

Adresse électronique

Nom : paul.roziere
Domaine : irif.fr ou u-paris.fr (nouvelle adresse ! Inutile de doubler avec les anciennes adresses : pps.univ-paris-diderot.fr qui est voie d'abandon, ou univ-paris-diderot.fr qui renvoie sur celle-ci).

Règles admissibles

Enseignements 2020-2021

Enseignements 2019-2020

Quelques anciens enseignements

Enseignements 2017-2018

Second semestre

Premier semestre

Enseignements 2014-2015

Second semestre

Premier semestre

Enseignements 2013-2014

Second semestre

Premier semestre

Enseignements 2011-2012

Enseignements 2010-2011

Enseignements 2008-2009 et 2009-2010

Enseignement 2004-2005 et 2005-2006

Cours fondamental du M2 LMFI, calculabilité et incomplétude.

Enseignement second semestre 2002, 2003 et 2004

MT3062 : Logique et théorie des ensembles.

Le logiciel PhoX

Quelques références au sujet de l'assistant de preuves PhoX (logiciel de formalisation interactive de preuves sur machine).

DEA (2000 et 2001)

Notes de cours en théorie de la démonstration, cours optionnel du DEA de logique et fondements de l'informatique.


dernière modification : mercredi 9 septembre 2020 15:53:19 CEST