Datalogi betyder egentlig videnskaben om information. Uddannelsen handler ikke kun om computere, Gentlemen også om de generelle principper bag repræsentation og behandling af details. Og i udviklingen af nye it-systemer har man netop brug for at arbejde systematisk med disse principper.The fixpoint semantics counsel an algorithm for computing the