University of Liege | Version française
Study programmes 2011-2012Last update : 14/06/2012
MATH0234-3  Boolean Topology and Boolean Algebra

Duration :  30h Th, 30h Pr
Number of credits :  
Master in Computer science, Research Focus, 2nd yearSecond semester6
Lecturer :  Georges Hansoul
Language(s) of instruction :  
French language
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, ...
Learning outcomes of the course :  
Introduction to the methods of algebraic logic, with a hint to research topics.

This course is in fact a 3rd cycle examination.
Prerequisites and co-requisites/ Recommended optional programme components :  
Basic abstract algebra, basic universal algebra, rudiments of topology (including Tychonoff theorem).
Planned learning activities and teaching methods :  
The exercices are aimed both to illustrate the theoretical part of the course and to develop some intuition in algebraic logic.
Mode of delivery (face-to-face ; distance-learning) :  
One semester course at the Institute of Mathematics (B37).
Recommended or required readings :  
Syllabus.
Assessment methods and criteria :  
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
CAVUS Rukiye
Phone : 04/366.94.04
E-mail : R.Cavus@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