面向计算机科学的数理逻辑

《面向计算机科学的数理逻辑（第2版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第2版）》在选材...

高等院校计算机教材系列 离散数学习题与解析

本书是与计算机专业教材《离散数学》（机械工业出版社出版）相配套的辅导教材，内容按照教材对应章节的先后次序安排，每章不仅包括了内容概述和习题解答，而且还概括了每一章的知识点、重点、难点，增加了范例解析，......

计算方法丛书 典藏版 4 线性规划计算方法

计算实习 高等部分 第1分册 线性代数计算

计算机在化学中的应用

本书主要介绍计算机常规应用中的实用技术，Office办公软件、常用化学软件和Origin软件在化学化工中的常规应用和高级应用，介绍各类网络化学资源及使用方法，化学化工中测量数据数学处理的软件方法，以及VBA编程基...

高等学校计算机专业规划教材 离散数学

本书分4篇，共11章，第1篇是集合论，内容包括集合、关系、映射、无限集合及其势；第2篇是近代代数，内容包括代数系统，半群、独异点及群，环、体、域，以及格与布尔代数；第3篇是图论；第4篇是数理逻辑，内容包括命题......

大学生专业学习指南 分册12 数学与应用数学 信息与计算科学 统计学 计算机科学与技术 电子商务 软件工程

本书对数学与计算机科学学院所开专业所开设的6个专业进行介绍，并提供学习指导。

化学计量学 统计学与计算机在分析化学中的应用

本书全面讲解了化学计量学的基本知识与应用，既包括统计学方法、平滑滤噪、回归校正等传统内容，又包括近期发展起来的遗传算法、人工神经网络等新方法。...

红外与拉曼光谱的计算原理与计算程序 上

红外与拉曼光谱的计算原理与计算程序 下