Official course description, subject to change:
Preliminary info last published 16/08-19

Foundations of Computing - Discrete Mathematics BSc

Course info
Language:
English
ECTS points:
7.5
Course code:
BSFOCDM1KU
Offered to guest students:
yes
Offered as a single subject:
yes
Price (single subject):
10625 DKK (incl. vat)
Programme
Level:
Bachelor
Programme:
Bachelor of Science in Software Development
Staff
Course semester
Semester
Efterår 2020
Start
24 August 2020
End
31 January 2021
Abbreviation
20202
Exam
Exam type
ordinær
Internal/External
ekstern censur
Grade Scale
7-trinsskala
Exam Language
GB
Abstract

Discrete Mathematics covers different topics in mathematics, which support many disciplines in software development. The goal of this course is to give the students the ability to apply formal reasoning. The first part of the course is dedicated to learning how to construct logical proofs, proofs on set theory and proofs by induction, while the second half of the course builds upon the first part to cover number-theoretical concepts, graphs, combinatorics, discrete probabilities, and models of computation. The student will obtain the fundamental skill of computational thinking and will be better equipped to tackle technical subjects throughout the curriculum. The course is an introduction to discrete mathematics as a foundation to work within the fields of computer science, information technologies, and software development. The course develops the necessary terminology and conceptual tools needed for later courses.

This includes:

  • formal reasoning, proofs, logic, set theory, sequences and sums
  • number theory, combinatorics and (discrete) probability theory
  • induction, recursion and counting
  • relations and functions
  • basic graph theory, language theory
  • theory and models of computation, such as finite state machines, regular expressions and grammars
The course aims at providing a basic understanding of the mathematical foundations of computer science.
Description


Intended learning outcomes

After the course, the student should be able to:

  • Describe and apply formal definitions
  • Conduct and explain basic formal proofs
  • Work with regular languages and finite and infinite state machines
  • Use models of computation and specification
  • Use combinatorial reasoning
  • Assess probabilities of events
  • Use basic modular arithmetic
Ordinary exam
Exam type:
A: Written exam on premises, external (7-trinsskala)
Exam variation:
A33: Written exam on premises on paper with restrictions
Exam description:
4 hours written exam with no aids. There is no access to advanced electronic tools such as computers, e-Readers or tablets. Only old-fashioned pocket calculators and standard tools for writing on paper are allowed (pen, pencil, eraser, etc.). Only use of ballpoint pen is allowed for the final exam hand-in. Form of re-exam is the same as the ordinary exam.