Logic and Mathematics for Computer Science

Utbildningsfakta

Kod: 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.

Behörighet

Fundamentals of programming 7,5 credits

Utbildningstillfällen

Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.

• Logic and Mathematics for Computer Science

  Dalarna University

  Startdatum: 19 januari 2026

  Slutdatum: 29 mars 2026

  Studietakt: 50 %