Subject | Topics | Literature, e.g. |
Digital Electronics
| - Calculate with different number representations (Work out arithmetic operations on different number representations (1-complement, 2-complement, sign-magnitude, floating point)
- Boolean algebra an logic gates
- Simplification of Boolean functions
- Synchronous sequential logic (including timing aspect; setup- and hold times, metastability, synchronization)
- Design of Moore and Mealy state machines
- Introduction in VHDL or Verilog hardware description language
- Can realize a design on an FPGA
| F. Vahid, Digital Design with RTL Design, VHDL, and Verilog 2nd Edition, Wiley, ISBN 978-0470531082
|
Computer Architectures/computer systems
| - Understand mechanisms within a processor (Explain the structure of a processor, Explain the functionality of components within a processor, Single-cycle, multi-cycle and pipelined processor).
- Program a processor (write programs in assembly)
- Indicate the elements of a computer system and explain their functionality (Indicate the subsystems of a computer system (System bus model, von Neumann architecture, basic processor cycle) and explain these subsystems,
- Define and use of the following notions (Memory (DRAM, SRAM), input/output interfaces, interrupts direct memory access)
| A.S. Tanenbaum, Structured Computer Organization, Pearson, ISBN 9780273769248
|
Logic reasoning and formal methods
| - syntax and semantics of propositional logic, including truth tables, equivalence, tautology and contradiction, calculating with equivalences, strengthening and weakening of propositions;
- syntax and (informal) semantics of first-order predicate logic, including predicates, quantifiers, and variable binding;
- logical derivation, reasoning with propositions and predicates, conclusion, assumption, context, validity;
- set, subset, intersection and union, complement, difference, the empty set, powerset, cartesian product;
- relation, equivalence relation, class, partition;
- mapping (function), image and source, injection, surjection, bijection, inverse function, composition of relations and functions;
- partial ordering, linear ordering, Hasse diagram, maximal and minimal elements; and
- induction, strong induction, inductive definition
| R.P Nederpelt, Logical reasoning : a first course, King’s College Publications, ISBN 978-0-9543006-7-8 or F. Moller, G. Struth: Modelling Computing Systems, Print ISBN 978-1-84800-321-7, Online ISBN 978-1-84800-322-4. The first part (Mathematics for Computer Science) is prior knowledge for the compulsory course System Validation. The second part (Modelling Computing Systems) fits well with the content of the course System Validation. |
Operating Systems
| - Understand the major mechanisms of current general-purpose operating systems exemplified by Linux.
- Design space exploration and trade-offs involved in implementing an operating system.
- Are capable of basic system-oriented programming and providing simple extensions to an operating system.
- Understand the exploitation of vulnerabilities and privilege escalation
| William Stallings, Operating Systems, Internals and Design Principles, Edition 9, Pearson, ISBN 978-0-13-467095-9
|
Programming languages (C++/JAVA and others)
| - functions
- arrays
- pointers
- strings
- recursion
- trees
- I/O from files
- dynamic memory allocation
- object/classes
| P.J. Deitel & H.M. Deitel, C++ how to program, International Edition, 10e, Pearson Education, ISBN: 978-1292153346 P.J. Deitel & H.M. Deitel, JAVA how to program, International Edition, 11th Edition, Pearson Education, ISBN 9781292223858
|
Calculus
| - formulate definitions and properties of functions of one variable;
- calculate limits, for instance to demonstrate continuity or to calculate the derivative with the definition;
- calculate the derivative of a function, and also to calculate extreme values and inflection points;
- reproduce the definition of continuity, differentiability and integrability of functions of two variables;
- reproduce the definition of the partial derivative of a function of two or more variables;
- apply the chain rule for functions of more than one variable;
- calculate the directional derivative and the gradient vector, and to apply the rules for the gradient;
- calculate double and triple integrals over a general defined region;
- apply standard coordinate transformations (polar, cilindrical and spherical) to multile integrals;
- work with divergence and curl of a vector field
- calculate line and surface integrals of functions and vector fields over general regions;
- apply the theorems of Green, Stokes and Gauss;
- formulate the notions of series, sequences and absolute and relative convergence;
- determine the convergence of series and sequences.
- find the radius of convergence of a power series;
- find the Taylor series expansion of simple functions;
| Thomas' Calculus, early transcendentals, G.B. Thomas, M.D. Weir and J.R.Hass New International Edition, ISBN 9781783991587
|
Linear Algebra
| - Determine if a set of vectors is linearly independent
- Represent systems of linear equations using matrices and solve such systems
- Find bases and dimensions of vector spaces
- Determine properties of matrix transformations
- Find eigenvalues and eigenvectors for given matrix
| G. Strang, Introduction to Linear Algebra, Fifth Edition, Wellesley-Cambridge Press, 2017. ISBN: 978-09802327-7-6
|
Differential Equations
| - solve first and second order (linear) differential equations.
| Thomas' Calculus, early transcendentals, G.B. Thomas, M.D. Weir and J.R.Hass New International Edition, ISBN 9781783991587
|
Signals and Systems
| - Experience with methodologies aimed at systematically analyzing the properties of linear, time-invariant systems, in both continuous and discrete time.
- Methods for describing systems and signals: differential and differential equations, state description, impulse and step response, frequency response, transfer function, convolutional sum and integral, stability, state transition matrix, Fourier series, Fourier transformation, Laplace and Z transformation.
| S. Soliman, Continuous and discrete signals and systems, Prentice Hall, 1998, ISBN: 0-13-569112-5
|
