数理逻辑引论（修订版）

数理逻辑引论（修订版）

分享

作者: 李涛编 , 张岩编 , 刘峰编

出版社: 哈尔滨工业大学出版社

出版时间: 2016-08

版次: 2

ISBN: 9787560361468

定价: 19.80

装帧: 平装

开本: 32开

纸张: 胶版纸

页数: 139页

字数: 140千字

正文语种: 简体中文

丛书: 高等学校“十二五”规划教材

分类: 工程技术

11人买过

　　数理逻辑是离散数学的重要组成部分之一，是计算机科学的数学基础。《数理逻辑引论（修订版）》内容主要侧重于逻辑演算，即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其他分支的共同基础。全书共分5章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理；一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理、一阶语言的语义等。
　　《数理逻辑引论（修订版）》可用作高等院校计算机专业离散数学的教材或教学参考书，也可供从事计算机科学、人工智能方面的科技人员参考。第1章绪论
1．1 数理逻辑的发展简史
1．2 形式化公理系统
1．3 数理逻辑与计算机科学

第2章命题逻辑的基本概念
2．1 命题与联结词
2．1．1 命题符号化
2．1．2 命题联结词及真值表
2．1．3 命题公式及真值
2．1．4 逻辑蕴涵与逻辑等价
2．2 范式
2．2．1 基本概念
2．2．2 范式的求解
2．2．3 主范式
2．3 联结词的扩充与归约
2．4 对偶式
习题

第3章命题演算形式系统
3．1 命题逻辑演算形式系统
3．1．1 命题演算形式系统的组成
3．1．2 命题演算形式系统的基本定理
3．1．3 PC的性质定理
3．2 自然演绎推理系统
3．2．1 自然演绎推理系统组成
3．2．2 自然演绎推理系统的基本定理
习题

第4章一阶谓词逻辑演算基本概念
4．1 引言
4．2 一阶谓词演算基本概念
4．3 自然语句的形式化
习题

第5章一阶谓词演算形式系统
5．1 一阶谓词演算形式系统组成
5．2 FC的基本定理
5．3 一阶谓词形式系统的语义
5．4 FC的性质定理
5．5 其他形式的一阶谓词演算系统
5．5．1 FCM谓词演算系统
5．5．2 FND谓词演算系统
习题
参考文献
内容简介:
　　数理逻辑是离散数学的重要组成部分之一，是计算机科学的数学基础。《数理逻辑引论（修订版）》内容主要侧重于逻辑演算，即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其他分支的共同基础。全书共分5章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理；一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理、一阶语言的语义等。
　　《数理逻辑引论（修订版）》可用作高等院校计算机专业离散数学的教材或教学参考书，也可供从事计算机科学、人工智能方面的科技人员参考。
目录:
第1章绪论
1．1 数理逻辑的发展简史
1．2 形式化公理系统
1．3 数理逻辑与计算机科学

第2章命题逻辑的基本概念
2．1 命题与联结词
2．1．1 命题符号化
2．1．2 命题联结词及真值表
2．1．3 命题公式及真值
2．1．4 逻辑蕴涵与逻辑等价
2．2 范式
2．2．1 基本概念
2．2．2 范式的求解
2．2．3 主范式
2．3 联结词的扩充与归约
2．4 对偶式
习题

第3章命题演算形式系统
3．1 命题逻辑演算形式系统
3．1．1 命题演算形式系统的组成
3．1．2 命题演算形式系统的基本定理
3．1．3 PC的性质定理
3．2 自然演绎推理系统
3．2．1 自然演绎推理系统组成
3．2．2 自然演绎推理系统的基本定理
习题

第4章一阶谓词逻辑演算基本概念
4．1 引言
4．2 一阶谓词演算基本概念
4．3 自然语句的形式化
习题

第5章一阶谓词演算形式系统
5．1 一阶谓词演算形式系统组成
5．2 FC的基本定理
5．3 一阶谓词形式系统的语义
5．4 FC的性质定理
5．5 其他形式的一阶谓词演算系统
5．5．1 FCM谓词演算系统
5．5．2 FND谓词演算系统
习题
参考文献

查看详情

相关分类

工业技术矿业工程金属学与金属工艺机械、仪表工业能源与动力工程原子能技术电工技术电子与通信化学工业轻工业、手工业建筑水利工程汽车与交通运输航空/航天

数理逻辑引论（修订版）正版数理逻辑引论

全新

京书苑

北京市房山区

平均发货17小时成功完成率81.8%

￥7.92

券

100减20

