数学与科学

本丛书第十四辑将继续着力贯彻“让数学成为国人文化的一部分”的宗旨，展示数学丰富多彩的方面。本丛书的目的之一，是培养青年人热爱数学，找到正确的方向，经过艰苦努力在数学上取得重大成就，推动中国数学大踏步前...

郑用熙学术论文选集

洛特曼学术思想研究

本书内容为洛特曼文艺学思想、符号学理论，由53篇论文组成。

能量学 通俗学术性论著

钱人元学术论文选集

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

时间旅行与曲速引擎 快速穿越时空的科学指南

科幻小说使时间旅行变得轻而易举。接到了来自阿尔法星球的噩耗来电：没问题，按下曲速引擎，你将会在几分钟之后到达那里解决问题。即将来临的灾难可以避免吗？只要回到过去，在灾难发生前阻止它就OK了。但不幸的是，.....

当代中国化学家学术谱系

普通高等教育电子科学与技术类特色专业系列规划教材 物理光学导论 第2版

集成电路大类和电子工程大类本科专业强调对物理学基础知识的培养，然而在以往的教学实践中发现原有的课程的物理类设置不合理，尤其是一些物理类的基础课程讲解的内容过于繁复，部分内容与后续的专业学习联系不紧...

数学实验 信息与计算科学分册

本书概括了信息与计算科学专业共22门课程的108个实验，共368学时。实验项目分为基础演示性实验和验证设计性实验两种类型。第1章大学计算机基础（8个实验共16学时）；第2章程序设计与算法语言（8个实验共32学时）；第3 章...