逻辑

牛市的逻辑 : 遵循牛市规律 轻松掘金股市 : follow the regularity of bull market dig gold from stock market easily

《牛市的逻辑 : 遵循牛市规律 轻松掘金股市 : follow the regularity of bull market dig gold from stock market easily》,作者:林汶奎编著 出版社:科学出版社 ISBN:9787508837529。本书充分结合中国内地股市的特点,着重解析了牛市形成的过程、原因及特点,并借鉴诸多资深国际投资专家多年的成功经验和总结出的相关理论成

烧旺理性的火焰——约翰谈逻辑

《烧旺理性的火焰——约翰谈逻辑》,作者:刘新文 编 出版社:科学出版社 ISBN:9787030521606。2006~2011年,清华大学刘奋荣教授主持了范本特姆教授的论文和著作的翻译工作,以“逻辑之门”为题,分四卷陆续出版。每一卷译著出版之后,著译者们都举办交流活动,然后以书面形式安排一次学术访谈。这些访谈涉及范本特姆教授在数理逻辑、哲学逻辑、逻辑思想史、逻辑应用、逻辑哲学等领域的主

主观逻辑及其应用

《主观逻辑及其应用》,作者:田俊峰,焦洪强,杜瑞忠 出版社:科学出版社 ISBN:9787030458070。本书共7章,主要包括:主观逻辑理论的扩展与改进、基于主观逻辑扩展的软件行为动态信任评价模型、基于主观逻辑的可信软件评估模型、基于多维主观逻辑的P2P信任模型、基于拓展主观逻辑的电子商务信任模型等。

集论与逻辑 : 面向计算机科学

《集论与逻辑 : 面向计算机科学》,作者:沈恩绍著 出版社:科学出版社 ISBN:7030110471。本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧,对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。

动态偏好逻辑

《动态偏好逻辑》,作者:刘奋荣著 出版社:科学出版社 ISBN:9787030289605。本书利用逻辑形式化的观点和方法,借助一阶逻辑和模态逻辑的语言,采用近年发展起来的动态认知逻辑的方法,为偏好和偏好的变化建立了逻辑模型,并对其进行了深入研究。

对偶三角模-三角余模逻辑及推理

《对偶三角模-三角余模逻辑及推理》,作者:张兴芳 出版社:科学出版社 ISBN:9787030432803。本书总结作者张兴芳2005年以来关于概率论、Lawry的适当测度理论、刘宝碇的不确定理论、模糊集理论与数理逻辑理论的结合研究成果。根据非经典命题和谓词的不确定性的各种特征,作者分别提出了相应的逻辑和推理方法,概括其本质分别称为随机命题的概率逻辑、Vague命题的Lawry对偶三角

逻辑、语言和认知

《逻辑、语言和认知》,作者:(荷)约翰·范本特姆著;刘新文,郭美云等译 出版社:科学出版社 ISBN:9787030254306。本书探讨了语言与计算机逻辑相关的一些重要主题,研究了逻辑与认知科学的联系,表明“反心理学”的教条已经不复存在,逻辑理论与经验实践之间正在不断交换思想。

逻辑动态系统代数状态空间法理论与应用

《逻辑动态系统代数状态空间法理论与应用》,作者:闫永义,岳菊梅 著 出版社:科学出版社 ISBN:9787030596987。本书介绍了一种新的系统建模、分析与综合的数学方法——逻辑动态系统代数状态空间法。该方法是在矩阵的半张量积的基础上发展而来的,在使用矩阵处理复杂的泛逻辑系统方面具有很大优势。全书共9章,第1~4章介绍逻辑动态系统代数状态空间法;第5~8章为其各种应用,包括有限自动机的动态建模

逻辑集成电路搭载机器人制作入门

《逻辑集成电路搭载机器人制作入门》,作者:(日)城井田胜仁著;李庆维,赵丽译 出版社:科学出版社 ISBN:7030116976。本书讲解了逻辑集成电路搭载机器人制作的准备,高亮度LED的安装,可见光传感器的安装,分析传感器反应用的逻辑电路制作,驱动部分的安装等内容。

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

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