立即购买加入购物车
数理逻辑引论（修订版）数理逻辑引论

全新

图途书屋

北京市房山区

平均发货23小时成功完成率72.14%

￥7.92

券

100减20

立即购买加入购物车
数理逻辑引论（修订版）正版品相完好，套书和多封面版本咨询客服后再下单

九品

图书-天下的书店

北京市东城区

平均发货25小时成功完成率88.74%

￥20.34

券

100减20

立即购买加入购物车
数理逻辑引论

全新

爱生活三新书店

北京市房山区

平均发货26小时成功完成率82.82%

￥8.42

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论（修订版）正版保障假一赔十可开发票

全新

兴文书店

北京市海淀区

平均发货16小时成功完成率88.86%

￥15.02

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论（修订版）

全新

晗蕊书店

北京市通州区

平均发货7小时成功完成率91.16%

￥9.50

券

100减20

立即购买加入购物车
数理逻辑引论（修订版）正版二手书，批量上传有误差，套装请联系客服再下单，均有笔记不影响使用，无赠品、光盘、MP3等

八五品

古籍旧书院

山东省济南市

平均发货8小时成功完成率93.65%

￥5.90

券

100减20

立即购买加入购物车
数理逻辑引论

全新

梦享家图书专营店

河北省保定市

平均发货26小时成功完成率89.3%

￥9.98

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论（修订版）套书请先咨询

全新

书昀书店

河北省保定市

平均发货13小时成功完成率88.73%

￥10.10

券

100减20

立即购买加入购物车
数理逻辑引论9787560361468 请核对以书号和标题书名为准

全新

天和书店

河北省保定市

平均发货6小时成功完成率93.28%

￥9.90

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论（修订版）正版现货，品相完整，套书只发一本,多版面书籍只对书名

九品

旧书香书城

北京市昌平区

平均发货22小时成功完成率88.92%

￥19.51

券

100减20

立即购买加入购物车
数理逻辑引论全新正版现货

全新

龙香书城

四川省成都市

平均发货21小时成功完成率90.46%

￥14.10

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论（修订版）全新正版现货

全新

龙香书城

四川省成都市

平均发货21小时成功完成率90.46%

￥14.10

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论（修订版）再版

全新

凯瑞斯通文化

北京市海淀区

平均发货17小时成功完成率86.95%

￥19.80

券

100减20

立即购买加入购物车
数理逻辑引论（修订版）正版现货速发可开发票

九五品

天宫书店

江苏省南京市

平均发货15小时成功完成率92.32%

￥6.73

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论（修订版）正版内里新实物拍摄

2016-08 印刷
印次: 2

九品

旧书藏宝阁

陕西省西安市

平均发货9小时成功完成率98.28%

￥10.00

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论（修订版）

九品

苏遇书城

江苏省南京市

平均发货13小时成功完成率87.58%

￥5.00

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论（修订版）

九品

金陵木子书斋

江苏省南京市

平均发货13小时成功完成率92.5%

￥5.00

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论（修订版）

全新

桃李满园书店

北京市朝阳区

平均发货33小时成功完成率60.87%

￥12.87

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论（修订版）

全新

汇诚書斋

北京市朝阳区

平均发货14小时成功完成率68.29%

￥12.87

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论（修订版）

九品

好大学书摊

黑龙江省哈尔滨市

平均发货19小时成功完成率100%

￥15.00

券

100减20

立即购买加入购物车
数理逻辑引论（修订版）正版全新

全新

科学书专卖

上海市浦东新区

平均发货20小时成功完成率81.01%

￥12.63

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论(修订版) 9787560361468 哈尔滨工业大学出版社高等院校高职高专教材书籍出版社图书籍李涛张岩刘峰著作 9787560361468

全新

井大书店

江西省吉安市

平均发货53小时成功完成率84.59%

￥27.34

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论（修订版）正版数理逻辑引论

全新

风尚文苑书店

北京市房山区

平均发货18小时成功完成率84.81%

￥7.92

券

100减20

立即购买加入购物车
数理逻辑引论正版保障假一赔十可开发票

全新

兴文书店

北京市海淀区

平均发货16小时成功完成率88.86%

￥15.02

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论(修订版)--高等学校十二五规划教材

全新

恒习书苑的书店

河北省保定市

平均发货27小时成功完成率74.82%

￥9.11

券

100减20

立即购买加入购物车不属于本条目
数理逻辑引论

全新

大勇书城

河北省保定市

平均发货30小时成功完成率75.39%

￥9.98

券

100减20

立即购买加入购物车不属于本条目