- Accueil
- EN
- Studying at ULB
- Find your course
- UE
-
Share this page
MATH-F104
Logique et rédaction de preuves
Course teacher(s)
Dimitri LEEMANS (Coordinator)ECTS credits
5
Language(s) of instruction
french
Course content
Basic notions about logic,set theory and mathematical structures.Inter alia:logical connectives & quantifiers;proofs;morphisms;deductibility...
Objectives (and/or specific learning outcomes)
Goal:bring the students to an adequate understanding of the fundamental tools used in mathematics (logic,sets,structures).
Teaching methods and learning activities
Teaching Method : theory & exercises.
References, bibliography, and recommended reading
Biblio :lecture notes are available,for some parts of the course
Other information
Contacts
Roland HINNION, bureau 2-07-108 (bâtiment NO,Plaine),rhinnion@ulb.ac.be,ext.5846. Assistent: Thierry LIBERT , tlibert@ulb.ac.be, bureau 2-O7-201 (bâtiment NO,Plaine)
Evaluation
Method(s) of evaluation
- Other