完全性
  1. 首页
  2. 完全性

列表

哥德尔不完全性定理

哥德尔不完全性定理

《哥德尔不完全性定理》,作者:（美）雷蒙德·M.斯穆瑞安（Raymond M.Smullyan）著;余俊伟译 出版社:科学出版社 ISBN:9787030596345。　　《哥德尔不完全性定理》主要介绍哥德尔不完全性定理，在用简单例子解说哥德尔的本质思想的基础上，证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理，给出了基于—致性的原初证明、基于简单一致性的证明、基于一
壹号书单 2019年01月01日
心血管慢性完全性闭塞病变的介入治疗

心血管慢性完全性闭塞病变的介入治疗

《心血管慢性完全性闭塞病变的介入治疗》,作者:George D. Dangas，Roxana Mehran，Jeffrey W. Moses主编；王勇，郑金刚主译 出版社:科学出版社 ISBN:9787030233226。本书对心血管慢性完全性闭塞病变治疗的新技术和器械进行了较为详细的介绍和总结。内容包括导丝的选择、前向和逆向方法的介绍．其中包括STAR技术和CART技术；同时介绍了当介入治疗遇到
壹号书单 2009年02月01日
逻辑——从三段论到不完全性定理

逻辑——从三段论到不完全性定理

《逻辑——从三段论到不完全性定理》,作者:熊明 出版社:科学出版社 ISBN:9787030477026。本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。本
壹号书单 2016年03月01日