Beweren en bewijzen/het verhaal/5. Methoden

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/het verhaal/5. Methoden
literatuur
  • Taxonomy/2. Methodology

Begrijpen waar het om gaat is niet genoeg, we moeten het ook doen: een gegeven ingewikkeld →artefact opsplitsen in onderdelen, een nog niet bestaand artefact ontwerpen, een ingewikkelde bewering correct opschrijven in de gewenste taal, een correcte redenering in elkaar zetten. Professionals doen zoiets op een systematische manier.

In de wereld van de IT wordt een groot aantal methoden gepropageerd, en sommige leer je in deze opleiding kennen. Hier richten we ons op methoden die zo algemeen en fundamenteel zijn, dat je ze als leidraad kunt gebruiken bij het leren van andere talen en methoden.