| TTIT07 | Discrete Structures, 10,5 ECTS credits. /Tema: Diskreta strukturer/ |
||
Prel. scheduled
hours: 76 |
|||
|
Area of Education: Technology Subject area: Electrical Engineering/Computer Engineering |
|||
| Advancement level
(A-D): B
|
|||
| Aim: On the one hand to provide knowledge of basic concepts from discrete mathematics and logic; on the other hand to illustrate how such concepts can be used 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: |
|||
| Course contents: Sets, functions, number systems, coding and decoding, relations, algebras, Boolean algebra and propositional logic, basic model and proof theory for propositional logic. 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, state minimization, iterative combinatorial circuits, clocked flip-flops, asynchronous signals, counters, shift registers, control units. |
|||
| Course literature: |
|||
| Examination: | |||
| A written examination Laboratory work Work in PBL-group |
5 p 2 p 0 p |
||
Course language is Swedish. Department offering the course: IDA. Director of Studies: sas-sr@ida.liu.se Examiner: Ulf Nilsson Link to the course homepage at the department Course Syllabus in Swedish |
|||
|
|
 |
|||||
| ||||||