实验逻辑学大中专文科社科综合李娜编

none

31.25 6.5折 48 全新

仅1件

北京丰台

认证卖家担保交易快速发货售后保障

作者李娜编

出版社南开大学出版社

ISBN9787310053513

出版时间2017-08

版次1

装帧平装

开本16

页数378页

字数430千字

定价48元

货号xhwx_1201562721

上书时间2024-11-19

已实名已认证进店收藏店铺

商品描述: 目录：

前言
编lplsoftware简介
章tarsktsworld7.0简介
1.1启动
1.2世界控制板
1.3语句控制板
1.4验证语法和真
1.5玩游戏
1.6偏好
第2章fitch3.2简介
2.1启动
2.2创建和编辑证明
2.3目标
2.4复制和粘贴
2.5打印证明
2.6建立练
2.7参数设置
第3章boole3.1简介
3.1启动
3.2编写真值表
3.3指定评价
3.4验证表
3.5保存或打印表
3.6选择参数
……

内容简介：

实验逻辑学由李娜编著

作者简介：

李娜，女，南开大学哲学院教授。1978年2月入河南大学数学系读本科，后获理学学士，1989年7月获学院软件研究所理学硕士。2002年1月调入南开大学哲学系工作。一直从事现代逻辑的与研究。主要从事数理逻辑、模态逻辑、集合论、抽象代数的研究。

— 没有更多了 —

实验逻辑学 大中专文科社科综合 李娜 编