| TDDC75 |
Discrete Structures, 8 ECTS credits.
/Diskreta strukturer/
For:
IT
|
| |
Prel. scheduled
hours: 72
Rec. self-study hours: 141
|
| |
Area of Education: Technology
Main field of studies: Information Technology
|
| |
Advancement level
(G1, G2, A): G1
|
|
Aim:
After completing the course the student should have achieved basic understanding of concepts and methods from discrete mathematics and be able to carry out simple mathematical proofs about sets, relations, functions, number systems and boolean algebra; the student should also be able to put the theory into action and apply basic concepts and methods to support structured construction methods of digital systems, and understanding and ability to construct digital systems.
|
|
Prerequisites: (valid for students admitted to programmes within which the course is offered)
Note: Admission requirements for non-programme students usually also include admission requirements for the programme and threshhold requirements for progression within the programme, or corresponding.
|
|
Organisation:
Lectures cover the theoretical foundations, while solving of exercises is done during supervised tutorials. The ability to apply theoretical foundations to solve concrete problems is done at laboratory classes.
|
|
Course contents:
Sets, functions, number systems, coding and decoding, relations, algebras, Boolean algebra. Combinatorial circuits, minimization, Karnaugh maps, NAND- and NOR-synthesis, normal forms, tri-state, verification, incompletely specified circuits, circuits with multiple outputs, special circuits (adders, comparators, demultiplexers, multiplexers), state automata, sequential circuits, clocked flip-flops, asynchronous signals, counters, shift registers, control units.
|
|
Course literature:
Literature list. See course home page.
|
|
Examination: |
|
A written examination
Laboratory work
Laboratory work
Work in PBL-group
|
3 ECTS
1 ECTS
3 ECTS
1 ECTS
|
| |
|
|
Course language is Swedish.
Department offering the course: IDA.
Director of Studies: Ahmed Rezine
Examiner: Mikael Asplund
Link to the course homepage at the department
Course Syllabus in Swedish
|
|