Course GMI23G

Logic and Mathematics for Computer Science

7.5 Credits
First Cycle

Starts week 4, 2025

The course covers algebraic systems, including modular arithmetic and polynomial arithmetic. Logic and set theory is covered as is graph theory, predicate calculus, truth tables, sets and set operators, functions and relations. The course also covers elementary concepts in number theory, combinatorics, divisors, primes, division algorithms including Eulides BCD algorithm, fundamental theorems of arithmetic, induction and recursion, permutations and combinations and the binomial theorem.

The theoretical content of the course is explored through programming exercises so that the students are able to understand how computer science has a foundation in logic and mathematics.

Starts and ends:
week 4, 2025 - week 13, 2025
Study Rate:
Time of Day:
Teaching form:
Only for Exchange Students (Erasmus)
Entry Qualifications :
  • Fundamentals of programming 7,5 credits
Application Code:
Main field of study:
Literature List

Literature lists are published at the latest one month ahead of the course start date.

To Literature List
How may we help you?

Ask us about studying at Dalarna University.
+46 23-77 88 88

Course Coordinator
Joonas Pääkkönen