Dansk - English
Kort version - Fuld version
Mathematics 2 - Discrete Mathematics (Forår 2013) |
|||
| Kursuskode : | IDISM2-U1 | ||
| ECTS Point : | 5 | Status : | Obligatorisk |
| Placering : | 2. semester | Timer pr. uge : | 4 |
| Længde : | 1 semester | Undervisningssprog : | Dansk hvis der ikke er engelsksprogede studerende tilstede |
| Hovedindhold : | 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; 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. |
||
| Undervisningsform : | 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. |
||
| Krævede forudsætninger : | Documented knowledge corresponding to Mathematics 1 and Programming 1. | ||
| Ansvarlig underviser : | John Aasted Sørensen
, jaas@dtu.dk |
||