大约有3,403项符合查询结果项。（搜索耗时：0.0694秒）
为您推荐： 张量度规指标缩并 升降运算 激光干涉量度学 曲一线53初中全优卷七年级下册套装共8册生物道法历史地理人教版赠笔记本演算本必背古诗文错题本22版 佛教造像量度 网络演算 互联网确定性排队系统理论 佛教造像量度与仪轨
-
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
米库辛斯基算符演算和积分变换
周之虎编著2014 年出版118 页ISBN：9787566407009本书是作者在多年教学经验的基础上进行编写的，内容详实，思路清晰，介绍了复变函数的概念及其基本结论、米库辛斯基算符演算的基本理论及其一些辅助结果、直接方法和拉普拉斯变换、常系数线性微分方程和差分方程...
-
数理逻辑 基本原理与形式演算 第2版
李未著2014 年出版289 页ISBN：9787030401557本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...
-
-
传值CCS和∏－演算互模拟等价的验证理论和算法
曾淳主编；张春元，周珞晶副主编；李舟军著2005 年出版165 页ISBN：7810991523本书内容提出对转子系统中存在的复杂非线性行为展开研究，并对非线性行为的辨识方法以及基于混沌理论的转子故障时期诊断新方法进行了深入研究与探讨。本论文主要完成两个方面的研究工作；从碰摩转子实验系统中...
-
敦煌本《太上洞玄灵宝无量度人上品妙经》辑校
葉贵良辑校2012 年出版200 页ISBN：9787561455890本书深埋于敦煌藏经洞千年之久，不经整理已经无法卒读。笔者冀以一人之力恢复《度人经》之隋唐风貌，为敦煌学、道教学研究提供可靠的资料。本书由前言、辑校、附录三部分组成，辑校部分是本书的核心。辑校部分又...
-
数理逻辑：基本原理与形式演算
李未著2008 年出版255 页ISBN：9787030200969数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...
-
-
汉语量度形容词的不对称及其历时演变研究
石慧敏著2018 年出版216 页ISBN：9787548613671本书稿以汉语具有反义聚合关系的量度形容词为研究对象，从共时和历时两个角度对这个性质形容词的次范畴类进行较为全面深入、系统的研究。反义成对的量度形容词几乎都具有不对称现象，本书首先主要从构词能力、...