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.

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

Read more about fees.

Application deadline
15 October 2025
Application code
UU-60032
Apply now

Admitted or on the waiting list?

Registration period
9 March 2026–5 April 2026
Information on registration from the department

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.

FOLLOW UPPSALA UNIVERSITY ON

Uppsala University on Facebook
Uppsala University on Instagram
Uppsala University on Youtube
Uppsala University on Linkedin