Introduction to Logic
6 EC
Semester 1, periode 2
5082INLO6Y
| Eigenaar | Bachelor Kunstmatige Intelligentie |
| Coördinator | B. van den Berg |
| Onderdeel van | Bachelor Kunstmatige Intelligentie, jaar 1Bachelor Bèta-gamma, major Kunstmatige Intelligentie, jaar 2 |
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
|
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.
Aanwezigheidseisen opleiding (OER-B):
Aanvullende eisen voor dit vak:
Aanwezigheid bij de hoorcolleges wordt sterk aanbevolen.
Voor het werkcollege Inleiding Logica geldt een aanwezigheidsplicht van 75%. Als je hier niet aan voldoet, dan wordt er geen eindcijfer geregistreerd.
| Onderdeel en weging | Details |
|
Eindcijfer | |
|
1 (100%) Deeltoets |
Het eindcijfer bestaat uit een theoretisch gedeelte dat voor 90% meetelt en een praktisch gedeelte dat voor 10% meetelt. Voor beide gedeeltes moet minstens een 5.5 worden gehaald.
Het deelcijfer voor het theoretisch gedeelte wordt berekend op basis van twee deeltentamens (20 november en 17 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 januari: 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. Dit onderdeel kan niet worden herkanst en blijft staan voor hertentamen.
De manier van inzage wordt via de digitale leeromgeving gecommuniceerd.
Iedere week worden er opdrachten gegeven die de dinsdag de week daarna moeten worden ingeleverd. Deze worden nagekeken en tellen mee voor 10% van het uiteindelijke punt. De opdrachten zullen 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/).
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!