Beweren en bewijzen/supplement/planning (voor docenten)/het werk/taak/10

Uit Werkplaats
Ga naar: navigatie, zoeken
de opzet 2017-18    KalenderIcon.gif multimedia kwaliteit commentaren
site map

Beweren en bewijzen
Wijsheid omgaan met onzekerheid: met open blik op wankele ondergrond levenspad bewandelen
Vernuft aanpak van glibberige problemen precies redeneren op het hoogste niveau
vier zuilen → Artefacten Formalisering Taal Zekerheid
1. Rationaliteit Rationaliteitsvierkant 4 werelden Beweren is moeilijk Overtuigen
2. Modellen Focus Precisie Logica Stelling en bewijs
3. Model en realiteit Specificaties Domeinmodel Syntax en semantiek Waarheid
4. Correctheid Structuur Correctheidsstelling Typering Nagaan
5. Methoden Decompositie Systemat. vertalen Definities Natuurl. deductie
6. Theorie Domeintheorie Tijd Tijdslogica Wiskunde
7. Complexiteit Hiërarch. decompositie Vereenvoudigingen Modules Bewijsassistenten
8. Generalisering Standaardisatie Parametrisatie Talen Hulpstellingen
Beweren en bewijzen/supplement/planning (voor docenten)/het werk/taak/10
Studietaak 10: Afleidingen (2): natuurlijke deductie voor propositielogica (2)

Moet af zijn voor Fout: ongeldige tijd.. - KalenderIcon.gif

Let op de voorwaarde voor deelname aan responsiecolleges!

Beweren en bewijzen: "redeneren op het hoogste niveau over gemaakte dingen". In het verlengde van de vorige taak richte we ons nu op de wat moeilijkere regels van de natuurlijke deductie. KalenderIcon.gif

Achtergrond

Zie Beweren en bewijzen/het werk/taak/09.

Doel

literatuur

Je kunt eenvoudige stellingen uit de propositielogica bewijzen met natuurlijke deductie, met potlood en papier, maar ook met een bewijsassistent.

Instructie

Oefenstellingen.png
  1. Lees de instructies van Beweren en bewijzen/het werk/taak/09 nog eens goed door. Ze gelden ook voor deze taak.
  2. Lees de Beweren en bewijzen/het verhaal/5. Bewijzen/bewijsstrategie goed door. Zij helpt, veel gemaakte fouten te voorkomen.
  3. Wees erop voorbereid dat de bewijsregels voor ∨ en ¬ enige creativiteit verlangen. Je zult moeten puzzelen, en je zult moeten "backtracken" als je vastloopt.
  4. Maak nu enkele bewijzen voor alle voegtekens op papier en alle bewijzen uit het lijstje hiernaast met Coq. Sommige zullen moeilijk zijn, maar je moet het wel proberen.
  5. Een bewijs is bijzonder moeilijk en daarom hier uitgelegd: Beweren en bewijzen/supplement/casus/P of niet P
  6. Plaats dingen waarmee je vastloopt op tijd in deze werkplaats, want hier kan men elkaar helpen.

Product

  • Bewijsbomen op papier als entreebewijs voor het responsiecollege.
  • In deze werkplaats: Een verslagje van een paar regels: Wat heb je gedaan? Welke problemen ben je tegengekomen? Is het met Coq gelukt?

Reflectie

Zie Beweren en bewijzen/het werk/taak/09.

Inleveren

  • Je uitwerking maak je hier.
  • Zet op de eerste regel van je uitwerking precies dit: 
    {{individuele opdracht}}
  • Uiterste inleverdatum: {{{deadline}}} en geen minuut later - KalenderIcon.gif
  • Wil je deelnemen aan het responsiecollege moet je uitwerking op tijd af zijn en (indien MediaWiki correct functioneert) in het goede lijstje hieronder verschijnen.


"{{{deadline}}}" contains an extrinsic dash or other characters that are invalid for a date interpretation.
"{{{deadline}}}" contains an extrinsic dash or other characters that are invalid for a date interpretation.
Overgenomen van "https://lab.cs.ru.nl/algemeen/index.php?title=Beweren_en_bewijzen/supplement/planning_(voor_docenten)/het_werk/taak/10&oldid=40275"