扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
多值逻辑的方法和理论:非正规多值逻辑研究 版权信息
- ISBN：9787030232472
- 条形码：9787030232472 ; 978-7-03-023247-2
- 装帧：暂无
- 册数：暂无
- 重量：暂无
- 所属分类：>
多值逻辑的方法和理论:非正规多值逻辑研究 本书特色
《多值逻辑的方法和理论:非正规多值逻辑研究》对这些思想给以简单总结。现代逻辑研究不仅仅是提出一种逻辑思想，更主要是从技术上开展研究，即建立逻辑系统，研究逻辑系统的性质、代数语义、与其他逻辑的关系等。《多值逻辑的方法和理论:非正规多值逻辑研究》将从这些方面对一类非正规多值逻辑进行处理。
多值逻辑的方法和理论:非正规多值逻辑研究 内容简介
本书回顾了多值逻辑发展简史，对一系列逻辑学家提出的一些逻辑系统及其语义和哲学背景给以介绍。
多值逻辑的方法和理论:非正规多值逻辑研究 目录
前言1 导论1.1 多值逻辑思想简史1.2 经典多值逻辑的语义1.2.1 Lukasiewicz三值逻辑的语义1.2.2 Post逻辑的语义解释1.2.3 Kleene三值逻辑及其语义1.2.4 Bochvar逻辑及语义1.3 鞠实儿的开放类逻辑1.3.1 开放类与知识处理1.3.2 Hume问题与开放类的逻辑特征1.3.3 SLO形式公理系统2 多值逻辑联结词及其判定问题2.1 预备知识和基本概念2.1.1 预备知识2.1.2 真值集2.1.3 基本概念2.2 多值逻辑的几类主要联结词2.2.1 正规的多值逻辑的几类联结词2.2.2 几种非正规的多值逻辑2.3 函数完备性问题2.3.1 函数完备性问题的几个主要定理2.3.2 不完备的多值联结词的判定3 多值逻辑的公理化、系统化3.1 一个函数完备的m值逻辑系统3.2 一个函数完备的三值逻辑系统3.3 L*的一阶谓词逻辑系统3.3.1 公理模式3.3.2 推理规则4 多值逻辑的代数语义4.1 几种多值逻辑的代数4.1.1 Moisil代数和Post代数4.1.2 MV代数4.1.3 L*公理系统的代数性质4.1.4 L*代数与三值Post代数的关系4.2 抽象代数逻辑方法4.2.1 逻辑、矩阵和代数的基本概念4.2.2 Frege原则和Lindenbaum-Tarski方法的推广4.2.3 抽象代数逻辑的核心理论参考文献会议论文集
展开全部
多值逻辑的方法和理论:非正规多值逻辑研究 节选
现代逻辑学产生以后，逻辑学走向了形式化、数学化的道路，除了经典逻辑，逻辑学中产生了各种非经典逻辑分支，多值逻辑就是其中的重要一支。《多值逻辑的方法和理论:非正规多值逻辑研究》系统介绍了多值逻辑的思想来源、各种系统及其语义解释；阐述了各种多值逻辑联结词，特别是无穷值逻辑的各种联结词及其构造，分析和整理了多值逻辑函数完备性问题的深刻结论；本书还构造了一类非正规多值逻辑L*的命题和谓词系统，并证明了其元逻辑性质；介绍了与多值逻辑有关的代数系统，另外，对抽象代数逻辑的一些结果给以介绍，这是研究多值逻辑的一个重要方法。《多值逻辑的方法和理论:非正规多值逻辑研究》在对一类非正规多值逻辑进行研究的同时，力图全面地展示多值逻辑研究的理论成果，可供逻辑学、数学、计算机科学、哲学及相关专业的研究人员、大学教师参阅。
书友推荐
- >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥40.6¥58.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥35.4¥68.0 - >
朝闻道
朝闻道
¥10.2¥23.8 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
随园食单
随园食单
¥20.6¥48.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥18.3¥45.8 - >
月亮与六便士
月亮与六便士
¥13.4¥42.0
本类畅销
-
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158 -
-
2022读者节纪念徽章-三星会员专属
¥45¥45.6 -
2023读书月阅读盲盒——我什么场面没见过？
¥42.3¥158 -
2023读书月阅读盲盒——去码头整点什么薯条？
¥42.3¥158
