简明实验逻辑学 伦理学、逻辑学 新华正版
伦理学、逻辑学 新华书店全新正版书籍 支持7天无理由
￥ 23.93 5.2折 ￥ 46 全新
仅1件
作者作者
出版社南开大学出版社
ISBN9787310064328
出版时间2023-04
版次1
装帧平装
开本16开
页数312页
字数317千字
定价46元
货号xhwx_1202879753
上书时间2023-06-26
- 最新上架
商品详情
- 品相描述：全新
- 正版特价新书
- 商品描述
-
目录：
章tarskisworld7.2简介
1.1入门指南
1.2世界控制板
1.3语句控制板
1.4验证语和真
1.5玩游戏
1.6参数
第2章fitch3.7简介
2.1入门指南
2.2创建和编辑证明
2.3目标
2.4复制和粘贴
2.5导出文本
2.6建立练
2.7参数设置
第3章boole4.2简介
3.1入门指南
3.2编写真值表
3.3指定评价
3.4验证你的表
3.5保存或导出你的文本
3.6参数
……
内容简介：
本书直观而又严谨地阐述了原子语句、布尔逻辑、蕴涵、多重量词的概念，为逻辑学科学生利用计算机系统掌握数理逻辑实验方提供了方便，语言简练，通俗易懂。该书结构合理，循序渐进，是一本的好教材。
作者简介：
李娜，女，南开大学哲学院教授，主要研究方向为数理逻辑、模态逻辑、集合论、抽象代数。主持多项数理逻辑项目，主编多部教材如数理逻辑实验教程（武汉大学出版社，2010年）、逻辑学实验教程（南开大学出版社，2012年），实验逻辑学（南开大学出版社，2017年），实验逻辑学（第二版，南开大学出版社，2021年）并发表多篇数理逻辑高水研究。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价