【全新正版包邮】简明实验逻辑学李娜 编
￥ 29.11 6.3折 ￥ 46 全新
仅1件
作者李娜 编
出版社南开大学出版社
ISBN9787310064328
出版时间2023-04
装帧平装
开本16开
定价46元
货号1202879753
上书时间2024-06-19
- 在售商品 暂无
- 平均发货时间 13小时
- 好评率 暂无
- 店主推荐
- 最新上架
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
李娜，女，南开大学哲学院教授，主要研究方向为数理逻辑、模态逻辑、集合论、抽象代数。主持多项数理逻辑国家项目，主编多部教材如《数理逻辑实验教程》（武汉大学出版社，2010年）、《逻辑学实验教程》（南开大学出版社，2012年），《实验逻辑学》（南开大学出版社，2017年），《实验逻辑学》（第二版，南开大学出版社，2021年）并发表多篇数理逻辑高水平研究论文。
目录
第1章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参数
……
内容摘要
本书直观而又严谨地阐述了原子语句、布尔逻辑、蕴涵、多重量词的概念，为逻辑学科学生利用计算机系统掌握数理逻辑实验方法提供了方便，语言简练，通俗易懂。该书结构合理，循序渐进，是一本的好教材。
相关推荐
-
【全新正版包邮】痒痒简明
全新南京
￥ 28.49
-
【全新正版包邮】 理论力学简明教程 安宇
全新南京
￥ 33.60
-
【全新正版包邮】智能建造简明教程姜晨光
全新南京
￥ 35.06
-
【全新正版包邮】简明黄河史辛德勇
全新南京
￥ 43.18
-
【全新正版包邮】简明汉语史向熹 著
全新南京
￥ 67.50
-
包邮 全新正版 Java程序设计简明教程
九五品杭州
￥ 21.00
-
【全新正版包邮】 理论力学简明教程 安宇
全新南京
￥ 33.60
-
【全新正版包邮】 智能建造简明教程 姜晨光
全新南京
￥ 35.06
-
简明兽医词典〖包邮〗正版
八五品
￥ 8.00
-
简明逻辑（全新包正版）
九五品铜陵
￥ 20.00
— 没有更多了 —
以下为对购买帮助不大的评价