2014 Autumn 2013 Autumn 2012 Autumn
Show the courses of study containg this course Se overgangsordninger
Dansk English

DM535: Discrete Methods for Computer Science (5 ECTS)

STADS: 15012901

Level
Bachelor course

Teaching period
The course is offered in the autumn semester.
1st. and 2th quarter.

Teacher responsible
Email: lenem@imada.sdu.dk

Timetable
Group Type Day Time Classroom Weeks Comment
Common I Monday 14-16 U9 37
Common I Tuesday 10-12 U140 36,38-41,45-50
S7 TE Thursday 08-10 U24 36-41,45-51
S17 TE Thursday 10-12 U50a 36
S17 TE Thursday 12-14 U155 37-41
S17 TE Thursday 12-14 U49 45-51
Show entire timetable
 Show personal time table for this course.

Comment:
Ubegrænset deltagerantal. 1.+2. kvartal.

Prerequisites:
None

Academic preconditions:
None.

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
  2. Written examination. 7-point grading scale. External examiner.

Re-examination after 4th quarter.



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

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.