几何定理计算机证明

本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...

逻辑代数与电子计算机习题解答及教学建议

逻辑代数与电子计算机习题解答及教学建议

离散数学 计算机数学基础教程

本教材主要介绍离散数学的集合论、组合论、图论、数理逻辑等知识。

实验数据的统计分析和计算机处理

电磁学及其计算机辅助教学 CAI

八十年代信息.计算机和通讯政策

物理学计算机程序设计50例

漫谈物理学和计算机

本书回顾了物理学与计算机的发展历史，阐述了物理学和计算机的密切关系以及相互促进的发展过程。

绿色微型无机化学实验

本书在绿色化学理念的指导下，向学生展示科学的无机化学实验方法，在保留常规实验操作规范和确保实验现象明显、实验结果可靠的同时，使实验试剂用量比常规实验平均减少90%，明显降低了实验费用，减少了环境污染。...