Crash Course Proof and Set Theory
Vrijdag 18 oktober 2019 15:15
- Vrijdag 18 oktober 2019 17:00
- 7 mensen gaan
De eerstejaars beginnen er net kennis mee te maken, maar voor de rest is het alweer een tijdje geleden. Bij inleiding logica zagen we voor het eerst inductie voorbij komen in de vorm van 'blurps'. Daarna kwamen we meerdere bewijstechnieken tegen in WisKI en pasten we ze ook toe tijdens DaKI. Met al die verschillende kennismakingen, zou je denken dat we inmiddels wel bekend zijn met inductie en bewijzen. Maar voor velen geldt dit absoluut niet, en voor de meesten is het in ieder geval deels weggezakt. Bij het vak Modale Logica voor KI gaan we weer opnieuw aan de slag met bewijzen. Daarom organiseert de Stoa een 'Crash course proof theory'.
TA Wouter Vromen gaat jullie tijdens dit evenement een korte herhaling geven van verschillende bewijstechnieken en bereidt jullie voor op het tweede blok! Daarna mogen jullie zelf aan de slag met oefenopgaven en wederom zullen er koekjes aanwezig zijn.
Zo kan het niet meer misgaan, toch? 😉
- Wie:
- StoCKI
- Wat:
- Crash Course Proof and Set Theory
- Waar:
- Drift 25 002
- Wanneer:
- 18 oktober 15:15-17:00