1. Accueil
  2. EN
  3. Studying at ULB
  4. Find your course
  5. UE
MATH-F104

Logique et rédaction de preuves

academic year
2024-2025

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

Other

Programmes