Introduction to Logic
6 EC
Semester 1, periode 2
5082INLO6Y
In dit college worden basisbegrippen uit de propositie- en predicatenlogica behandeld, voorafgegaan door een inleiding in de verzamelingenleer. Ook worden een aantal toepassingen van verzamelingenleer en logica besproken. Binnen de logica is de belangrijkste notie dat van een logisch gevolg: wanneer volgt bewering B uit bewering A. Deze en andere noties worden semantisch gemodelleerd met waarheidstafels. Ook leren studenten afleidingen te vinden in diverse bewijssystemen, zoals natuurlijke deductie, resolutie en semantische tableaux, om aan te tonen dat B uit A volgt. Het modelleren (en oplossen) van problemen geformuleerd in natuurlijke taal krijgt extra aandacht. Gedurende het college wordt gestimuleerd dat opdrachten in LaTex worden gemaakt.
Een syllabus wordt op de Canvas site gezet
Het materiaal op de Canvas site van Practicum Academische Vaardigheden (www.practicumav.nl)
De student
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 Inleiding Logica + het PAV werkcollege geldt een aanwezigheidsplicht van 75%. Als je hier niet aan voldoet, dan wordt er geen eindcijfer geregistreerd.
| Onderdeel en weging | Details |
|
Eindcijfer | |
|
37.5% Deeltoets | |
|
37.5% Tentamen | |
|
10% Huiswerk | |
|
15% PAV |
Het eindcijfer bestaat uit een theoretisch gedeelte dat voor 75% meetelt en een praktisch gedeelte dat voor 25% meetelt. Voor beide gedeeltes moet minstens een 5.5 worden gehaald.
Het deelcijfer voor het theoretisch gedeelte wordt berekend op basis van twee deeltentamens (21 oktober en 19 december). Het eerste deeltentamen gaat over de stof van de eerste drie weken en het tweede deeltentamen over de stof van de laatste drie weken en beide deeltentamens wegen even zwaar. Het theoretisch gedeelte kan worden herkanst en het hertentamen vindt plaats op 27 februari: het hertentamen gaat over de gehele theoretische lesstof.
Het deelcijfer voor het praktisch gedeelte wordt berekend op basis van 6 huiswerkopgaven die voor 10% meetellen en een essay-opdracht die binnen PAV wordt gemaakt en voor 15% meetelt. Deze onderdelen kunnen niet worden herkanst en blijven staan voor hertentamen.
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 canvas ter beschikking gesteld.
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: http://student.uva.nl
De weekplanning kan worden gevonden op Canvas.
Hoorcolleges vinden plaats op dinsdag en donderdag. De werkcolleges vinden plaats na de hoorcolleges. (zie https://datanose.nl/).
Er vinden twee deeltentamens plaats: op 21 november en op 19 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 Canvassite. Hier vind je de noodzakelijke aanvullende informatie, zoals de groepsindeling van de werkcolleges en de opdrachten. Bekijk de Canvassite dus met grote regelmaat!