Page d'accueil

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

Coordonnées

Adresse postale

Paul Rozière
UFR de Mathématiques
Université Paris Diderot -- Paris 7
case 7014
75205 PARIS Cedex

Bureau

bureau 3057, bâtiment Sophie Germain --- 8 place Aurélie Nemours, 75013

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 univ-paris-diderot.fr (nouvelle adresse !)

À l'attention des étudiants ou futurs étudiants qui me joigent par e-mail : les courriers envoyés des serveurs de l'université vers les adresses en @live.com, @hotmail.fr, @hotmail.com,... sont régulièrement rejetées pendant certaines périodes. Si vous utilisez une adresse de l'un de ces domaines, il est donc possible que vous ne receviez pas de réponse à vos courriers alors que je vous ai bien répondu. N'hésitez pas à utiliser une autre adresse de messagerie.

Règles admissibles

Enseignements 2017-2018

Premier semestre

Enseignements 2016-2017

Second semestre

Enseignements 2014-2015

Second semestre

Premier semestre

Enseignements 2013-2014

Second semestre

Premier semestre

Quelques anciens enseignements

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 le mercredi 05/10/2016, 12:05:35 CEST)