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
Inleiding logica
Cursusdoel
- Introductie tot de wiskunde nodig voor de moderne logica (wiskundige bewijzen, definities, etc.).
- Voorbereiding op het gebruik van logica in KI.
- Overzicht over de plaats van logica in KI.
Vakinhoudelijk
Wanneer is een inferentie logisch? Het antwoord dat een logicus zou geven is dat een inferentie logisch geldig is dan en slechts dan als de inferentie waarheid bewaart: als je assumpties waar zijn, dan is ook je conclusie waar. Het doel van de logica is een systematische theorie van geldige inferenties te ontwikkelen.
In deze cursus maak je kennis met de fundamentele concepten, methoden, en resultaten van de moderne logica met het oog op KI-toepassingen. Omdat moderne logica op een wiskundige manier op een wiskundige manier geformuleerd is, bevat de cursus verder nog een introductie tot wiskunde op universitair niveau.
Dit is een cursus op instapniveau. Je hebt dus geen voorkennis nodig behalve een klein beetje wiskunde uit de middelbare school en een beetje nieuwsgierigheid. De logica en wiskunde die je in deze cursus gaat leren bereidt je voor op de cursussen in ons KI-programma hier in Utrecht en vooral op symbolische KI, die een speciale plaats in ons programma inneemt.
Het cursusmateriaal (behalve Houston's boek) is digitaal beschikbaar onder: https://github.com/UtrechtUniversity/KI1V13001-Inleiding-Logica.
Met vragen over de cursus kom je het beste terecht onder: inleiding.logica@uu.nl
Let op: doe je zowel de bacheloropleiding Filosofie als de bacheloropleiding KI dan mag je maar één vak Logica laten opnemen (dus óf Inleiding logica voor KI óf Logica voor Filosofen).
Werkvormen
Voorbereiding
Maken van opgaven (werkcollege) en lezen van de betreffende literatuur (hoorcollege).
WerkcollegeToetsing
schriftelijk
Verplicht | Weging 50% | ECTS 3,75
schriftelijk
Verplicht | Weging 50% | ECTS 3,75
Opdracht(en)
Verplicht
Ingangseisen en voorkennis
Ingangseisen
Er is geen informatie over verplichte ingangseisen bekend.
Voorkennis
Er is geen informatie over benodigde voorkennis bekend.
Voertalen
- Nederlands
Cursusmomenten
Gerelateerde studies
- Honours Kunstmatige intelligentie
- Honours Taal- en cultuurstudies (GKG richtingen)
- Honours Taal- en cultuurstudies (niet-GKG richtingen)
- Keuzecursussen Filosofie en religiewetenschap
- Kunstmatige intelligentie (vanaf 2020-21)
- Kunstmatige intelligentie (vanaf 2021-22)
- Liberal Arts & Sciences (vanaf 2019-20)
- Minor Kunstmatige intelligentie (vanaf 2022-23)
- Taal- en cultuurstudies (vanaf 2020-21)
- Taal- en cultuurstudies (vanaf 2021-22)
- Taal geest en wereld
- Wiskunde en toepassingen vanaf 2019-2020
- Wiskunde en toepassingen vanaf 2020-2021
Tentamens
Type | Datum | Tijd | Locatie |
---|---|---|---|
schriftelijk | donderdag 13 oktober 2022 | 13:30 - 16:30 | |
schriftelijk | donderdag 3 november 2022 | 13:30 - 16:30 |
Verplicht materiaal
Materiaal | Omschrijving |
---|---|
WNB | Het dictaat wordt tijdens de cursus digitaal beschikbaar gemaakt. Verder is de volgende text verplicht: Houston, Kevin. 2009. How to Think Like a Mathematician. Oxford, UK: Oxford University Press. |
BOEK |
Aanbevolen materiaal
Er is geen informatie over de aanbevolen literatuur bekend
Opmerkingen
Cursus is uitsluitend voor KI-ers, LAS-ers, TCS-ers, minorstudenten en premaster-AI studenten.
Coördinator
dr. J. Korbmacher | J.Korbmacher@uu.nl |
Docenten
C.R. Caret | c.r.caret@uu.nl |
dr. J. Korbmacher | J.Korbmacher@uu.nl |
Inschrijving
Inschrijving
Van maandag 30 mei 2022 tot en met vrijdag 24 juni 2022
Na-inschrijving
Van maandag 22 augustus 2022 tot en met dinsdag 23 augustus 2022
Inschrijving niet geopend
Permanente link naar de cursuspagina
Laat in de Cursus-Catalogus zien