- ISBN:9787568540353
- 装帧:平装-胶订
- 册数:暂无
- 重量:暂无
- 开本:24cm
- 页数:263页
- 出版时间:2023-01-01
- 条形码:9787568540353 ; 978-7-5685-4035-3
本书特色
本书的主要内容是讨论经典二值逻辑演算系统的语形和研义研究.而经典二值逻辑系统是一种反映演绎推理规律的逻辑演算系统.但人类思维过程是极为丰富和复杂的,人类思维活动中的种种推理方式决非演绎推理所能完全囊括。
内容简介
全书共分为5章,其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义与构造,其论述尽量侧重于直观,而不讲究形式系统意义下的那种严格.第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容.第5章是有关经典二值逻辑系统的严格的语义研究.
目录
作者简介
朱梧槚,南京航空航天大学计算机科学与技术学院,教授、博士生导师,长期致力于数学基础与计算机科学理论的研究。 肖奚安,解放军理工大学理学院数学系,教授。 朱朝晖,南京航空航天大学计算机科学与技术学院,教授。研究方向为计算机科学中的逻辑学、进程代数。 周勇,南京航空航天大学计算机科学与技术学院,副教授。
-
新书--环境哲学译丛:现代环境主义导论
¥48.0¥98.0 -
零基础绘图学解剖(创新教材)/隋鸿锦,于胜波
¥70.4¥88.0 -
物联网与人工智能应用开发丛书电机和电源控制中的最新微控制器技术
¥26.3¥79.0 -
高效电弧等离子体技术及其应用
¥40.0¥50.0 -
中国饮食文化(课程思政版)
¥44.9¥59.8 -
钢筋施工翻样与预算算量(21世纪技能创新型人才培养系列教材·建筑系列;“十四五”新工科应用型教材建设项目成果)
¥40.1¥46.0 -
基于数据挖掘的盾构施工邻近建筑物安全实时预警与管控
¥64.8¥89.8 -
3S原理与应用(高等学校规划教材)
¥29.4¥36.0 -
汽车自动驾驶仿真测试蓝皮书
¥138.6¥198.0 -
全局优化问题的分支定界算法
¥85.0¥118.0
-
思想道德与法治(2021年版)
¥6.8¥18.0 -
中医基础理论
¥51.7¥59.0 -
当代中国政府与政治(新编21世纪公共管理系列教材)
¥36.0¥48.0 -
毛泽东思想和中国特色社会主义理论体系概论(2021年版)
¥9.0¥25.0 -
落洼物语
¥9.4¥28.0 -
习近平新时代中国特色社会主义思想概论
¥18.2¥26.0 -
艺术学概论
¥14.5¥37.4 -
粒子输运数值计算方法及其应用
¥42.8¥58.0 -
言语治疗学·全国中医药行业高等教育“十四五”规划教材
¥49.2¥56.0 -
艺术学概论
¥60.2¥79.0 -
毛泽东思想和中国特色社会主义理论体系概论
¥10.5¥25.0 -
马克思主义基本原理2021年版
¥8.4¥23.0 -
智能控制
¥40.2¥56.0 -
社会学概论(第二版)
¥34.0¥55.0 -
法理学(第二版)
¥18.0¥50.0 -
全国中医药行业高等教育“十三五”规划教材中医养生学/马烈光/十三五规划
¥36.8¥55.0 -
基于python的从学习编程到解决问题
¥35.4¥53.8 -
水利工程监理
¥28.3¥42.0 -
新编大学生军事理论与训练教程
¥13.7¥39.8 -
马克思主义理论研究和建设工程重点教材:管理学(本科教材)
¥18.3¥48.0