沈恩绍著2003 年出版198 页ISBN：7030110471
21世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...
（美）R. Mark Meyer著；王瑾等译2003 年出版138 页ISBN：7505387049
本书通过实验讲述了计算机科学的各个基础部分，包括数字系统、逻辑电路、计算机周期、低级语言、计算机绘图、操作系统、磁盘规划、电子数据表、数据库、人工智能、网络、HTML基础、计算的局限性等内容。每个...
AlanW.Biermann，DietolfRamm著2002 年出版528 页ISBN：7040112582
陈华彬，梁玲编著2003 年出版304 页ISBN：7040123592
本书以最新的科学教育理论为基础，以建构主义为主线，运用主动参与式的学习模式，论述了科学的本质、科学素养的涵义及儿童是如何学习科学的等问题；同时，理论与实践相结合是本书最大的一个特点。书中运用大量的课堂...
