- ISBN:9787568540353
- 装帧:平装-胶订
- 册数:暂无
- 重量:暂无
- 开本:24cm
- 页数:263页
- 出版时间:2023-01-01
- 条形码:9787568540353 ; 978-7-5685-4035-3
本书特色
本书的主要内容是讨论经典二值逻辑演算系统的语形和研义研究.而经典二值逻辑系统是一种反映演绎推理规律的逻辑演算系统.但人类思维过程是极为丰富和复杂的,人类思维活动中的种种推理方式决非演绎推理所能完全囊括。
内容简介
全书共分为5章,其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义与构造,其论述尽量侧重于直观,而不讲究形式系统意义下的那种严格.第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容.第5章是有关经典二值逻辑系统的严格的语义研究.
目录
作者简介
朱梧槚,南京航空航天大学计算机科学与技术学院,教授、博士生导师,长期致力于数学基础与计算机科学理论的研究。 肖奚安,解放军理工大学理学院数学系,教授。 朱朝晖,南京航空航天大学计算机科学与技术学院,教授。研究方向为计算机科学中的逻辑学、进程代数。 周勇,南京航空航天大学计算机科学与技术学院,副教授。
-
词汇化:汉语双音词的衍生和发展(修订本)
¥48.6¥68.0 -
21世纪会计系列教材税法(第8版)/王红云/21世纪会计系列教材;省级优秀教材;省级十二五规划教材
¥19.2¥48.0 -
运动控制系统综合实验教程
¥34.7¥45.0 -
仪器科学与科技文明
¥38.7¥58.0 -
中国水利水电出版社海河流域典型河流生态水文过程与生态修复研究
¥32.2¥48.0 -
教育测量与美国学校变革
¥30.1¥47.0 -
玉米数字化可视化技术
¥284.9¥518.0 -
高超声速再入飞行器IXV的研制与飞行试验
¥64.4¥88.0 -
光散射技术及其在生化药物分析中的应用
¥25.5¥35.0 -
供应链商业信用协调机制研究
¥42.8¥58.0
-
思想道德与法治(2021年版)
¥6.8¥18.0 -
中医基础理论
¥51.7¥59.0 -
落洼物语
¥9.4¥28.0 -
习近平新时代中国特色社会主义思想概论
¥18.2¥26.0 -
当代中国政府与政治(新编21世纪公共管理系列教材)
¥36.0¥48.0 -
毛泽东思想和中国特色社会主义理论体系概论(2021年版)
¥9.0¥25.0 -
艺术学概论
¥14.5¥37.4 -
粒子输运数值计算方法及其应用
¥42.8¥58.0 -
艺术学概论
¥60.2¥79.0 -
毛泽东思想和中国特色社会主义理论体系概论
¥10.5¥25.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 -
世界现代史(1900-2000)
¥31.4¥80.0 -
水电站
¥24.4¥36.0 -
公路工程机械化施工技术-(第二版)
¥18.6¥32.0