 | | |
| MATH0234-2 | Boolean Topology and Boolean Algebra
|
|
| Duration : | 30h Th, 10h Pr, 20h Mon. WS |
|
| Number of credits : |
|
|
| Lecturer : | Georges Hansoul |
|
Language(s) of instruction :
|
| French language |
|
Organisation and examination :
|
| All year long |
|
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).
|
|
Work placement(s) :
|
| |
|
Organizational remarks :
|
| |
|
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 |
|
