Dansk - English

Short version - Full version


Mathematics 2 - Discrete Mathematics (Fall 2012)

Course code : IDISM2-U1
ECTS Credits : 5 Status : Compulsory
Placement : 2. semester Hours per week : 4
Length : 1 semester Teaching Language : Danish if no English students are present

Principal Content : Discrete Mathematics (IDISM2):
Expressions and sets; reduction rules for logic expressions; relations and func¬tions; define and apply equivalence relations; construct and apply functions;
natural numbers; apply induction to verify properties of natural numbers; defi¬ne a prime number and use Euclid´s algorithm for factorizing an integer; Hamming codes; public key cryptography; define a language from the elements of a set; define a regular language; form strings from a regular language; construct examples on regular languages; define a finite state machine as a 6-tuple; describe simple finite state machines by tables and graphs; pattern recognition by finite state machines; minimizing the number of states in a finite state machine; construct a finite state machine for a given application.
.
Teaching method : The teaching in Discrete Mathematics is a combination of sessions with lectures and students solving problems, either manually or by using Matlab.
Furthermore a selection of projects must be solved and handed in during the course.
Required prequisites : Documented knowledge corresponding to Mathematics 1 and Programming 1.
Responsible teacher : John Aasted Sørensen , jaas@dtu.dk