University of Liege | Version française
Study programmes 2008-2009Last update : 29/06/2009
MATH0234-3  Boolean Topology and Boolean Algebra
Duration :  30h Th, 30h Pr
Credits/ECTS :  
Master in Computer science, Research Focus, 2nd yearToute l'année6
Holder(s) :  Georges Hansoul
Language :  Langue française
Course contents :  Boolean rings and Boolean algebras.

Stone duality in a categorical setting.

Possible other topics : denumerable Boolean algebras and Vaught theorem, modal algebras, natural dualities, ...
Course objective :  Introduction to the methods of algebraic logic, with a hint to research topics.
Prerequisites :  Basic abstract algebra, basic universal algebra, rudiments of topology (including Tychonoff theorem).
Workshops :  The exercices are aimed both to illustrate the theoretical part of the course and to develop some intuition in algebraic logic.
Organization :  One semester course (each two years) at the Institute of Mathematics (B37).
Written notes :  Syllabus.
Assessment :  To both session, an oral examination (theory and exercices).

Contacts :  HANSOUL Georges,
Institute of Mathematics - B37, Office 059
Grande Traverse, 12 - 4000 Liege
(Sart Tilman)
Phone : 04/366.94.69 - Fax : 04/366.96.47
E-mail : G.Hansoul@ulg.ac.be
TEHEUX Bruno - Phone : 04/366.96.36
E-mail : B.Teheux@ulg.ac.be


imageHome
imageSearch by Faculty
imageSearch by teacher
imageSearch by course code and title

Students and Studies Administration - Academic Affairs - Contact : Monique Marcourt, General Director for Education and Training - Developed by SEGI