Beweren en bewijzen/supplement/assistentie/taak 08

Hier wat informatie over Leertaak 8.

Opgave 1

• Er hoeft niets aan het dossier te worden toegevoegd.
• Wel moet het hoofdstuk Structuur worden ingevuld.
• Jullie hoeven wat mij betreft weinig aandacht te besteden aan het hoofdstuk Focus, maar kijk wel naar de (makkelijker te beoordelen) technische aspecten uit het hoofdstuk Structuur:
  • Komen de namen die in het netwerk worden gebruikt overeen met de namen in de tabel met onderdelen en met de namen in het domeinmodel?
  • Staan er dingen in het netwerk die niet in het domeinmodel of die lijst met onderdelen staan? Of omgekeerd natuurlijk.
  • In de tabel met de korte beschrijvingen: staan daar specificaties? En komen die ook nog een beetje
  • Predikaten die geen tijdsparameter hebben zijn verdacht en waarschijnlijk fout voor dit werkstuk.
  • Bij de typering heb ik tot nu toe geregeld iets met math-mode gezien, maar het is veel handiger (en net zo goed) om gewoon de ascii-notatie te gebruiken.
  • Wordt bij de betekenis van de predikaten en functies verwezen naar de parameters die als invoer nodig zijn?
  • Is de syntax correct?

Opgave 2

• Hier kan van alles opgeschreven zijn, maar ik hoop dat het voor jullie duidelijk is wanneer welke dingen terecht als fout zijn aangemerkt en of de voorgestelde verbeteringen inderdaad verbeteringen zijn.

Opgave 3

• Omdat de tussenliggende blokken niet zijn opgeschreven, is het misschien lastig te beoordelen of het resultaat correct is.
• Maar probeer de uiteindelijke formule terug te vertalen naar natuurlijke taal en check dan of die vertaling min of meer overeenkomt met de oorspronkelijke zin.
• Ook hier graag letten op syntaxfouten.

Opgave 4

• Dit is traditioneel een opgave die nogal moeilijk is. Probeer dan ook niet 'de oplossing' te geven, maar alleen vragen te stellen bij dingen die verkeerd lijken.
• Wat men vaak doet is recursieve hulppredikaten maken, maar dat mag niet. Het hoeft hier ook niet omdat de graad tussen kroonprins en koning beperkt is.
• Wat wel te controleren valt is of dat er op het hoogste niveau goede gevalsonderscheidingen gemaakt worden en dat er juist met de koning wordt omgegaan. David heeft daarover iets in zijn slides staan.
• Sowieso moeten de gebruikte hulpdefinities logische namen hebben of voorzien zijn van duidelijke uitleg wat ze betekenen.