]> 2022-02-18T16:25:24+01:00 Introductie Informatica en Informatiekunde/deel 2. activiteiten/8. engineering/theorie 0 nl * talige beschrijving ** hoe exact? ** hoe formeel? ** beschrijven we wat er is of wat we willen? ** empirie of meningen? * abstractie * <span class="sober">theorieën</span> * <span class="sober">talen</span> * semantiek, compilatie, interpretatie, virtuele machines, bootstrap * uitleggen wat de correctheidsstelling voor systemen betekent * ... * de definitie geven van de begrippen vertaling, interpretatie, virtuele machine, * in deze termen beschrijven hoe een machineprogramma in de computer terecht komt, * eenvoudige bootstrapprocessen formeel beschrijven, theorie Hoe kan men zeker weten dat alles klopt? 2010-05-30T06:24:37Z 2455346.7670949 Introductie Informatica en Informatiekunde/deel 2. activiteiten/8. engineering/theorie Introductie Informatica en Informatiekunde/Week 2. activiteiten/8. begrijpen 0 nl Introductie Informatica en Informatiekunde/Week 2. activiteiten/8. begrijpen