Mathematical Logic
10 credits
Course, Bachelor's level, 1MA213
Autumn 2023 Autumn 2023, Uppsala, 33%, On-campus, The course will be taught in English, if needed Only available as part of a programme
- Location
- Uppsala
- Pace of study
- 33%
- Teaching form
- On-campus
- Instructional time
- Daytime
- Study period
- 28 August 2023–14 January 2024
- Language of instruction
- The course will be taught in English, if needed
- Entry requirements
-
60 credits in mathematics. Participation in Algebra II or Set Theory.
- Application deadline
- 17 April 2023
- Application code
- UU-10104
Admitted or on the waiting list?
- Registration period
- 14 August 2023–10 September 2023
- Information on registration
Autumn 2023 Autumn 2023, Uppsala, 33%, On-campus, The course will be taught in English, if needed For exchange students
- Location
- Uppsala
- Pace of study
- 33%
- Teaching form
- On-campus
- Instructional time
- Daytime
- Study period
- 28 August 2023–14 January 2024
- Language of instruction
- The course will be taught in English, if needed
- Entry requirements
-
60 credits in mathematics. Participation in Algebra II or Set Theory.
Admitted or on the waiting list?
- Registration period
- 14 August 2023–10 September 2023
- Information on registration
Autumn 2024 Autumn 2024, Uppsala, 33%, On-campus, The course will be taught in English, if needed Only available as part of a programme
- Location
- Uppsala
- Pace of study
- 33%
- Teaching form
- On-campus
- Instructional time
- Daytime
- Study period
- 2 September 2024–19 January 2025
- Language of instruction
- The course will be taught in English, if needed
- Entry requirements
-
60 credits in mathematics. Participation in Algebra II or Set Theory.
- Application deadline
- 15 April 2024
- Application code
- UU-10104
Admitted or on the waiting list?
- Registration period
- 19 August 2024–15 September 2024
- Information on registration
Autumn 2024 Autumn 2024, Uppsala, 33%, On-campus, The course will be taught in English, if needed For exchange students
- Location
- Uppsala
- Pace of study
- 33%
- Teaching form
- On-campus
- Instructional time
- Daytime
- Study period
- 2 September 2024–19 January 2025
- Language of instruction
- The course will be taught in English, if needed
- Entry requirements
-
60 credits in mathematics. Participation in Algebra II or Set Theory.
Admitted or on the waiting list?
- Registration period
- 19 August 2024–15 September 2024
- Information on registration
About the course
The course deals with the formal language of first-order logic, basic model theory and recursion theory. Since logic has applications in computer science, this course is also recommended for students in computer science who want to expand their knowledge in mathematics.
Contact
- Study counselling
- studievagledare@math.uu.se
- +46 18 471 32 03, +46 18 471 32 00