Computer theory exam