Taxonomy/Beweren en bewijzen
Uit Werkplaats
< Taxonomy
Deze hoofdstukken van Taxonomy of Computer Science zijn achtergrondliteratuur voor Introductie Informatica en Informatiekunde, verplichte literatuur voor Beweren en Bewijzen en nuttig voor meer cursussen:
- Rationality
- deductie, inductie, realiteit, beschrijvingen, structuur, eigenschappen, voorbeelden voor het rationaliteitsvierkant
- Models
- de vier werelden, structuur, eigenschappen, voorbeeld audioinstallatie, verschilledne views, abstractie, Chinese dozen
- Formal Methods
- rationaliteitsvierkant, specificatie, blauwdruk
- Correctness Theorems
- correctheidsstelling, voorbeeld stoplichten
- Development
- stakeholders, focus, hoe krijg ik een probleem scherp?
- Verification and validation
- beperking tot en verificatievraag
- Non-Monotonic Refinement
- een methode om tot een behapbare correctheidsstelling te komen (sinaasappelcasus uit III)