-
>
中医基础理论
-
>
高校军事课教程
-
>
思想道德与法治(2021年版)
-
>
毛泽东思想和中国特色社会主义理论体系概论(2021年版)
-
>
中医内科学·全国中医药行业高等教育“十四五”规划教材
-
>
中医诊断学--新世纪第五版
-
>
中药学·全国中医药行业高等教育“十四五”规划教材
数理逻辑引论 版权信息
- ISBN:9787568540353
- 条形码:9787568540353 ; 978-7-5685-4035-3
- 装帧:平装-胶订
- 册数:暂无
- 重量:暂无
- 所属分类:>>
数理逻辑引论 本书特色
本书的主要内容是讨论经典二值逻辑演算系统的语形和研义研究.而经典二值逻辑系统是一种反映演绎推理规律的逻辑演算系统.但人类思维过程是极为丰富和复杂的,人类思维活动中的种种推理方式决非演绎推理所能完全囊括。
数理逻辑引论 内容简介
全书共分为5章,其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义与构造,其论述尽量侧重于直观,而不讲究形式系统意义下的那种严格.第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容.第5章是有关经典二值逻辑系统的严格的语义研究.
数理逻辑引论 目录
数理逻辑引论 作者简介
朱梧槚,南京航空航天大学计算机科学与技术学院,教授、博士生导师,长期致力于数学基础与计算机科学理论的研究。 肖奚安,解放军理工大学理学院数学系,教授。 朱朝晖,南京航空航天大学计算机科学与技术学院,教授。研究方向为计算机科学中的逻辑学、进程代数。 周勇,南京航空航天大学计算机科学与技术学院,副教授。
- >
随园食单
随园食单
¥15.4¥48.0 - >
朝闻道
朝闻道
¥10.2¥23.8 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥6.2¥10.0 - >
唐代进士录
唐代进士录
¥17.1¥39.8 - >
龙榆生:词曲概论/大家小书
龙榆生:词曲概论/大家小书
¥15.9¥24.0 - >
月亮与六便士
月亮与六便士
¥13.4¥42.0 - >
李白与唐代文化
李白与唐代文化
¥9.5¥29.8 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0
-
食品添加剂
¥33.5¥45 -
VB语言程序设计
¥29.9¥39.8 -
C语言程序设计习题与实验指导
¥9.1¥18 -
地下建筑结构-(第三版)-(赠课件)
¥49.4¥55 -
模具制图
¥37.8¥49 -
工程机械结构认知
¥10.5¥22