The Mathematical Foundation of Computer Science
Aalborg , Denmark
Visit Program Website
Tuition Fee
Not Available
Start Date
Not Available
Medium of studying
Not Available
Duration
1 semesters
Details
Program Details
Degree
Bachelors
Major
Computer Science | Information Technology | Mathematics
Area of study
Information and Communication Technologies | Mathematics and Statistics
Course Language
English
About Program
Program Overview
Introduction to the Program
The Mathematical Foundation of Computer Science is a course module offered by Aalborg University. This module is designed to provide students with a comprehensive understanding of the mathematical principles that underlie computer science.
Module Content, Progression, and Pedagogy
Learning Objectives
Knowledge
- Logic: compound statements, equivalence, predicates, and quantifiers
- Set theory: operations on sets, identities, power sets
- Functions, including exponential and logarithmic functions with base 2, and their growth rates
- Algorithms: pseudocode, search and sorting algorithms, control structures, loops, iterative and recursive algorithms
- Data structures: including arrays and linked lists
- Inductive proofs
- Relations: reflexive, transitive, symmetric, equivalence relations
Skills
- Ability to reason in connection with problem statements in logic, set theory, and relation theory
- Ability to perform simple inductive proofs
Competences
- Ability to read pseudocode and implement it in a suitable programming language (e.g., Maple)
- Ability to design algorithms for solving simple problems
Teaching Methods
The teaching is organized according to the general teaching methods for the education, cf. § 17.
Scope and Expected Work Effort
The course module's scope is 5 ECTS, corresponding to 150 hours of study effort.
Examination
Exams
| Exam Name | The Mathematical Foundation of Computer Science |
|---|---|
| Exam Form | Written or oral |
| ECTS | 5 |
| Assessment Form | 7-point scale |
| Censorship | Internal exam |
| Evaluation Criteria | Evaluation criteria are stated in the University's examination regulations |
Additional Information
Facts About the Module
| English Title | The Mathematical Foundation of Computer Science |
|---|---|
| Module Code | B-MAT2-DMG |
| Module Type | Course |
| Duration | 1 semester |
| Semester | Spring |
| ECTS | 5 |
| Language of Instruction | Danish |
| Space | Yes |
| Place of Instruction | Campus Aalborg |
| Module Responsible | Oliver Wilhelm Gnilke |
| Included in | Study program for the Bachelor's program in Information Technology, 2020; Study program for the Bachelor's program in Interaction Design, 2020; Study program for the Bachelor's program in Information Technology, 2021; Study program for the Bachelor's program in Interaction Design, 2021; Study program for the Master's program in Mathematics, 2022; Study program for the Bachelor's program in Interaction Design, 2022 |
Organization
| Study Board | Study Board for Mathematical Sciences |
|---|---|
| Department | Department of Mathematical Sciences |
| Faculty | The Faculty of Engineering and Science |
See More