Domein G: Algoritmiek, berekenbaarheid en logica

G1: Complexiteit van algoritmen

[havo] de kandidaat van gegeven algoritmen de complexiteit vergelijken, en kan klassieke ‘moeilijke’ problemen herkennen en benoemen. [vwo] de kandidaathet verschil tussen exponentiële en polynomiale complexiteit uitleggen, kan algoritmen op basis hiervan onderscheiden, en kan klassieke ‘moeilijke’ problemen herkennen en benoemen.

G2: Berekenbaarheid

De kandidaat kan berekeningen op verschillende abstractieniveaus karakteriseren en relateren, en kan klassieke onberekenbare problemen herkennen en benoemen.

G3: Logica

De kandidaat kan eigenschappen van digitale artefacten uitdrukken in logische formules.