Logica voor informatica (2024/2025: 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

Ingangseisen

Deze cursus staat vanwege overlap niet open voor studenten die WISB102 (Bewijzen in de Wiskunde), KI1V13001 (Inleiding Logica), FI1V19005 (Logica voor Filosofen) of KI1V24001 (Logische methoden voor KI I) hebben gevolgd, of in hun programma moeten volgen.

Vakinhoudelijk

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.

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.

Literatuur
"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.
Naast dit boek, wordt voor de laatste weken gebruik gemaakt van een diktaat.

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

Er is geen informatie over de verplichte literatuur bekend


Aanbevolen materiaal

  • SOFTWARE
    Geen software nodig

Coördinator

dr. W.S. Swierstra w.s.swierstra@uu.nl

Docenten

dr. F. Lucatelli Nunes f.lucatellinunes@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.

Inschrijving
Van maandag 16 september 2024 tot en met vrijdag 27 september 2024

Na-inschrijving
Van maandag 21 oktober 2024 tot en met dinsdag 22 oktober 2024

Inschrijving niet geopend
Permanente link naar de cursuspagina
Laat in de Cursus-Catalogus zien