Programme de 1996-97
Jeudi 3 octobre 1996 à 14h30
O. Esser : Équiconsistance d'une théorie
positive avec une extension de la théorie de Kelley-Morse.
Du 20 février au 27 mars 1997, K. Meer (RWTH Aachen et invité FNRS à Mons) a donné une série d'exposés dans le cadre du séminaire et du DEA interuniversitaire en mathématiques, chaque jeudi, le matin et l'après-midi. Les exposés de l'après-midi pouvaient être suivis indépendamment de ceux du matin; ils étaient cependant un peu plus spécialisés. Le programme en était à peu près le suivant :
Jeudi 20 février 1997
11h00 : Theorem of Sturm, Rule of Descartes; both address the
question of how many zeros a univariate real polynomial has.
14h30 : Short introduction into BSS theory, classes P and NP
over R; importance of the question how to solve polynomial systems.
Jeudi 27 mars 1997
11h00 : Algorithm of Buchberger.
14h30 : Lower bounds.
Mercredi 16 avril 1997 à 14h00 à l'ISIL
Back to Mathematical Logic at the University
of Mons-Hainaut
Archive des séminaires passés
This page has been accessed times.