正版图书保证质量 七天无理由退货让您购物无忧
¥ 15.5 6.2折 ¥ 25 全新
库存94件
作者梁真著
出版社贵州大学出版社
ISBN9787569108033
出版时间2023-11
版次1
装帧平装
开本16开
定价25元
货号R_15015268
上书时间2024-04-27
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。作者根据数理逻辑的这一特点,从什么是逻辑、什么是数理逻辑出发,在此基础上展开对命题逻辑、谓词逻辑、命题演算、谓词演算、一阶理论等的分析,其以严谨简明的语言,为广大读者了解数理逻辑提供指引,内容严谨、丰富,逻辑自洽。文本质量高,无意识形态问题。
Propositional Logics命题逻辑
九五品北京
¥ 280.00
命题逻辑基础教程
全新无锡
¥ 17.50
命题逻辑基础教程
全新北京
¥ 14.80
全新正版图书 命题逻辑基础教程梁真贵州大学出版社9787569108033
全新北京
¥ 22.30
全新正版图书 命题逻辑基础教程梁真贵州大学出版社9787569108033
全新北京
¥ 16.00
考研英语真题命题逻辑与解题方法
九品开封
¥ 2.00
考研英语真题命题逻辑与解题方法
九五品郑州
¥ 5.88
全新正版图书 命题逻辑基础教程梁真贵州大学出版社9787569108033 黎明书店
全新北京
¥ 14.75
一个基于现实世界语义学的道义命题逻辑系统ADE
八五品开封
¥ 10.24
命题逻辑基础教程
全新北京
¥ 15.50
— 没有更多了 —
以下为对购买帮助不大的评价