Introductie Informatica en Informatiekunde/deel 2. activiteiten/8. engineering/theorie

theorie Theorie is de kunst van het ware en valse. (Carl-Friedrich von Weizsäcker) Geen theorie zonder abstractie. We willen de kracht van de ratio optimaal gebruiken. Theorie

Hoe kan men zeker weten dat alles klopt? doelen: aan het eind kunnen de deelnemers 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,

brainstorm

{{{brainstorm}}}

verkenning

1. We maken een domeintheorie (met ORM)
2. De (meta)theorie van ORM
   • volledigheid
   • consistentie
   • minimaliteit
   • transformatieregels
   • vertaling
3. temporele logica

pauzevraag

{{{pauzevraag}}}

concepten

• talige beschrijving
  • hoe exact?
  • hoe formeel?
  • beschrijven we wat er is of wat we willen?
  • empirie of meningen?
• abstractie
• theorieën
• talen
• semantiek, compilatie, interpretatie, virtuele machines, bootstrap

rode draad: cellulaire automaten

studietaak

voor ....

bootstrap

voor ...

een theorietje maken (temporele logica?)

materiaal

docenten

zalen