演算

• 

  论联合演算

  下载压缩包购买电子书

  马雷著 2013 年出版314 页ISBN：9787030389282

  本书通过对传统词项逻辑的一般特征的分析，抓住联合演算的实质特点，划分了联合演算的两个层次，在此基础上提出结构分析的方法作为判明或建构永真式的一个依据，同时提出一个极近似于命题逻辑的范式判定方法，用于在...

• 

  高等数学习题解 上

  下载压缩包购买电子书

  蒋众益等演算 1982 年出版1062 页ISBN：7288·22

• 

  高等数学习题解 下

  下载压缩包购买电子书

  蒋众益 高福岐 蒋非非等演算 1983 年出版619 页

• 

  通信与移动系统 π演算

  下载压缩包购买电子书

  RobinMilner编著 2009 年出版160 页ISBN：9787302207252

  通信是计算机的一个基本的、不可缺少的部分。通信可能发生在网路上的不同计算机之间，也可能发生在同一台计算机的各个部件之间。在本书中，作者介绍了一种为通信建模的新方法，其特点是将计算机及其程序都看作是...

• 

  张量分析及演算

  下载压缩包购买电子书

  余天庆编著 1996 年出版351 页ISBN：7560912680

• 

  MATLAB语言 演算纸式的科学工程计算语言

  下载压缩包购买电子书

  张培强主编 1995 年出版315 页ISBN：7312007120

  张培强主编.MATLAB语言演算纸式的科学工程计算语言.合肥：中国科学技术大学出版社

• 

  密码学-加密演算法

  下载压缩包购买电子书

  邓安文编著 2006 年出版217 页ISBN：7508435907

  密码学的研究与应用已有几千年的历史，但作为一门科学是20世纪50年代才开始的。不可否认，互联网的广泛应用大大推动了密码学的研究与发展。大多数国家和地区都成立了密码学学会，这些学会定期召开学术会议进行学...

• 

  中学数学复习题演算 解析几何、微积分、概率部分

  下载压缩包购买电子书

  南京师范学院数学系编写组著 1982 年出版203 页ISBN：7100·148

• 

  中学数学复习演算 代数部分

  下载压缩包购买电子书

  南京师范学院数学系编写组著 1981 年出版167 页ISBN：7100·079

• 

  逻辑演算

  下载压缩包购买电子书

  刘壮虎著 1993 年出版200 页ISBN：7500414250

• 

  Mikusinski算符演算理论与应用

  下载压缩包购买电子书

  周之虎著 2003 年出版469 页ISBN：7810930311

  本书是源于世界著名的波兰数学家Mìkusìńskì上个世纪五十年代创立的算符演算理论，并对该理论进行理论和应用方面更深入的研究，既发展了原来的算符演算理论，又进一步拓宽了该理论的应用范围。...

• 

  中学数学复习题演算 平面几何、立体几何、三角部分

  下载压缩包购买电子书

  南京师范学院数学系编著 1981 年出版265 页ISBN：7100·100

• 

  胶体与界面化学 概要、演算与习题

  下载压缩包购买电子书

  赵振国编 2004 年出版331 页ISBN：7502548319

  本书是高校化学专业用书，介绍了胶体与界面化学的基本概念、基础理论。

• 

  政治经济学理论的数学演算 资本主义部分

  下载压缩包购买电子书

  魏埙等著 1985 年出版366 页ISBN：4086·196

• 

  思维的演算

  下载压缩包购买电子书

  王春华著 2012 年出版347 页ISBN：9787010109244

  本书的逻辑学系统为概念逻辑。概念逻辑的名称来源于司各脱对逻辑学的理解。司各脱认为，概念是言语或词与事物之间的某种中间的东西。既然存在着关于事物的科学以及关于标志着什么词的科学，那么也应当存在着关...

• 

  λ-演算的语法和语义

  下载压缩包购买电子书

  （荷兰）H.P.巴伦德莱赫特（H.P.Barendregt）著 朱一清译 1992 年出版417 页ISBN：7305020508

• 

  交互式定理证明与程序开发 Coq归纳构造演算的艺术

  下载压缩包购买电子书

  YvesBertot PierreCasteran等著 2010 年出版432 页ISBN：9787302208136

  Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

• 

  传值CCS和∏－演算互模拟等价的验证理论和算法

  下载压缩包购买电子书

  曾淳主编 张春元 周珞晶副主编 李舟军著 2005 年出版165 页ISBN：7810991523

  本书内容提出对转子系统中存在的复杂非线性行为展开研究，并对非线性行为的辨识方法以及基于混沌理论的转子故障时期诊断新方法进行了深入研究与探讨。本论文主要完成两个方面的研究工作；从碰摩转子实验系统中...

• 

  萍课演算

  下载压缩包购买电子书

  2222 年出版81 页

• 

  张量分析及演算

  下载压缩包购买电子书

  2222 年出版0 页