DM535: Discrete Methods for Computer Science (5 ECTS)

STADS: 15010901

Level
Bachelor course

Teaching period
The course is offered in the autumn semester.

Teacher responsible
Email: lenem@imada.sdu.dk

Timetable
Show entire timetable
Show personal time table for this course.

Comment:
Ubegrænset deltagerantal. Undervises fælles med DM547 Diskret Matematik, MM537 Introduktion til matematiske metoder og DM549 Diskrete metoder til datalogi (10 ECTS)

Prerequisites:
None

Academic preconditions:
The course cannot be followed if you have passed DM549, or if you have DM549 mandatory in your curriculum..

Course introduction
The course should expose students to basic techniques for working with mathematical notions important within Computer Science. This is necessary for many more advanced courses in Computer Science.

Expected learning outcome
After the course the student is expected to be able to

• formalize statements in a logically correct way.
• prove propositions with the help of different proof methods such as direct proofs, proofs by contradiction, and induction proofs.
• work with the notion of a set, operations on sets, and the notion of a function.
• work with basic notions of number theory such as divisibility and greatest common divisor.
• solve systems of linear congruences.
• work with basic properties of matrices.
• work with relations, including representation of relations, closures of relations, and using the concept of equivalence relations.
• argument for the steps in exercise solutions.
• apply the above techniques, results, and notions to concrete examples and in new situations

Subject overview
Logic, sets and functions, proof techniques, induction proofs, numbers and their representation, Euclidean algorithm, Chinese remainder theorem, matrices, relations

Literature

• Meddeles ved kursets start.: .

Website
This course uses e-learn (blackboard).

Prerequisites for participating in the exam
None

Assessment and marking:

1. Mandatory assignments. Pass/fail, internal evaluation. (15015112)
2. Written examination. 7-point grading scale. External examiner. (15015102)

Re-examination in the same exam period or immediately thereafter.

Expected working hours
The teaching method is based on three phase model.
Intro phase: 26 hours
Skills training phase: 26 hours, hereof:
 - Tutorials: 26 hours

Educational activities Study phase: 17 hours

Some of the lectures will be used for project supervision.

Language
This course is taught in Danish or English, depending on the lecturer.

Course enrollment
See deadline of enrolment.

Tuition fees for single courses
See fees for single courses.