Hoofdstuk 7: Complexiteit van berekeningen
Inhoud
Introductie
Verdere inhoud van hoofdstuk 7
Downloads
Hoofdstuk 7
Bij dit hoofdstuk bestaat een online programma dat kan worden gebruikt ter verdieping of ter illustratie. Bij het programma Bereikbaarheid kunt u het algoritme doorrekenen om te bepalen of gegeven twee knooppunten in een graaf de ene vanuit de andere bereikbaar is. In de cursustekst gebruikten we reeds een screenshot van dit programma.
Introductie
In de informatica gaat het om het juiste samenspel tussen de geschikte weergave of representatie van informatie (in getalstructuren, gegevensbanken, of andere vormen) en efficiënte berekening met die gegevens, met andere woorden om de interactie tussen, in het Engels: 'representation + computation'. En in ons cognitief gedrag vindt een vergelijkbaar samenspel plaats van informatieverwerking met een beperkte hoeveelheid tijd en aandacht.
Deze balans kan men goed bestuderen in het gedrag van logische systemen, die een evenwicht moeten vinden tussen logische uitdrukkingskracht en rekencomplexiteit. In het algemeen geldt: hoe rijker de taal, hoe moeilijker het rekenproces voor de centrale logische taken. De bedoeling van dit hoofdstuk is om enig inzicht te geven in deze balans, die vooral typerend is voor logische systemen die ontwikkeld zijn in de buurt van de informatica.
Verdere inhoud van hoofdstuk 7
Alle materiaal is te vinden in de file die gedownload kan worden (zie bovenaan deze pagina).
