郭兴举主编2011 年出版248 页ISBN：9787534437557
教师的职业是崇高的。随着时代的进步、社会的发展，对教师提出的要求也越来越高，当然承受的压力也越来越大。但不管怎样，教师要努力培养自己职业幸福感，让自己成为幸福的老师，成为播种幸福的老师。...
清华大学计算机技术与科学系著2011 年出版257 页ISBN：9787302253785
本书以清华大学计算机科学与技术学科本科专业教育培养体系为主线，通过介绍本科专业教育的核心知识体系、专业学科能力和第二课堂活动等方面的内容，全面阐述了清华大学计算机科学与技术学科本科专业教育的人才...
（美）唐尼著2013 年出版216 页ISBN：9787115312808
本书作者基于自己在美国各所大学和学院讲授计算机程序设计课程的经验，开创了“像计算机科学家一样思考（How to Think Like a Computer Scientist）”的教学理念和方法。本书正是基于这样的方法，用全新的角度、丰...
陆钟万著2002 年出版263 页ISBN：7030096576
《面向计算机科学的数理逻辑（第2版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第2版）》在选材...
