Technische Universiteit Eindhoven (TUE) • Computer science and engineering

This document is a summary of all the content from the lectures which will be tested on the exam for the course Provable programming (2itb0) given at the University of Technology Eindhoven.

A summary of all the lectures of the course 'Rational agents: robots & artificial intelligence' (0LSUE0) given at the TU/e. Note: only the psychology lectures are not included, as reading the mandatory material and studying the slides concerning the psychology lectures suffice and hence this does not need to be summarized.

A summary of all the study material for the course 'Operating systems' (2INC0) given at the TU/e. Note: I summarized all lectures except for lecture 10, as it is the best to summarize this lecture yourself once and then you'll possess enough knowledge about this material for the exam.

This file contains the notes of all the lectures from O. Papapetrou on this subject. It does not contains the extra lecture with an explanation of lambda expressions. It also does not contain the additional slides. It does contain extra comments the teacher made during the lectures.

EN: Algorithms (2ILC0) is a course taught at Eindhoven University of Technology. It is a mandatory course for Bachelor Computer Science and Engineering students. The course is given in the first quartile of the third year. Algorithms discusses techniques for optimization like back tracking, greedy algorithms and dynamic programming; graph algorithms for shortest paths and maximum flow; and NP-hardness. ---- NL: Algorithmes (2ILC0) is een vak die wordt gegeven op de Technische Universiteit Ein...

EN: Computer Networks and Security (2IC60) is a course taught at Eindhoven University of Technology. It is a mandatory course for Bachelor Computer Science and Engineering students. The course is given in the fourth quartile of the second year. Computer Networks and Security discusses the OSI model and its layers, security protocols, security attributes, cryptography and more. ---- NL: Computer Networks and Security (2IC60) is een vak die wordt gegeven op de Technische Universiteit Eindhove...

EN: Lab on Offensive Computer Security (2IC80) is a course taught at Eindhoven University of Technology. It is an elective course part of the package Security for CSE, which is meant for Bachelor Computer Science and Engineering students. The course is given in the fourth quartile of the second or third year. Lab on Offensive Computer Security discusses the OSI model and its layers, (exploitation of) vulnerabilites, social engineering, malware and more. ---- NL: Lab on Offensive Computer Se...

This is a summary of all the study material for the course 'Data Analytics for engineers' (2IAB0) given at the TU/e. All the needed information for the exam is summarized in this document, nothing is left out and hence this summary is a bit longer than others.

EN: Software Specifications (2IX20) is a course taught at Eindhoven University of Technology. It is a mandatory course for Bachelor Computer Science and Engineering students. The course is given in the third quartile of the second year. Software Specifications discusses requirements, all kinds of diagrams (use case, object, class, state machine, sequence, activity), Labelled Transition Systems, Kripke Structures and model based testing (PROMELA). ---- NL: Software Specifications (2IX20) is ee...

EN: Programming Methods (2IPC0) is a course taught at Eindhoven University of Technology. It is a mandatory course for Bachelor Computer Science and Engineering students. The course is given in the second quartile of the second year. Programming Methods discusses design patterns, test-driven development and UML diagrams.. ---- NL: Programming Methods (2IPC0) is een vak die wordt gegeven op de Technische Universiteit Eindhoven. Het is een verplicht vak voor Bachelor Computer Science and Engineeri...