| 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 :
|
|||||
| 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 |
|||||