Logic and Proof Techniques I
5 credits
Course, Bachelor's level, 1MA027
Expand the information below to show details on how to apply and entry requirements.
Spring 2025
Spring 2025,
Uppsala, 33%, On-campus, Swedish
- Location
- Uppsala
- Pace of study
- 33%
- Teaching form
- On-campus
- Instructional time
- Daytime
- Study period
- 24 March 2025–8 June 2025
- Language of instruction
- Swedish
- Entry requirements
-
5 credits in mathematics of computer science. Participation in Algebra I.
- Selection
-
Higher education credits in science and engineering (maximum 240 credits)
- Fees
-
If you are not a citizen of a European Union (EU) or European Economic Area (EEA) country, or Switzerland, you are required to pay application and tuition fees.
- First tuition fee instalment: SEK 10,833
- Total tuition fee: SEK 10,833
- Application deadline
- 15 October 2024
- Application code
- UU-60032
Admitted or on the waiting list?
- Registration period
- 10 March 2025–6 April 2025
- Information on registration from the department
Expand the information below to show details on how to apply and entry requirements.
Spring 2026
Spring 2026,
Uppsala, 33%, On-campus, Swedish
- Location
- Uppsala
- Pace of study
- 33%
- Teaching form
- On-campus
- Instructional time
- Daytime
- Study period
- 23 March 2026–7 June 2026
- Language of instruction
- Swedish
- Entry requirements
-
5 credits in mathematics of computer science. Participation in Algebra I.
- Selection
-
Higher education credits in science and engineering (maximum 240 credits)
- Fees
-
If you are not a citizen of a European Union (EU) or European Economic Area (EEA) country, or Switzerland, you are required to pay application and tuition fees.
- First tuition fee instalment: SEK 10,833
- Total tuition fee: SEK 10,833
- Application deadline
- 15 October 2025
- Application code
- UU-60032
Admitted or on the waiting list?
About the course
The course gives you the basics of propositional and predicate logic. As logic has applications in computer science, this course is especially recommended for students majoring in computer science.
Syllabus
- Syllabus valid from Autumn 2025
- Syllabus valid from Autumn 2023
- Syllabus valid from Autumn 2022
- Syllabus valid from Autumn 2019
- Syllabus valid from Autumn 2017
- Syllabus valid from Autumn 2012, version 2
- Syllabus valid from Autumn 2012, version 1
- Syllabus valid from Autumn 2010, version 2
- Syllabus valid from Autumn 2010, version 1
- Syllabus valid from Autumn 2007, version 2
- Syllabus valid from Autumn 2007, version 1
Reading list
- Reading list valid from Autumn 2025
- Reading list valid from Autumn 2023
- Reading list valid from Autumn 2022
- Reading list valid from Spring 2022
- Reading list valid from Autumn 2019
- Reading list valid from Autumn 2017
- Reading list valid from Autumn 2012, version 2
- Reading list valid from Autumn 2012, version 1
- Reading list valid from Autumn 2010, version 2
- Reading list valid from Autumn 2010, version 1
- Reading list valid from Autumn 2007, version 2
- Reading list valid from Autumn 2007, version 1
Contact
- Study counselling
- studievagledare@math.uu.se
- +46 18 471 32 03, +46 18 471 32 00