Introduction to Logic
6 EC
Semester 1, periode 2
5082INLO6Y
De basisbegrippen van de verzamelingenleer worden behandeld. Vervolgens worden een paar toepassingen besproken. Dat zijn bijvoorbeeld het modelleren van natuurlijke taal, het classificeren van wiskundige functies, het modelleren van databases, en het inzicht dat niet alles berekenbaar is. Basisbegrippen van de propositielogica en de predicaatlogica worden behandeld. Daarvan is de belangrijkste de notie logisch gevolg: wanneer volgt bewering B uit bewering A. Deze en andere noties worden gemodelleerd met waarheidstafels. Het modelleren (en oplossen) van problemen geformuleerd in natuurlijke taal krijgt extra aandacht. Gedurende het college wordt gestimuleerd dat opdrachten in LaTex worden gemaakt.
De student
Hoorcollege en werkcollege. Voor het werkcollege geldt een aanwezigheidsplicht van 75%.
Practicum Academische Vaardigheden: 1 à 2 uur per week plus zelfstudie
|
Activiteit |
Aantal uur |
|
Deeltoets |
2 |
|
Hoorcollege |
24 |
|
Tentamen |
2 |
|
Werkcollege |
24 |
|
Zelfstudie |
116 |
Het vak telt voor 6 ects, wat betekent dat mag worden verwacht dat de studenten, naast het volgen van hoor- en werkcolleges, gemiddeld per week nog 10 a 12 uren werken voor dit vak.
Het onderwijs in academische vaardigheden is deels belegd in Practica Academische Vaardigheden (PAV). Deze practica maken deel uit van het lesprogramma van dit vak en worden verzorgd door tutoren en de coördinator academische vaardigheden.
Voor BSc Kunstmatige Intelligentie studenten is het volgen van PAV een voorwaarde om dit vak te kunnen afsluiten. Hiervoor geldt onder andere een aanwezigheidsplicht. Studenten die geen BSc Kunstmatige Intelligentie studeren, zijn vrijgesteld van deze practica.
Ouderejaars studenten BSc KI kunnen in aanmerking komen voor vrijstelling voor dit practicum. Zij dienen in alle gevallen voor aanvang van het vak contact op te nemen met de coördinator academische vaardigheden, Anja Ruhland (a.m.ruhland@uva.nl). Er wordt dan besproken of zij vrijstelling krijgen voor het PAV of dat zij het PAV dienen te volgen. In dat laatste geval worden zij ingedeeld in een practicum-/tutorgroep voor dit vak.
Aanwezigheidseisen opleiding (OER-B):
Aanvullende eisen voor dit vak:
Aanwezigheid bij de hoorcolleges wordt sterk aanbevolen.
Voor het werkcollege geldt een aanwezigheidsplicht van 75%. Als je hier niet aan voldoet, dan wordt er geen eindcijfer geregistreerd.
Voor het PAV geldt een aanwezigheidsplicht en een participatieplicht.
| Onderdeel en weging | Details | Opmerkingen |
|
Eindcijfer | ||
|
90% Tentamens | Moet ≥ 5.5 zijn, Herkansbaar | |
|
50% Tussentoets | ||
|
50% Afsluitend tentamen | ||
|
10% Huiswerkopgaven | Moet ≥ 5.5 zijn | Deadline: aan het eind van de week waarin de opdracht gegeven is |
De tussentoets en het afsluitend tentamen kunnen alleen worden herkanst als hier daadwerkelijk is aan meegedaan (ziekte of andere aantoonbare zwaarwegende redenen uitgezonderd), en als voldoende is geparticipeerd aan de werkcolleges en de huiswerkopgaven altijd zijn ingeleverd. Datum, plaats en tijdstip van een eventuele herkansing wordt in nader overleg bepaald.
Je hebt alleen recht om deel te nemen aan de herkansing van het vak als je ook aan het eerste tentamen of eerste toetsmoment hebt deelgenomen en aan alle samenstellende voorwaarden (o.a. aanwezigheidsplicht, verplichte opdrachten etc.) hebt voldaan. Als dat het geval is en je haalt het tentamen niet, word je automatisch aangemeld voor het hertentamen. Als je niet aan alle voorwaarden hebt voldaan of niet deelneemt aan de eerste tentamenkans, word je niet ingeschreven voor de herkansing en moet je het vak het jaar daarna opnieuw doen. Als je om aantoonbare zwaarwegende redenen niet aan alle samenstellende onderdelen kunt voldoen of niet kunt deelnemen aan de eerste tentamenkans, dien je je voorafgaand aan het toetsingsmoment (tentamen, inleveren opdracht, inleveren paper etc.) te melden bij de studieadviseurs. In geval van aantoonbaar zwaarwegende omstandigheden wordt er dan in samenspraak met de docent gekeken of er een andere oplossing mogelijk is.
De manier van inzage wordt via de digitale leeromgeving gecommuniceerd.
Iedere week worden er op dinsdag opdrachten gegeven, die voor de dinsdag de week daarna moeten worden ingeleverd. Deze worden nagekeken, en tellen mee voor 10% van het uiteindelijke punt. De opdrachten staan meestal in de syllabus, maar zullen anders via blackboard ter beschikking gesteld.
Onderstaande opdrachten komen aan bod in deze cursus:
Dit vak hanteert de algemene 'Fraude- en plagiaatregeling' van de UvA. Hier wordt nauwkeurig op gecontroleerd. Bij verdenking van fraude of plagiaat wordt de examencommissie van de opleiding ingeschakeld. Zie de Fraude- en plagiaatregeling van de UvA: www.uva.nl/plagiaat
Voor de weekplanning, zie het stuk `planning' op blackboard.
Hoorcolleges vinden plaats op dinsdag en donderdag. De werkcolleges vinden plaats na de hoorcolleges. (zie https://datanose.nl/).
Er vinden twee deeltentamens plaats: op 23 november en op 21 december. Het eerste deeltentamen gaat over verzamelingenleer en propositielogica en het tweede deeltentamen over predikatenlogica.
Het rooster van dit vak is in te zien op DataNose.
Dit vak heeft een Blackboardsite. Hier vind je de noodzakelijke aanvullende informatie, zoals de groepsindeling van de werkcolleges, de opdrachten. Bekijk de Blackboardsite dus met grote regelmaat!