|
|
Enseignement
Enseignement à l'UFR de
mathématiques de l'Université Paris Diderot
M1 Codes et cryptographie 2010-11
L3 Théorie des ensembles et logique 2010-11
- Deux références:
- Peter J. Cameron. Sets, Logic and Categories.
Springer. 1998.
- Jean-Louis Krivine. Logique et théorie axiomatiques.
Polycopié dont la première partie est disponible
en téléchargement
sur la page de l'auteur.
- Feuilles de TD :
td1 (langage formel) ;
td2 (entiers) ;
td3 (denombrabilite)
- Interrogations écrites :
interro1
correction1 ;
interro2
correction2 ;
interro3 avec
correction
- Devoirs maison :
devoir2 ;
devoir 3 avec des
éléments de correction ;
devoir 4 pour le 27 avril 2011
|
|
