Page d'accueil

Coordonnées

Adresse postale

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

Bureau

bureau 5A29, sur le site Chevaleret, 175 rue du Chevaleret/16 rue Clisson, Paris 13ème

Téléphone

01 57 27 92 57 nouveau numéro depuis le 30 aôut 2010, l'ancien en 01 44 27 ... ne fonctionne plus

Adresse électronique

Nom : roziere
Domaine : pps.univ-paris-diderot.fr

Règles admissibles

Enseignements 2011-2012

Premier semestre

• Logique du second ordre et forcing.
• Cryptographie symétrique et complexité.
• Principes de fonctionnements des machines binaires.

Quelques anciens enseignements

Enseignements 2010-2011

• Théorie des ensembles (TD M1).

Enseignements 2008-2009 et 2009-2010

• Calculabilité et incomplétude (M2).
• Logique et théorie des ensembles (licence).

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 16/05/2012, 21:08:41 CEST)