Taxonomy/Beweren en bewijzen

Uit Werkplaats
Ga naar: navigatie, zoeken
RationalitySquare.gif

Taxonomy
of Computer Science
Hanno Wupper
Hans Meijer
Angelika Mader
Stijn Hoppenbrouwers
Mieke Boon


 © comments


Related:

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)