Study programme 2020-2021 | Français | ||
Seminar: introduction to Mathematical Logic (Part I) | |||
Learning Activity |
Code | Lecturer(s) | Associate Lecturer(s) | Subsitute Lecturer(s) et other(s) | Establishment |
---|---|---|---|---|
S-MATH-014 |
|
|
Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term |
---|---|---|---|---|---|---|---|
Français | Français | 0 | 30 | 0 | 0 | 0 | Q1 |
Organisational online arrangements for the end of Q3 2020-2021 assessments (Covid-19) |
---|
|
Description of the modifications to the Q3 2020-2021 assessment procedures (Covid-19) |
no change |
Organisational arrangements for the end of Q1 2020-2021 assessments (Covid-19) online or face-to-face (according to assessment schedule)
Description of the modifications to the Q1 2020-2021 online assessment procedures (Covid-19) online or face-to-face (according to assessment schedule)
no change
Content of Learning Activity
First notions of mathematical logic : connectives, quantifications, formulas, languages, models, cardinality, ...
Exposition of the role of mathematical logic in mathematics through examples ; first approach to some famous problems (continuum hypothesis, ...).
Introduction to the course of mathematical logic of 3rd year of bachelor degree.
Required Learning Resources/Tools
see https://moodle.umons.ac.be/course/view.php?id=1254
Recommended Learning Resources/Tools
Not applicable
Other Recommended Reading
see https://moodle.umons.ac.be/course/view.php?id=1254
Mode of delivery
Type of Teaching Activity/Activities
Evaluations
The assessment methods of the Learning Activity (AA) are specified in the course description of the corresponding Educational Component (UE)