2013 年出版314 页ISBN：9787030389282
本书通过对传统词项逻辑的一般特征的分析，抓住联合演算的实质特点，划分了联合演算的两个层次，在此基础上提出结构分析的方法作为判明或建构永真式的一个依据，同时提出一个极近似于命题逻辑的范式判定方法，用于在...
2009 年出版160 页ISBN：9787302207252
通信是计算机的一个基本的、不可缺少的部分。通信可能发生在网路上的不同计算机之间，也可能发生在同一台计算机的各个部件之间。在本书中，作者介绍了一种为通信建模的新方法，其特点是将计算机及其程序都看作是...
1995 年出版315 页ISBN：7312007120
张培强主编.MATLAB语言演算纸式的科学工程计算语言.合肥：中国科学技术大学出版社
2006 年出版217 页ISBN：7508435907
密码学的研究与应用已有几千年的历史，但作为一门科学是20世纪50年代才开始的。不可否认，互联网的广泛应用大大推动了密码学的研究与发展。大多数国家和地区都成立了密码学学会，这些学会定期召开学术会议进行学...
2003 年出版469 页ISBN：7810930311
本书是源于世界著名的波兰数学家Mìkusìńskì上个世纪五十年代创立的算符演算理论，并对该理论进行理论和应用方面更深入的研究，既发展了原来的算符演算理论，又进一步拓宽了该理论的应用范围。...
2004 年出版331 页ISBN：7502548319
本书是高校化学专业用书，介绍了胶体与界面化学的基本概念、基础理论。
2012 年出版347 页ISBN：9787010109244
本书的逻辑学系统为概念逻辑。概念逻辑的名称来源于司各脱对逻辑学的理解。司各脱认为，概念是言语或词与事物之间的某种中间的东西。既然存在着关于事物的科学以及关于标志着什么词的科学，那么也应当存在着关...
2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
2005 年出版165 页ISBN：7810991523
本书内容提出对转子系统中存在的复杂非线性行为展开研究，并对非线性行为的辨识方法以及基于混沌理论的转子故障时期诊断新方法进行了深入研究与探讨。本论文主要完成两个方面的研究工作；从碰摩转子实验系统中...
