Tentamens Logica en Modelleren 11-12

• Voortentamen: vrijdag 30 september, 15.15 - 17.15, TenT 1
  
• Tentamen: woensdag 26 oktober, 15.15 - 18.00, zalen KC-137 en KC-159
  

(NB: Check de zaal voor het tentamen begint nog in het tentamenrooster!)

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 30 september

Alle behandelde stof tot en met het college van 28 september en de werkcolleges van 29 en 30 september. In het kort is dat:

• Natuurlijke deductie voor de propositielogica (Hoofdstuk 1 uit het boek, tot en met sectie 1.2)
• Correctheid en volledigheid (soundness en completeness) voor de propositielogica kennen als feit (paragrafen 1.4.3, 1.4.4 zonder bewijzen).
• Syntax van de predikatenlogica: parse trees, scope van een kwantor, gebonden en vrije variabelen (Hoofdstuk 2, tot en met paragraaf 2.2.3)
• Substitutie, het begrip "vrij voor x in φ" (hoofdstuk 2, paragraaf 2.2.4)
  
• Natuurlijke deductie voor de predikatenlogica (sectie 2.3). NB: nog geen regels voor =
• Semantiek van de predikatenlogica:
  • Hoofdstuk 2, sectie 2.4 geheel.
    
  • Tegenmodellen voor ongeldige semantische implicaties
  • Consistentie (= satisfiability: "heeft een model")
• Uitdrukken van aantallen, hoogstens en minstens met gelijkheid (=).
• Vertalen in de predikatenlogica, ook met gelijkheid.

Webtutor

Tentamenstof tentamen 26 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.
• Natuurlijke deductie voor de predikatenlogica nu ook met gelijkheid
  
• Vertalen in de predikatenlogica ook met gelijkheid: aantallen, minstens, hoogstens, etc.
• Semantiek van de predikatenlogica:
  • Correctheid en volledigheid van propositie- en predikatenlogica. 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 paragrafen 2.6.1 en 2.6.2.
    Bewijs en toepassingen van de Compactheidstelling.
    • Ondefinieerbaarheid van het begrip eindig
    • Ondefinieerbaarheid van bereikbaarheid in grafen
• Modale logica (hoofdstuk 5, tot en met par. 5.3.3)
• Het gebruik van Hoare triples voor programmaspecificatie (Hoofdstuk 4 tot en met Sectie 4.2)
  • Programmaatjes over de integers kunnen maken in de (zeer eenvoudige) "core programming language" van par. 4.2.1.
  • Programmatoestanden ("states", "stores") als look-up functies
  • De begrippen totale en partiële correctheid (par. 4.2.3)
  • Het gebruik van "logische variabelen" in de pre- en postcondities (par. 4.2.4)
• Formuleren van een query op een database als een formule in de predikatenlogica met (een) vrije variabele(n). Dit zowel in de relationele en de tuple-representatie van de tabellen van de database.

Oefententamens en uitwerkingen

Er zijn uitwerkingen beschikbaar van het voortentamen van 25 oktober 2002.
Ze zijn gescand als .jpg: opgave 1-3, opgave 4-5.

Uitwerking tentamen 23 oktober 2009 [1-3] [4-6] [6-7]

Er zijn uitwerkingen beschikbaar van het tentamen van 18 december 2000.