Inleiding Logica

Introduction to Logic

Studiewijzer 2025/2026

Globale inhoud

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. 

Studiemateriaal

Syllabus

• Een syllabus  staat p de Canvas site (boek.pdf)

Leerdoelen

• De student kan vertalen van en naar de formele notatie van verzamelingenleer.
• De student kan operaties uitvoeren op discrete structuren zoals verzamelingen, relaties, en functies.
• De student kan vertalen van en naar propositielogica en predicaatlogica.
• De student kan de geldigheid van argumenten verifiëren met behulp van waarheidstabellen, formele bewijzen, en modellen.
• De student kan wiskundige argumenten construeren voor beweringen met logische connectieven en kwantoren.
• De student kan de wiskundige noties uitleggen zoals `logisch gevolg', `tautologie'. `contradictie', en `tegenvoorbeeld'.

Onderwijsvormen

• Hoorcollege
• Werkcollege

Verdeling leeractiviteiten

Aanwezigheid

Aanvullende eisen voor dit vak:

Aanwezigheid bij de hoorcolleges wordt sterk aanbevolen.

Voor het werkcollege Inleiding Logica geldt een aanwezigheidsplicht. Als je bij minder dan 80% van de wekcolleges aanwezig bent, dan wordt er geen eindcijfer geregistreerd.

Toetsing

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 (29 september en 24 oktober). 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 20 december: 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.

Inzage toetsing

De manier van inzage wordt via de digitale leeromgeving gecommuniceerd.

Opdrachten

Iedere week worden er opdrachten gegeven die de maandag erop moeten worden ingeleverd. Deze worden nagekeken en tellen mee voor 10% van het uiteindelijke punt. De opdrachten zullen via canvas ter beschikking gesteld.

Er mag in kleine groepen worden samengewerkt aan het oplossen van de huiswerkopgaven, maar iedere student moet zelf de antwoorden uitwerken, opschrijven, en inleveren.

Fraude en plagiaat

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

Weekplanning

Aanvullende informatie

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!

Contactinformatie

Coördinator

• Balder ten Cate