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.
You may also be interested in looking at
the Seminars in Logic section.
Back to Mathematical Logic at the University
of Mons-Hainaut
This page has been accessed times.