Beweren en bewijzen/het verhaal/6. Theorie

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/6. Theorie

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

literatuur

De exacte wetenschappen zijn eeuwenlang bezig om theorieën te ontwikkelen, die ons helpen bij het redeneren over bepaalde soorten vragen en bepaalde aspecten van de wereld. Hoe kunnen we daarvan gebruik maken?

Bij elk toepassingsgebied van de IT horen domeinspecifieke theorieën. Als voorbeeld beschouwen we onder andere real-timesystemen en een eenvoudig stukje theorie van de tijd.