Course DT1056

Logic and Mathematics for Computer Science

7.5 Credits
First Cycle

Main field of study: Computer Engineering

The course has no instances planned right now

Learning outcomes for the course

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