Beweren en bewijzen/2009-10/werkstukken

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/2009-10/werkstukken

In de tabel hieronder verschijnen, als het goed is, alle werkstukprojecten. Instructies:

  1. Je vormt een groepje en kiest ee focus zo als bij Mijlpaal 2 uitgelegd. (Je mag het groepje later nog uitbreiden.)
  2. Je bedenkt een sprekende titel die de focus goed weerkgeeft. Bijvoorbeeld "S-Bahn Berlijn". (Je mag de focus en de titel later nog wijzigen.)
  3. Je maakt onder de pagina die je nu aan het lezen bent een subpagina aan met deze titel, bijvoorbeeld:
    Beweren en bewijzen/het werk/werkstuk/2009-10/S-Bahn Berlin
  4. Je zet de volgende code aan het begin van deze nieuwe pagina, waarbij je natuurlijk als auteurs de namen van de groepsleden vermeldt:
{{BenB/werkstuk
|auteurs=Hanno Wupper, David Jansen, Engelbert Hubbers
}}
{{subst::Beweren en bewijzen/het werk/werkstuk/de opbouw}}


*) Wat betekenen de kleurcodes bij projectverslagen?