Annuaire|Bibliothèques|Cours en ligne|Plan d'accès|Emploi|Agenda|Actualités|U tv|Contact
Fr
UMONS>Faculté des sciences>Département de mathématique>Service de Logique Mathématique

Service de Logique Mathématique

Bienvenue sur le nouveau site de logique mathématique

Le Service de Logique Mathématique de l'Université de Mons a été fondé en 1973 par Maurice Boffa (1939–2001), qui en fût le directeur de 1973 jusqu'à son décès. Le service est désormais dirigé par Christian Michaux et Françoise Point.

Le service est l'un des principaux gestionnaires du séminaire interuniversitaire de logique mathématique : programme complet 2009–2010.

Les recherches du service sont centrées d'une part sur la théorie des modèles et ses applications, principalement à l'algèbre et d'autre part sur certains aspects de la calculabilité.

Les cours assurés par le service concernent les mathématiques élémentaires et l'algèbre en BAC 1 et divers cours de logique mathématique à partir de BAC 2. Le service est également en charge de la gestion de l'agrégation et de la finalité didactique du master en sciences mathématiques.

Ce service fait partie du Département de Mathématique.

Ce nouveau site est en construction. Temporairement, une partie des liens renvoient à l'ancien site.