- ISBN:9787568540353
- 装帧:平装-胶订
- 册数:暂无
- 重量:暂无
- 开本:24cm
- 页数:263页
- 出版时间:2023-01-01
- 条形码:9787568540353 ; 978-7-5685-4035-3
本书特色
本书的主要内容是讨论经典二值逻辑演算系统的语形和研义研究.而经典二值逻辑系统是一种反映演绎推理规律的逻辑演算系统.但人类思维过程是极为丰富和复杂的,人类思维活动中的种种推理方式决非演绎推理所能完全囊括。
内容简介
全书共分为5章,其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义与构造,其论述尽量侧重于直观,而不讲究形式系统意义下的那种严格.第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容.第5章是有关经典二值逻辑系统的严格的语义研究.
目录
作者简介
朱梧槚,南京航空航天大学计算机科学与技术学院,教授、博士生导师,长期致力于数学基础与计算机科学理论的研究。 肖奚安,解放军理工大学理学院数学系,教授。 朱朝晖,南京航空航天大学计算机科学与技术学院,教授。研究方向为计算机科学中的逻辑学、进程代数。 周勇,南京航空航天大学计算机科学与技术学院,副教授。
-
大学生就业指导
¥27.6¥32.0 -
诺贝尔经济学奖获得者丛书;十三五国家重点出版物出版规划项目沙普利值
¥58.6¥80.0 -
环境邻避风险韧性治理研究
¥55.6¥78.0 -
中国农业品牌论:基于区域性前提的战略与传播研究
¥57.6¥80.0 -
水利水电工程对区域生态承载力的影响评价
¥115.2¥160.0 -
教育心理学:理论与教学实践
¥116.1¥159.0 -
时空信息支撑下的城市定量研究
¥125.3¥179.0 -
品茶有讲究·喝对才健康
¥24.1¥39.9 -
天线设计精细调控分析/厦门大学南强丛书第7辑
¥53.4¥68.0 -
纷乱中的秩序(2生命现象的偶然与必然)/生物学通报科普文选系列
¥44.5¥58.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