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
Formal Logic (2025/2026: Semester 1 – Fall)
Cursusdoel
Er is geen informatie over het cursusdoel bekend.
Vakinhoudelijk
Er is geen informatie over de vakinhoud bekend.
Werkvormen
Toetsing
Participation
Verplicht | Weging 10% | ECTS 0,75
Wrtten exam A
Verplicht | Weging 35% | ECTS 2,63
Wrtten exam B
Verplicht | Weging 35% | ECTS 2,63
Project
Verplicht | Weging 20% | ECTS 1,5
*midterm FEEDBACK*
Niet verplicht
Ingangseisen en voorkennis
Ingangseisen
Er is geen informatie over verplichte ingangseisen bekend.
Voorkennis
At least 1 level 1 HUM course, or level 1 in Law or Political Science, or level 1 Mathematics.
Voertalen
- Engels
Cursusmomenten
Gerelateerde studies
Tentamens
Er is geen tentamenrooster beschikbaar voor deze cursus
Verplicht materiaal
-
BOEKOpen Logic Textbook (open access, edited by an international team of logicians; https://openlogicproject.org/)
-
BOEKJohan van Benthem, Hans van Ditmarsch, Jan van Eijck, Jan Jaspars “Logic in Action” (open access; https://www.logicinaction.org/)
-
BOEKAdam Björndahl “An introduction to classical and modal logics: The outlines of knowledge”
Aanbevolen materiaal
Er is geen informatie over de aanbevolen literatuur bekend
Opmerkingen
Counts towards SCC or HUM methodology.
Coördinator
| dr. N. Korotkova | n.korotkova@uu.nl |
Docenten
| dr. N. Korotkova | n.korotkova@uu.nl |
Inschrijving
Naar OSIRIS-inschrijvingen
Permanente link naar de cursuspagina
Laat in de Cursus-Catalogus zien
Laat in MyTimetable zien
klikt, stop je een vak in je rugzak, zodat je dit vak door de rest van de CursusPlanner mee kunt nemen.