Informations concernant le
« Diplôme d'Etudes Approfondies en Mathématiques »
 2000-2001

Résumé de la section Logique Mathématique

Cours

Titulaire : G. Hansoul (Ulg)

Titre : Topologie & algèbre Booléennes

Résumé :

1) Dualité de Stone pour les algèbres de Boole
2) Le cas dénombrable : critère d'isomorphie de Vaught
3) Application aux algèbres de formules
4) Extension à des logiques non classiques

Durée : 30h - Quadrimestre : 1

Lieu, date et heure du premier cours : ULg, Institut de Mathématique (B37) Sart Tilman.

Titulaires : C. Michaux, F. Point (UMH)

Titre : Théorie des modèles des corps séparablement clos et des corps différentiels - Théorie de Galois différentielle
Résumé :
La théorie des modèles des corps différentiels (respectivement sépareblement clos) et la théorie de Galois différentielle sont l'objet d'intenses recherches actuellement. Let but de ce cours est d'en exposer les bases et d'aborder les questions actuelles.

Durée : 30h - Quadrimestre : 1 et 2

Lieu, date et heure du premier cours : réunion fixant l'horaire des séances ultérieures : 28 septembre 2000, ULB, 14 h 25, local 2NO906.

Séminaires

Titulaires : M. Boffa (UMH-ULB, coordonnateur), M. Crabbé, J. Drabbe, G. Hansoul, R. Hinnion, Th. Lucas, C. Michaux, F. Point

Titre : Logique mathématique

Durée : 30h

Lieu, date et heure du premier cours : réunion fixant l'horaire des séances ultérieures : 28 septembre 2000, ULB, 14 h 25, local 2NO906.

Titulaires : M. Boffa, C. Finet, C. Michaux (UMH)

Titre : Analyse et logique

Durée : 15h - Quadrimestre : 1

Lieu : UMH

You may also be interested in looking at