Universiteit Utrecht (UU) • Informatica

Reader op basis van hoorcollege aantekeningen en PowerPoints over de gehele cursus.

Notities van de colleges.

2-page overview (cheatsheet) of all the subjects discussed in the first part of the Data Analysis & Retrieval course, very concisely summarized. Summary of the summary. Includes several examples of MapReduce algorithms.

All subjects that are discussed in the first part of the Data Analysis & Retrieval (INFOB3DAR) course for the midterm, clearly summarized. Based on the lectures and the book.

All subjects that are discussed in the first part of the Software Testing & Verfication (INFOB3STV) course for the midterm, clearly summarized. Based on the lectures and the book Introduction to Software Testing.

All subjects discussed in the Statistics part of the Onderzoeksmethoden voor Informatica (INFOB3OMI) course, clearly summarized in a structured way. Based on the lectures and the slides.

Deze samenvatting bevat alle stof voor het vak logica voor informatica, van zowel de lectures als het boek. De samenvatting bevat handige tabellen waarin bijvoorbeeld alle regels en alle bewijs strategieën worden samengevat.

All subjects that are discussed in the Concurrency course, clearly summarized in a structured way. Based on the lectures and the slides.

2-page overview of all the subjects discussed in the Modelleren en Systeemonwikkeling course, very concisely summarized. One page for the midterm, one for the final. Summary of the summary.

Alle stof die behandeld wordt bij het vak Modelleren en Systeemontwikkeling (MSO), duidelijk en gestructureerd samengevat. Gebaseerd op de hoorcolleges, opgenomen clips over de stof en de boeken Applying UML and Patterns (second edition) en Design Patterns Explained (second edition).

All subjects that are discussed in the Functional Programming course, clearly summarized in a structured way. Based on the lectures and the book Programming in Haskell.

Alle math stof besproken bij het vak Graphics (INFOGR) samengevat. Gebaseerd op de lectures en het boek Fundamentals of Computer Graphics (ISBN: 978-1-4822-2941-7)

Alle stof die behandeld wordt bij het vak Databases, duidelijk en gestructureerd samengevat. Gebaseerd op de hoorcolleges, opgenomen clips over de stof en het boek Database Systems - The Complete Book.

Summary of all the subjects discussed in the first part of the Computer Architecture and Networks course (i.e. the Computer Architecture part). Based on the lectures and the book used in the course (ISBN: 4293).

Alle stof van het vak Logica voor Informatica (INFOB1LI), duidelijk en gestructureerd samengevat. Gebaseerd op de hoorcolleges, lecture notes en het boek Modelling Computing Systems - Mathematics for Computer Science (ISBN: 978-1-84800-321-7).

Logic for Computer Science / Logica voor computertechnolgie. Samenvatting van de gegeven notites van de docent. Deze stof wordt naast het boek Modelling Computing Systems getoetst voor het examen. Gegeven op Universiteit Utrecht.

Logic for Computer Science / Logica voor computertechnolgie. Samenvatting van de gegeven notites van de docent hoofdstuk 1 & deel hoofdstuk 2. Deze stof wordt naast het boek Modelling Computing Systems getoetst voor het examen. Gegeven op Universiteit Utrecht.

Logic for Computer Science / Logica voor computertechnolgie hoofdstuk 11. Samenvatting van het boek Modelling Computing Systems geschreven door Faron Moller en Georg Struth. Samenvatting geschreven in het Engels. Aan de hand van voorbeelden en plaatjes wordt de stof en theorie verduidelijkt. Gegeven op Universiteit Utrecht.

Logic for Computer Science / Logica voor computertechnolgie hoofdstuk 10. Samenvatting van het boek Modelling Computing Systems geschreven door Faron Moller en Georg Struth. Samenvatting geschreven in het Engels. Aan de hand van voorbeelden en plaatjes wordt de stof en theorie verduidelijkt. Gegeven op Universiteit Utrecht. Samenvatting omvat paragraaf 1.1, 1.2, 1.4 & extra informatie mbt dit hoofdstuk.

Logic for Computer Science / Logica voor computertechnolgie hoofdstuk 9. Samenvatting van het boek Modelling Computing Systems geschreven door Faron Moller en Georg Struth. Samenvatting geschreven in het Engels. Aan de hand van voorbeelden en plaatjes wordt de stof en theorie verduidelijkt. Gegeven op Universiteit Utrecht.