Syllabus

Logic and Mathematics for Computer Science

Code
DT1056
Points
7.5 Credits
Level
First Cycle Level 1
School
School of Information and Engineering
Subject field
Computer Engineering (DTA)
Group of Subjects
Computer Technology
Disciplinary Domain
Technology, 100%
This course can be included in the following main field(s) of study
Computer Engineering1
Progression indicator within (each) main field of study
1G1F
Approved
Approved, 05 June 2014.
This syllabus is valid from 07 August 2014.
Discontinued
20 January 2020

Learning Outcomes

On completion of the course the student shall be able to:

  • describe and use various algebraic systems such as modular arithmetic and polynomial arithmetic
  • use basic concepts such as predicate calculus, set theory, relations and graph theory, and apply this knowledge to computer science
  • implement algorithms based on elementary number theory such as common divisors and factorisation
  • Apply induction and recursion to problem solving and programming, with emphasis on working with combinatorial problems
  • Relate logic and mathematics to computer science

Course Content

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 algoritthms 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.

Assessment

Test 3*1,5 credits (U-G)
Laboratory exercises 3 credits (U-G)

Forms of Study

Lectures, laboratories and exercises

Grades

The Swedish grades U–G.

To obtain grade G, the student must pass all examination moments

Prerequisites

  • Fundamentals of programming 7,5 credits