Duration
30h Th, 10h Pr, 20h Mon. WS
Number of credits
| Master in mathematics (120 ECTS) | 10 crédits |
Lecturer
Language(s) of instruction
French language
Organisation and examination
Teaching in the second semester
Units courses prerequisite and corequisite
Prerequisite or corequisite units are presented within each program
Learning unit 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 learning unit
Introduction to the methods of algebraic logic, with a hint to research topics.
This course is in fact a 3rd cycle examination.
Prerequisite knowledge and skills
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
Julien RASKIN
Phone : 04/366.94.32
E-mail : J.Raskin@ulg.ac.be
Laurent DE RUDDER
Phone : 04/366.94.06
E-mail : L.DeRudder@ulg.ac.be