Logic for Computer Science

Course goals

Leerdoelen	Wekelijkse minitoetsen	Toetsen
De student:	10%	40%+50%
kan gegevens modelleren met behulp van verzamelingen.	X	X
kan stellingen over zulke gegevens precies uitdrukken met behulp van propositie- en predicatenlogica.	X	X
kan zulke stellingen op verschillende manieren bewijzen, zoals mbv waarheidstabellen, bewijsstrategieën en natuurlijke deductie.	X	X
kan met behulp van inductie (oneindige) verzamelingen zoals de natuurlijke getallen en rijkere datastructuren definiëren, functies en relaties over zulke verzamelingen definiëren, en bewijzen met inductie opstellen.	X	X

Content

Logica wordt veelal gezien als de grondslag voor wetenschap. Het onderzoekt de regels voor de geldige manieren van redeneren. Redeneren is het proces waarmee uit een aantal beweringen, argumenten of feiten conclusies worden getrokken. Logica heeft veel raakvlakken met informatica. Verschillende deelgebieden binnen informatica, zoals databases, software systemen, kunstmatige intelligentie, theoretische informatica, games en simulaties maken gebruik van logica.

Werkvorm
Het vak wordt verzorgt in de vorm van hoorcolleges (2 keer per week) en werkcolleges (2 keer per week). Studenten krijgen wekelijks opdrachten waarvan sommige op de werkcolleges besproken worden. Het is nadrukkelijk de bedoeling dat de opdrachten voor de werkcolleges gemaakt worden zodat de problemen tijdens de werkcolleges kunnen worden besproken.

Additional information

NB Het Nederlands wordt als voertaal gebruikt in de colleges, de communicatie en de toetsing van deze cursus, tenzij betrokken docenten deze taal onvoldoende beheersen. Het gebruikte cursusmateriaal zal typisch Engelstalig zijn.