Duration
30h Th, 10h Pr, 20h Mon. WS
Number of credits
| Master in mathematics, research focus | 8 crédits | |||
| Master in mathematics, teaching focus | 8 crédits |
Lecturer
Language(s) of instruction
French language
Organisation and examination
Teaching in the second semester
Schedule
Units courses prerequisite and corequisite
Prerequisite or corequisite units are presented within each program
Learning unit contents
This course is an introduction to the study of formal systems. One begins with propositional logic, modal logic and first-order logic up to Gödel's completeness theorems and compacity's theorem. We continue with a presentation of set theory with classes in which Russell paradox does not appear.
Learning outcomes of the learning unit
The student will master fundamental notions seen during the lectures as well as the corresponding proofs. He will be able to present them clearly and succinctly. Also, he will be able to apply those notions in order to solve related problems.
Prerequisite knowledge and skills
None.
Planned learning activities and teaching methods
The exercices lessons have a double objective : first illustrate the concepts and results of the theoretical part and second give a true intuition of mathematical logic.
Mode of delivery (face to face, distance learning, hybrid learning)
Face-to-face course
Additional information:
One semester course at the Institute of Mathematics.
If few students take this course, it might consist in a personnal work or take the form of a reading group in which the students will be asked to regularily prepare and present some part of the course.
Course materials and recommended or required readings
There is a syllabus. Another interesting source book is : Basic Set Theory of Levy (Springer-Verlag).
Any session :
- In-person
oral exam
- Remote
oral exam AND written work
- If evaluation in "hybrid"
preferred remote
Additional information:
Oral examination concerning both theory and exercises.
The potential personnal work and presentations of the students will be part of the final note.
Work placement(s)
Organisational remarks and main changes to the course
Contacts
Julien Leroy
Institut de Mathématique - Bât. B37
Office 1/22
Quartier Polytech 1 - Bâtiment B37
Allée de la Découverte, 12
4000 Liège 1
Belgique
Phone : 04/366.94.70
Mail : J.Leroy@uliege.be