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

Résumé de la section Logique Mathématique

• Cours
  Automates finis, systèmes de numération et décidabilité de certaines extensions de l'arithmétique de Presburger
  Résumé: Nous étudions certaines extensions de l'arithmétique de Presburger (Z,+,0,<) du point de vue de la décidabilité de leurs théories et de la structure de leurs sous-ensembles définissables. Les techniques employées viennent d'une part de la théorie des automates finis et d'autre part de la théorie des modèles.
  Titulaires: V. Bruyère, F. Point
  Durée: 15h
  Quadrimestre: Octobre-novembre 1997
  Lieu, date et heure du premier cours: UMH, à partir du 15 octobre.
  

• Cours
  Complexité algorithmique et suites aléatoires
  Résumé: Propriétés de quelques notions de complexité algorithmique. Théorème d'incomplétude et problème de l'arrêt selon Chaitin. Equivalence des notions de suites aléatoires de Chaitin et de Martin-Löf.
  Titulaires: D. Dzierzgowski
  Durée: 15h
  Quadrimestre: 2
  Lieu, date et heure du premier cours: ULB, Campus de la Plaine, local 2NO906, jeudi 12 février 1998, 11h.
  
• Cours
  Topologie & algèbres booléennes
  Résumé: Algèbres et anneaux de Boole. Dualité de Stone pour les algèbres de Boole. Applications: algèbres libres, algèbres à bases ordonnées, algèbres super atomiques. Une classe spéciale d'algèbres de Boole dénombrables: les algèbres primitives; applications aux algèbres de Lindenbaum. Affaiblissement des algèbres deBoole: treillis distributifs, algèbres de Heyting. Enrchissement des algèbres de Boole: algèbres de Boole à opérateurs, algèbres modales.
  Titulaires: G. Hansoul
  Durée: 15h, ULg
  
• Séminaires
  Logique Mathématique
  Titulaires: M. Boffa (UMH-ULB, coordinateur), M. Crabbé, J. Drabbe, D. Dzierzgowski, R. Hinnion, Th. Lucas, C. Michaux, F. Point.
  Durée: 30h
  
• Séminaires
  Analyse et Logique
  Titulaires: M. Boffa, C. Finet, C. Michaux (UMH)
  Durée: 15h
  Quadrimestre: 1
  Lieu, date et heure du premier cours: UMH, mi-octobre 1997.

You may also be interested in looking at

• the Seminars in Logic section.
  

• the full programme.
  
• the list of all the lecture courses in Mathematics and Computer Science at the University of Mons-Hainaut.

Back to Mathematical Logic at the University of Mons-Hainaut
This page has been accessed times.