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
Deze cursus overlapt met FI1V19005 – Logica voor Filosofen en FI2V23005 – Logica en Taal. Studeer je KI, dan moet je verplicht KI1V13001 volgen en mag je FI1V19005/FI2V23005 niet laten meetellen in je programma.
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 5 oktober 2023 | 13:30 - 16:30 | |
schriftelijk | vrijdag 3 november 2023 | 17:00 - 20:00 |
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 |
F. Yang | f.yang@uu.nl |
Inschrijving
Inschrijving
Van dinsdag 30 mei 2023 tot en met vrijdag 23 juni 2023
Na-inschrijving
Van maandag 21 augustus 2023 tot en met dinsdag 22 augustus 2023
Inschrijving niet geopend
Permanente link naar de cursuspagina
Laat in de Cursus-Catalogus zien