实验逻辑学
正版保障 假一赔十 可开发票
￥ 29.57 6.2折 ￥ 48 全新
仅1件
广东广州
认证卖家担保交易快速发货售后保障
作者李娜
出版社南开大学出版社有限公司
ISBN9787310053513
出版时间2016-04
装帧平装
开本其他
定价48元
货号9010956
上书时间2024-12-03
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
李娜，女，南开大学哲学院教授。1978年2月入河南大学数学系读本科，后获理学学士学位，1989年7月获中国科学院软件研究所理学硕士学位。2002年1月调入南开大学哲学系工作。一直从事现代逻辑的教学与研究。主要从事数理逻辑、模态逻辑、集合论、抽象代数的研究。
目录
前言
第1编 LPL Software简介
第1章 Tarskis World 7．0简介
1．1 启动
1．2 世界控制板
1．3 语句控制板
1．4 验证语法和真
1．5 玩游戏
1．6 偏好
第2章 Fitch 3．2 简介
2．1 启动
2．2 创建和编辑证明
2．3 目标
2．4 复制和粘贴
2．5 打印证明
2．6 建立练习
2．7 参数设置
第3章 Boole 3．1 简介
3．1 启动
3．2 编写真值表
3．3 指定评价
3．4 验证表
3．5 保存或打印表
3．6 选择参数
第2编 实验逻辑学
第4章 原子语句
4．1 原子语句
4．2 广义的一阶语言
4．3 函数符号
4．4 集合论的一阶语言
第5章 原子语句的逻辑
5．1 有效和可靠的论据
5．2 在Fitch中构造证明
5．3 非后承的证明
第6章 布尔联结词
6．1 否定符号
6．2 合取符号
6．3 析取符号
6．4 圆括号
6．5 等值式
6．6 翻译
第7章 布尔联结词逻辑
7．1 重言式和逻辑真
7．2 逻辑等值和重言等值
7．3 逻辑后承和重言后承
7．4 在Fitch中的重言后承
7．5 移动否定符号
7．6 合取和析取范式
第8章 布尔逻辑的证明方法
8．1 分情况证明
8．2 间接证明：矛盾证明
第9章 形式证明和布尔逻辑
9．1 合取规则
9．2 析取规则
9．3 否定规则
9．4 子证明的正确使用
9．5 计划和策略
9．6 没有前提的证明
第10章 蕴涵
10．1 实质蕴涵符号→
10．2 真值函项的完全性
第11章 蕴涵的逻辑
11．1 证明的非形式方法
11．2 →和←→证明的形式规则
11．3 可靠性和完全性
11．4 有效论证
第12章 量词
12．1 公式和闭公式
12．2 量词语义
12．3 四种亚里士多德形式
12．4 翻译复杂的名词词组
12．5 量词和函数符号
12．6 各种符号
第13章 量词的逻辑
13．1 一阶有效性和一阶后承
13．2 一阶等值式和德摩根律
13．3 其他量词化等值式
13．4 公理化方法
13．5 引理
第14章 多重量词
14．1 一个量词的多重用法
14．2 混合量词
14．3 一步一步的翻译方法
14．4 释义英语
14．5 含糊和语境制约
14．6 前束范式
14．7 一些另外的翻译
第15章 量词的证明方法
15．1 一般条件的证明方法
15．2 包含混合量词的证明
15．3 公理化的形状
第16章 形式证明与量词
16．1 全称量词规则
16．2 存在量词规则
16．3 策略和手段
16．4 可靠性和完全性
内容摘要
。。。
精彩内容
李娜编著的《实验逻辑学(南开大学立项规划教材)》共十六章，其中第一至三章主要介绍本书所用到的软件——“塔斯基世界”，第四至十六章分别介绍运用该软件实现逻辑运算，包括原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑、蕴涵及其逻辑、量词及其逻辑、多重量词、量词的证明方法、形式证明和量词等。
— 没有更多了 —
以下为对购买帮助不大的评价