Computer Notes Theory