Vrije Universiteit Brussel (VUB) • Computerwetenschappen

Dit is de samenvatting van het eerste hoofdstuk van het vak Interpretatie van Computerprogramma's I. In deze samenvatting werd zowel alle informatie uit de slides als bijkomende informatie uit eigen notities opgenomen. EINDRESULTAAT: 16/20

Dit is een samenvatting voor het vak Wetenschappelijk rekenen. In deze samenvatting werd alle info uit de slides en eventuele extra informatie uit de hoorcolleges opgenomen. Opmerkingen: Hoofdstuk 1 dient enkel als opfrissing van enkele concepten en werd dus niet in deze samenvatting opgenomen. Hoofdstukken 7, 8 en 9 zijn specifiek voor de computerwetenschappers. De bundel met bewijzen werd achteraan bijgevoegd. EINDRESULTAAT: 16/20

Dit document bevat tips & tricks (met uitgewerkte voorbeelden) om het afleiden (natuurlijke deductie) van de meeste formules uit de propositielogica te vergemakkelijken. Eindscore: 19/20, behaald op het examen van het vak "Logica en formele systemen" gegeven door professor Olga De Troyer. Vergeet zeker niet om een kijkje te nemen op de bundel met 60 volledig uitgewerkte afleidingen die ook op mijn Stuvia-account te vinden is!

Dit document bevat 60 volledig uitgewerkte afleidingen uit de propositielogica. Eindscore: 19/20, behaald op het examen van het vak "Logica en formele systemen" gegeven door professor Olga De Troyer. Vergeet zeker niet om een kijkje te nemen op het bestand met tips & tricks (en uitgewerkte voorbeelden) die het afleiden van de meeste formules vergemakkelijken. Dat bestand is eveneens te vinden op mijn Stuvia-account.

Dit is de samenvatting van het elfde hoorcollege databanken. In deze samenvatting werd informatie uit zowel de slides, als eventuele extra notities bij de slides opgenomen. Onderwerpen: Transacties ACID-eigenschappen Scheduling Concurrency control Recovery

Dit is de samenvatting van het tiende hoorcollege databanken. In deze samenvatting werd informatie uit zowel de slides, als eventuele extra notities bij de slides opgenomen. Onderwerpen: Verwerken van queries Query cost External mergesort Materialisatie en pipelining Query optimalisatie

Dit is de samenvatting van het achtste hoorcollege databanken. In deze samenvatting werd informatie uit zowel de slides, als eventuele extra notities bij de slides opgenomen. Onderwerpen: Hierachie van opslagmogelijkheden Cache Main en secondary memory Hard disks en ssd's Tertiaire opslag Computationele modellen RAID Representatie van datatypes uit SQL Buffer manager Organisatie van files

Dit is de samenvatting van het zevende hoorcollege databanken. In deze samenvatting werd informatie uit zowel de slides, als eventuele extra notities bij de slides opgenomen. Onderwerpen: Onderdelen van een DBMS DBMS architecturen

Dit is de samenvatting van het tweede hoorcollege databanken. In deze samenvatting werd informatie uit zowel de slides, als eventuele extra notities bij de slides opgenomen. Onderwerpen: Extended entity-relationship model Problemen met entity-relationship design Principes van entity-relationship design Object-gebaseerd modelleren (OM model) The Unified Modelling Language (UML)

Dit document bevat de oefeningen en de oplossingen van deze oefeningen gegeven in het vak "Logica en formele systemen" gegeven door Olga De Troyer. Eindresultaat: 19/20