当前位置：首页 > 名称
大约有461,702项符合查询结果项。（搜索耗时：0.7425秒）
为您推荐： 数理逻辑基本原理与形式演算第2版 数理逻辑 基本原理与形式演算 形式逻辑原理 王剑讲银行业 基本逻辑与分析方法 无人机基本原理与系统设计 完美的合同 基本原理及审查与修改
-
-
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
-
-
-
-
-
必然、蕴涵、世界与关系 模态逻辑的历史和基本理论探究
周祯祥著2017 年出版392 页ISBN：9787303225224逻辑学不割断历史，逻辑学是在对语言不断完善的过程中发展起来的，这是撰写本书的两个基本出发点。依据这两个出发点，本书选择了四个基本范畴，必然、蕴涵、可能世界和可通达关系，并且讨论了这四个基本范畴的历史沿...
学科分类
出版时间