Beweren en bewijzen/supplement/assistentie/taak 07

Uit Werkplaats
Ga naar: navigatie, zoeken

Hier wat informatie over Leertaak 7.

Opgave 1

  • Er moeten enkele regels tekst worden toegevoegd aan het dossier en er moet een werkstuk worden opgestart.
  • Daar valt voor jullie niet zo veel aan te becommentariëren. Hooguit als jullie zien dat de rest van de leertaak al wel afgemaakt is, maar er bij opgave 1 nog helemaal niets staat als 'gedaan' of zo.
  • Bij het aanmaken van werkstukpagina's gaat het nogal eens mis met de technische details:
    • Pagina op een verkeerde plek aangemaakt. Laat het dan even weten, dan kunnen wij de pagina misschien hernoemen.
    • Pagina's die niet onder in de lijst staan, maar wel rechts in het menu hebben waarschijnlijk de status niet ingevuld. Om dat te voorkomen stond er in de instructie dat de status op 'busy' gezet moest worden.

Opgave 2

  • Hier moeten (mogen) de studenten verschillende dingen doen. Daardoor is het wat lastiger om te beoordelen of de opdracht al voldoende is gemaakt.
  • Concentreer je op de correctheid van wat er staat.
    • Zijn toegevoegde basispredikaten inderdaad basaal of zijn het eigenlijk hulppredikaten?
    • Zijn de metingen enigszins realistisch?
    • Is de formele Coq-notatie in het domeinmodel correct?
    • Is het commentaar dat op andermans werk gegeven is zinnig?
    • Is de syntax van de formalisering correct?
    • Is de betekenis van de formalisering correct?