Logic and Proof Techniques I
Course, Bachelor's level, 1MA027
Spring 2024 Spring 2024, Uppsala, 33%, On-campus, Swedish
- Location
- Uppsala
- Pace of study
- 33%
- Teaching form
- On-campus
- Instructional time
- Daytime
- Study period
- 18 March 2024–2 June 2024
- 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
- 16 October 2023
- Application code
- UU-60032
Admitted or on the waiting list?
- Registration period
- 4 March 2024–31 March 2024
- Information on registration
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
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 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 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