Logica voor informatica (2026/2027: Periode 2)

Bekijk rooster Print deze pagina

Cursusdoel

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

Vakinhoudelijk

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.

Aanvullende informatie

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.

Werkvormen

Hoorcollege

Werkcollege

Toetsing

Eindresultaat

Verplicht | Weging 100% | ECTS 7,5

Ingangseisen en voorkennis

Ingangseisen

Je kunt deze cursus niet volgen als je één van de volgende cursussen hebt afgerond:

Voorkennis

Er is geen informatie over benodigde voorkennis bekend.

Voertalen

  • Nederlands

Cursusmomenten

Gerelateerde studies

Tentamens

Er is geen tentamenrooster beschikbaar voor deze cursus

Verplicht materiaal

  • BOEK
    "Modelling Computing Systems: Mathematics for Computer Science" van Faron Moller en Georg Struth. Een digitale versie van dit boek is gratis verkrijgbaar via de Universiteitsbibliotheek.
  • DICTAAT
    Voor de laatste weken wordt gebruik gemaakt van een diktaat.

Aanbevolen materiaal

  • SOFTWARE
    Geen software nodig.

Coördinator

dr. W.S. Swierstra W.S.Swierstra@uu.nl

Docenten

dr. P.R. North p.r.north@uu.nl
dr. W.S. Swierstra W.S.Swierstra@uu.nl

Inschrijving

Deze cursus is open voor bijvakkers. Controleer wel of er aanvullende ingangseisen gelden.

Naar OSIRIS-inschrijvingen
Permanente link naar de cursuspagina
Laat in de Cursus-Catalogus zien
Laat in MyTimetable zien