Logique Mathématique et Théorie des Ensembles
Historique des séances
10 July 2013 - 13:30Jean Malgoire
Forcing 2
01 July 2013 - 13:30
Jean Malgoire
Forcing 1
17 June 2013 - 13:30
Jean Malgoire
Introduction au forcing
07 June 2012 - 13:45
David Théret
Ensembles constructibles : hypothèse du continu généralisée.
31 May 2012 - 13:45
David Théret
Schéma de réflexion
24 May 2012 - 13:45
David Théret
Ensembles constructibles : définition et propriétés
17 May 2012 - 13:45
David Théret
Parties définissables
26 April 2012 - 13:45
David Théret
Cardinaux inaccessibles, modèles de ZFC
19 April 2012 - 13:45
David Théret
Arithmétique ordinale : somme, produit, puissance. Suites de Goodstein.
05 April 2012 - 13:45
David Théret
Axiome de remplacement, application aux ordinaux, arithmétique ordinale (début).
22 March 2012 - 13:45
David Théret
Ordinaux (suite)
15 March 2012 - 13:45
David Théret
Théorie des ensembles : ordinaux (II).
08 March 2012 - 13:45
David Théret
Théorie des ensembles : ordinaux.
01 March 2012 - 14:00
Viviane Durand-Guerrier
Tarski et la théorie des modèles : un éclairage épistémologique
16 February 2012 -
Julianna Zsido
Introduction au lambda-calcul
09 February 2012 - 14:00
Jean Malgoire
Deuxième théorème d'incomplétude de Gödel (fin)
02 February 2012 - 14:00
Jean Malgoire
Deuxième théorème d'incomplétude de Gödel
26 January 2012 - 14:00
René Cori
Introduction à la théorie des modèles
19 January 2012 - 14:00
Sylvain Maillot
Fonctions récursives.
12 January 2012 - 14:00
Sylvain Maillot
Fonctions récursives : fonction d'Ackermann
05 January 2012 - 14:00
Sylvain Maillot
Fonctions récursives
22 December 2011 - 14:00
Jean Malgoire
Théorème d'incomplétude de Gödel (fin)
15 December 2011 - 14:00
Jean Malgoire
Théorème d'incomplétude de Gödel (suite)
08 December 2011 - 14:00
Jean Malgoire
Théorème d'incomplétude de Gödel (suite)
01 December 2011 - 14:00
Jean Malgoire
Théorème d'incomplétude de Gödel (suite)
07 June 2011 - 9:45
Constantin Vernicos
Logique du 1er ordre III
24 May 2011 - 9:45
Constantin Vernicos
Logique du 1er ordre II
17 May 2011 - 9:45
Constantin Vernicos
Logique du 1er ordre I
19 April 2011 - 9:45
David Théret
Logique propositionnelle III
12 April 2011 - 9:45
David Théret
Logique Propositionnelle II
05 April 2011 - 9:45
David Théret
Logique Propositionnelle I
29 March 2011 - 9:45
David Théret
Origines et problèmes de la Logique Mathématique