Bewijzen en redeneren voor informatici

Uit Wina Examenwiki
Naar navigatie springen Naar zoeken springen

Algemeen

  • Nieuwe vak sinds academiejaar 2016-2017.
  • 5 kleine toetsen die meetellen voor 1 punt van het examen (elke hoorcollege vanaf de tweede hoorcollege).
  • Gegeven door prof. Blockeel.

Samenvattingen

Deze pdf bevat de belangrijke definities van de eerste 8 hoofdstukken (hoofdstuk 9 hoefde niet gekend te zijn). Definities 2016-2017


Toetsen 2016

Toets 2

Toets 2a

Toets 2b

Toets 2c

Toets 2d

Toets 3

Toets 3a

Toets 3b

Toets 3c

Toets 3d

Toets 4

Toets 4a

Toets 4b

Toets 4c

Toets 4d

Toets 5

Toets 5a

Toets 5b

Toets 5c

Toets 5d

  • opmerking: de juiste antwoorden voor vraag 3 van toets 5c zijn 1,2,3 en niet 1,2.