Uw huidige browser heeft updates nodig. Zolang u niet update zullen bepaalde functionaliteiten op de website niet beschikbaar zijn.
Let op: het geselecteerde rooster heeft overlappende bijeenkomsten.
Volgens onze gegevens heb je nog geen vakken behaald.
Je planning is nog niet opgeslagen
Let op! Uw planning heeft vakken in dezelfde periode met overlappend timeslot
Logica voor informatica
Cursusdoel
Het vak Logica voor Informatica is een introductie tot logica en speciaal ontworpen voor informatica studenten. Het belangrijkste leerdoel van dit vak is het kennismaken met de fundamentele (basis) concepten uit de verzamelingenleer, propositie- en predicatenlogica en de toepassing van logica om de correctheid van computer programma's te bewijzen. In het bijzonder, leren we
- met verzamelingen te werken en simpele eigenschappen ervan te bewijzen
- informatie in de talen van de propositie- en predicatenlogica uit te drukken en daarmee te redeneren
- verschillende technieken en bewijssystemen in propositie- en predicatenlogica te beheersen en ermee te werken.
- inductie over de natuurlijke getallen en rijkere datastructuren
Er zijn 2 deeltentamens en 7 minitoetsen. Het eindcijfer wordt bepaald door de tussentoets (40%), eindtoets (50%) en het gemiddelde cijfer van 6 minitoetsen met de hoogste cijfers (10%).
Om aan de aanvullende toets te mogen meedoen moet de oorspronkelijke uitslag minstens een 4 zijn.
Ingangseisen
Deze cursus staat vanwege overlap niet open voor studenten die WISB102 Bewijzen in de Wiskunde, KI1V13001 Inleiding Logica of FI1V19005 Logica voor Filosofen hebben gevolgd, of in hun programma moeten volgen.
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.
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
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
- Engels
Cursusmomenten
Gerelateerde studies
- Gametechnologie vanaf 2015-2016
- Gametechnologie vanaf 2023-2024
- Informatica en Informatiekunde vanaf 2023-2024
- Informatica en Informatiekunde vanaf 2024-2025
- Informatica vanaf 2023-2024
- Informatica vanaf 2024-2025
- Informatica voor 2019-2020
- Informatica voor HBO-studenten
- Informatiekunde vanaf 2015-2016
- Informatiekunde vanaf 2019-2020
- Informatiekunde vanaf 2020-2021
- Informatiekunde vanaf 2023-2024
- Informatiekunde vanaf 2024-2025
- Informatiekunde voor 2015-2016
Tentamens
Er is geen tentamenrooster beschikbaar voor deze cursus
Verplicht materiaal
Er is geen informatie over de verplichte literatuur bekend
Aanbevolen materiaal
Materiaal | Omschrijving |
---|---|
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
Inschrijving
Van maandag 18 september 2023 tot en met vrijdag 29 september 2023
Na-inschrijving
Van maandag 23 oktober 2023 tot en met dinsdag 24 oktober 2023
Inschrijving niet geopend
Permanente link naar de cursuspagina
Laat in de Cursus-Catalogus zien