Tentamens Inleiding Logica 08-09
NB: De specificatie van de stof voor het tamen is
nu definitief.
- Voortentamen: maandag 29 september, 15.30 - 17.30, zaal Q105 en
Q112
- Tentamen: vrijdag 24 oktober, 15.15 - 18.00, zaal Q105 en Q112
Voor het voortentamen geldt de standaardregeling: deelname is niet
verplicht,
maar wordt sterk aangeraden. Het resultaat kan de tentamenuitslag
alleen
positief beinvloeden, het weegt dan voor 1/3 mee. Precies gezegd: als V
het cijfer voor het voortentamen is, en T het tentamencijfer,
dan is het eindcijfer
max(T, (2T+V)/3). De eventuele bonus van 0,5 voor het
practicum ProofWeb wordt hier nog eens bij opgeteld.
Het resultaat van het voortentamen en de bonus ProofWeb gelden ook
nog bij de herkansing, maar vervallen daarna.
Tentamenstof voortentamen 29 september
Alle behandelde stof tot en met het college van 23 september en de
werkcolleges van die week.
In het kort is dat:
- Syntax en semantiek van de propositielogica (Hoofdstuk 1
uit het boek, m.u.v. pararagrafen 1.5.3 en 1.6)
- (Ordered) Binary Decision Diagrams (hoofdstuk 6, alleen
paragraaf 6.1)
- Modale logica (hoofdstuk 5, tot en met par. 5.3.3)
- Syntax van de predikatenlogica: parse trees, scope van een
kwantor, gebonden en vrije variabelen (Hoofdstuk 2, paragrafen 2.2.2,
2.2.3)
- Vertalen in de predikatenlogica
Alle op het werkcollege behandelde
opgaven behoren tot de tentamenstof.
Webtutor
Het kan instructief zijn je kennis nog eens te testen met de webtutor.
Voor het voortentamen zijn alle vragen over Chapters 1 en 6 relevant,
van Chapter 2: 1, 2, 6, 7, 8, en van Chapter 5: 1, 2, 4, 5.
Bedenk wel dat de webtutor niet alle stof afdekt.
Tentamenstof tentamen 24 oktober
De stof beslaat het gehele college en alle op de werkcolleges
behandelde opgaven, dus met inbegrip van de stof van het voortentamen.
In het kort is dat:
- De boven gespecificeerde stof van het voortentamen.
- Vertalen in de predikatenlogica ook met gelijkheid: aantallen,
minstens, hoogstens, etc.
- Substitutie, het begrip "vrij voor x in φ" (hoofdstuk 2,
paragraaf 2.2.4)
- Natuurlijke deductie voor de predikatenlogica (sectie 2.3)
NB: de gelijheidsregels behoren niet tot de tentamenstof
- Semantiek van de predikatenlogica:
- Hoofdstuk 2, Sectie 2.4 geheel.
NB Over het bewijs van de correctheidstelling wordt niet gevraagd. Wel
moet je correctheid en volledigheid kunnen gebruiken om de equivalentie
van satisfiability (consistentie) en syntactische consistentie (false
niet afleidbaar) aan te tonen.
- Uit Sectie 2.5: het Post correspondence problem kennen en
globaal weten hoe het wordt gebruikt om geldigheid in de
predikatenlogica onbeslisbaar te bewijzen. Het bewijs van de
onbeslisbaarheid hoef je niet in detail te kunnen reproduceren.
- Sectie 2.6 met uitzondering van Secties 2.6.1 en 2.6.2.
Bewijs en toepassingen van de Compactheidstelling behoren tot de
tentamenstof.
NB Dit gedeelte over de Compactheidsteling
en het gebruik daarvan om in te zien dat bepaalde begripppen niet
gedefinieerd kunnen worden in de predikatenlogica staat niet in de oude
druk. Copieer die paar pagina's zonodig.
Alle op het werkcollege behandelde
opgaven behoren tot de tentamenstof. Het is ook weer goed te oefenen
met de webtutor.
Naast de vragen van het voortentamen zijn nu ook de vragen
van Chapter 2 relevant.
De webtutor dekt niet de gehele stof.
Oefententamens en uitwerkingen
Martijn heeft een webpagina met
uitwerkingen van werkcollege-opgaven, waaronder een paar met de
Compactheidstelling.
Er zijn uitwerkingen beschikbaar van het voortentamen van 25 oktober 2002.
Ze zijn gescand als .jpg: opgave 1-3,
opgave 4-5,
opgave 6.
Er zijn uitwerkingen beschikbaar
van het tentamen van 18 december 2000
(ps of pdf).
Als oefenvoorbeeld is ook een oude toets beschikbaar (ps of pdf).
Naar Inleiding Logica 08-09
Laatste wijziging: 22 oktober 2008
