Logic and Mathematics for Computer Science

Education facts

Code: GMI23G

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.

Entry requirements

Fundamentals of programming 7,5 credits

Education offerings

Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.

• Logic and Mathematics for Computer Science

  Dalarna University

  Start date: 19 January 2026

  End date: 29 March 2026

  Pace of study: 50 %