Voici la liste des séances :
Logique Mathématique et Théorie des Ensembles
Descriptif
10 juillet 2013 à 13:30
Malgoire Jean - Université de Montpellier
01 juillet 2013 à 13:30
Malgoire Jean - Université de Montpellier
17 juin 2013 à 13:30
Malgoire Jean - Université de Montpellier
07 juin 2012 à 13:45
Théret David - Université Montpellier II
Ensembles constructibles : hypothèse du continu généralisée.
31 mai 2012 à 13:45
Théret David - Université Montpellier II
24 mai 2012 à 13:45
Théret David - Université Montpellier II
Ensembles constructibles : définition et propriétés
17 mai 2012 à 13:45
Théret David - Université Montpellier II
26 avril 2012 à 13:45
Théret David - Université Montpellier II
Cardinaux inaccessibles, modèles de ZFC
19 avril 2012 à 13:45
Théret David - Université Montpellier II
Arithmétique ordinale : somme, produit, puissance. Suites de Goodstein.
05 avril 2012 à 13:45
Théret David - Université Montpellier II
Axiome de remplacement, application aux ordinaux, arithmétique ordinale (début).
22 mars 2012 à 13:45
Théret David - Université Montpellier II
15 mars 2012 à 13:45
Théret David - Université Montpellier II
Théorie des ensembles : ordinaux (II).
08 mars 2012 à 13:45
Théret David - Université Montpellier II
Théorie des ensembles : ordinaux.
01 mars 2012 à 14:00
Durand-Guerrier Viviane - Université de Montpellier
Tarski et la théorie des modèles : un éclairage épistémologique
16 février 2012 à
Zsido Julianna - Université Montpellier 2
09 février 2012 à 14:00
Malgoire Jean - Université de Montpellier
Deuxième théorème d'incomplétude de Gödel (fin)
02 février 2012 à 14:00
Malgoire Jean - Université de Montpellier
Deuxième théorème d'incomplétude de Gödel
26 janvier 2012 à 14:00
Cori René - Université Paris 7 Denis Diderot
Introduction à la théorie des modèles
19 janvier 2012 à 14:00
Maillot Sylvain - Université Montpellier 2
12 janvier 2012 à 14:00
Maillot Sylvain - Université Montpellier 2
Fonctions récursives : fonction d'Ackermann
05 janvier 2012 à 14:00
Maillot Sylvain - Université Montpellier 2
22 décembre 2011 à 14:00
Malgoire Jean - Université de Montpellier
Théorème d'incomplétude de Gödel (fin)
15 décembre 2011 à 14:00
Malgoire Jean - Université de Montpellier
Théorème d'incomplétude de Gödel (suite)
08 décembre 2011 à 14:00
Malgoire Jean - Université de Montpellier
Théorème d'incomplétude de Gödel (suite)
01 décembre 2011 à 14:00
Malgoire Jean - Université de Montpellier
Théorème d'incomplétude de Gödel (suite)
07 juin 2011 à 9:45
Vernicos Constantin - Université Montpellier II
24 mai 2011 à 9:45
Vernicos Constantin - Université Montpellier II
17 mai 2011 à 9:45
Vernicos Constantin - Université Montpellier II
19 avril 2011 à 9:45
Théret David - Université Montpellier II
12 avril 2011 à 9:45
Théret David - Université Montpellier II
05 avril 2011 à 9:45
Théret David - Université Montpellier II
29 mars 2011 à 9:45
Théret David - Université Montpellier II
Origines et problèmes de la Logique Mathématique
Retour En haut