Beweren en bewijzen/supplement/planning (voor docenten)/mijlpaal/5

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)/mijlpaal/5

Aan deze pagina wordt nog gewerkt. Bedankt voor uw begrip.

Als je redelijk op schema ligt, zijn de contouren van je werkstuk duidelijk. Dan is ook duidelijk, of het "spannend" genoeg is, d.w.z. voldoende complex dat je ermee kunt aantonen, de doelen van de cursus gehaald te hebben. En niet veel complexer dan nodig, want het moet ook binnen het bestek van de cursus af.



Veel werkstukken liggen nog niet op schema:

Categorie BenB state red is niet gevonden
Categorie BenB state orange is niet gevonden

Op die manier mis je wellicht de kans om op tijd feedback te krijgen.




  • Omvang
    • Alle eerdere mijlpalen moeten zijn gehaald.
  • Consistentie
    • De informele en de formele specificaties, de lijst van onderdelen, het functioneel netwerk, het domeinmodel en de correctheidsstelling moeten nu bij elkaar passen;
  • Signaalkleur
    • Haal de kleurcode weg en laat alleen dit staan als signaal dat het werk opnieuw bekeken kan worden:
{{BenB/state|~~~~}}



Jullie werkstuk moet vóór de aangegeven deadline bijgewerkt zijn. KalenderIcon.gif


We zullen dan spoedig aangeven of het werkstuk spannend genoeg is en, indien nodig, adviseren hoe het itgebreid kan worden. Of juist vereenvodigd, als het te complex is. Wie deze mijlpaal mist, mist de gelegenheid op zo'n advies.