Inleiding wiskundige logica

Introduction to Mathematical Logic

Studiewijzer 2017/2018

Globale inhoud

Dit vak biedt een inleiding in de twee belangrijkste formalismes uit de wiskundige logica: de propositielogica en de predicatenlogica; in beide gevallen worden zowel de formele taal, de semantiek als een afleidingssysteem (natuurlijke deductie) behandeld.

Wat betreft de propositielogica komen de volgende onderwerpen aan de orde: formules en inductie naar de complexiteit van formules, waarheidstafels, tautologieën en propositionele equivalenties, functionele volledigheid en disjunctieve normaalvormen, natuurlijke deductie, correctheid, volledigheid en compactheid (met bewijzen).

Van de predicatenlogica behandelen we de taal en semantiek van de eerste-orde logica, vertalen van natuurlijke taal naar de predicatenlogica, semantische begrippen als geldigheid en equivalentie, theorieën en axiomatiseringen, expressiviteit, natuurlijke deductie, correctheid, volledigheid en compactheid (zonder bewijs).

Meer gedetailleerde informatie over het vak is te vinden op de website: https://staff.fnwi.uva.nl/y.venema/teaching/ilo/

Studiemateriaal

Literatuur

Syllabus

• Yde Venema, Inleiding Wiskundige Logica (wordt aangeboden via de webpagina's van het college)

Overig

Leerdoelen

Aan het eind van het vak kan de student:

(1) op het gebied van de propositielogica:

o begrippen definiëren en beweringen bewijzen met behulp van formule-inductie;
o de waarheidstafel van een formule construeren;
o bepalen of een gegeven semantische gevolg-relatie geldt of niet;
o een formule omzetten in disjunctieve normaalvorm;
o geldige formules afleiden in het systeem van natuurlijke deductie;
o bewijzen dat het systeem van natuurlijke deductie correct en volledig is;
o bewijzen dat de propositielogica compact is.

(2) op het gebied van de predicatenlogica:

o in een gegeven structuur met bedeling de betekenis van een formule geven;
o een bewering vanuit de natuurlijke taal vertalen naar de predicatenlogica;
o eenvoudige geldige formules afleiden in het systeem van natuurlijke deductie;
o van eenvoudige structurele eigenschappen bepalen of ze in de predicatenlogica uitdrukbaar zijn of niet;
o het verband uitleggen tussen de begrippen theorie, definieerbaarheid en axiomatisering;
o de betekenis en het belang van de begrippen correctheid, volledigheid en compactheid aangeven.

Onderwijsvormen

• Hoorcollege
• Werkcollege

Verdeling leeractiviteiten

Aanwezigheid

Aanwezigheidseisen opleiding (OER-B):

• Van elke student wordt actieve deelname verwacht aan het onderdeel waarvoor hij/zij staat ingeschreven.
• Als een student door overmacht niet aanwezig kan zijn bij een verplicht onderdeel van het onderdeel, dient hij/zij dit zo snel mogelijk schriftelijk te melden bij de betreffende docent. De docent kan dan, eventueel na overleg met de studieadviseur, besluiten om de student een vervangende opdracht op te leggen.
• Het is niet toegestaan om verplichte onderdelen van een onderdeel te missen als er geen sprake is van overmacht.
• Bij kwalitatief of kwantitatief onvoldoende deelname, kan de examinator de student uitsluiten van verdere deelname aan het onderdeel of een gedeelte daarvan.
• Bij alle onderwijseenheden van jaar 1 en 2 is een student verplicht bij minimaal 80% van de werkcolleges en tutoraten aanwezig te zijn. Bovendien moet worden deelgenomen aan eventuele tussentoetsen en verplicht gesteld huiswerk. Als niet aan deze verplichting is voldaan, wordt de student uitgesloten voor de herkansing van de onderwijseenheid.

Aanvullende eisen voor dit vak:

Aanwezigheid bij de werkcolleges is verplicht. Als je niet bij minstens 80% van de werkcolleges aanwezig bent geweest dan vervalt je recht op het hertentamen, zoals vermeldt in het OER-B artikel 4.9 lid 2.

Toetsing

De score op het tentamen moet minimaal 50/100 zijn.

Het huiswerk met de laagste score telt niet mee voor het eindcijfer.

Inzage toetsing

De manier van inzage wordt via de webpagina van het vak gecommuniceerd.

Opdrachten

 Er zijn in totaal zes huiswerkopdrachten.

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: www.uva.nl/plagiaat

Weekplanning

Rooster

Het rooster van dit vak is in te zien op DataNose.

Honoursinformatie

Op dit vak is geen honoursuitbreiding mogelijk.

Contactinformatie

Coördinator

• Yde Venema