learning some comp sci theory