全部
仅显示有全文权限
学科
哲学
(14)
数学
(1)
语言学
(1)
心理学
(1)
图书类型
专著
(12)
教育-大学
(2)
出版时间
2024
(1)
2023
(1)
2022
(1)
2021
(1)
2020
(1)
2018
(1)
2017
(1)
2016
(2)
2013
(1)
2012
(1)
2010
(1)
2009
(1)
2008
(1)
共计：14种图书 , 显示 1到10
导出
荐购：
全选 |
自选
全选
荐购
取消
默认排序
出版日期降序
出版日期升序
图书名称
作者
逻辑——从三段论到不完全性定理
作者：
熊明
ISBN：
9787030477026
出版社：
科学出版社
出版日期：
2016-03
简介：
本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。本
引用
互模拟理论的逻辑研究
作者：
姚从军
ISBN：
9787030486202
出版社：
科学出版社
出版日期：
2016-07
简介：
本书从逻辑的角度研究互模拟，主要以模型论、集合论和模态逻辑的知识为背景，意在从历史层面揭示互模拟在模态逻辑和非良基集合论中的发展过程，从理论层面探讨互模拟的基本理论和作用。
本书的内容主要包括互模拟的发展历程、互模拟的基本理论和性质、互模拟与模态等价之间的关系、基于互模拟的
引用
多值逻辑的方法和理论 : 非正规多值逻辑研究
作者：
霍书全著
ISBN：
9787030232472
出版社：
科学出版社
出版日期：
2009-04
简介：
本书系统介绍了多值逻辑的思想来源、各种系统及其语义解释；阐述了各种多值逻辑联结词，特别是无穷值逻辑的各种联结词及其构造，分析和整理了多值逻辑函数完备性问题的深刻结论。
引用
基于三角模的模糊逻辑理论及其应用
作者：
裴道武著
ISBN：
9787030388759
出版社：
科学出版社
出版日期：
2013-10
简介：
本书系统阐述了模糊逻辑系统领域的理论与应用研究成果，包括有修正的Kleene逻辑系统、基本逻辑系统，以及Monoidal模糊逻辑系统及其形式化理论；以三角模为主线，对于以上提及的模糊逻辑系统做统一的处理，并且突出模糊逻辑在近似推理中的应用。
引用
现代认知逻辑的理论与应用
作者：
唐晓嘉，郭美云主编
ISBN：
9787030287465
出版社：
科学出版社
出版日期：
2010-10
简介：
本书主要讨论传统的单主体认知逻辑、时态逻辑、群体知识和多主体认知逻辑、公开宣告逻辑、博弈逻辑、信念修正的动态逻辑、非逻辑全知主体的逻辑等。
引用
分次模态语言的模型论
作者：
马明辉著
ISBN：
9787030343925
出版社：
科学出版社
出版日期：
2012-07
简介：
本书给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言；此外，在关系语义学下，还给出了结构类的可定义性定理。
引用
模糊逻辑及其代数分析
作者：
张小红著
ISBN：
9787030221452
出版社：
科学出版社
出版日期：
2008-07
简介：
本书论述了模糊逻辑形式化系统及相关代数结构问题，主要是作者近年研究工作的总结，同时也介绍了与之相关的国内外众多学者的最新成果。
引用
临界的传递逻辑——模态逻辑的濒表格性问题探究
作者：
杜珊珊,康宏逵 著
ISBN：
9787030530813
出版社：
科学出版社
出版日期：
2017-07
简介：
本书详述传递的濒表格逻辑的判据及其应用，以及在此基础上所做的关于濒表格逻辑的若干研究结果，解决了传递逻辑格的濒表格性的语义判据，以及传递逻辑格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题，展示了如何将已有的传递的濒表格逻辑的结果纳入本书提出的方法和视野。全书共分为
引用
多值逻辑博弈语义研究
作者：
陈招万 著
ISBN：
9787030535092
出版社：
科学出版社
出版日期：
2018-06
简介：
多值逻辑在人们的现实生活中获得广泛的应用，但一直未能寻找到一个让人们满意的、符合人们直觉的语义解释。特征函数语义、代数语义、可能世界语义从多值逻辑的数学性质构建多值逻辑语义模型，这些模型预设了语义解释的唯一性，却忽视了人们把握和理解多值逻辑语言的过程，破坏了语义解释的现实基础。本
引用
博弈、理性与认知——逻辑视阈下的认知博弈研究
作者：
崔建英 著
ISBN：
9787030646125
出版社：
科学出版社
出版日期：
2020-03
简介：
本书首先揭示了博弈与逻辑之间的联系，介绍了博弈理论中关于博弈认知问题的背景知识。其次，讨论了建构博弈认知模型的基本途径，分析了静态博弈中理性主体信息交换推理问题，以及几种建构完美信息动态博弈解（子博弈精炼均衡）的认知基础的逻辑系统。再次，联合几类不同描述主体信息跟新技术，示例
引用
首页
«
1
2
»
末页
10条/页
10条/页
20条/页
50条/页
跳至
页
返回顶部
×
图书荐购
*
姓名:
*
机构名称:
*
院/系/所:
*
推荐人邮箱:
推荐理由:
