Computer Science Theories: Book 1