涵盖了编程和数据结构的基础知识，并为初学计算机科学的学生提供了不仅编写程序的机会，而且还提供了证明定理和分析算法的机会。