免费下载书籍地址:PDF下载地址
精美图片

数理逻辑与集合论书籍详细信息
- ISBN:9787302040422
- 作者:暂无作者
- 出版社:暂无出版社
- 出版时间:2002-1-1
- 页数:236
- 价格:18.00元
- 纸张:暂无纸张
- 装帧:暂无装帧
- 开本:暂无开本
- 语言:未知
- 丛书:暂无丛书
- TAG:暂无
- 豆瓣评分:暂无豆瓣评分
内容简介:
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章,前8章介缗数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论,包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。
书籍目录:
概述
第1章 命题逻辑的基本概念
第2章 命题逻辑的等值和推理演算
第3章 命 题逻辑的公理化
第4章 谓词逻辑的基本概念
第5章 谓词逻辑的等值和推理演算
第6章 谓词逻辑的公理化
第7章 一阶形式理论及模型
第8章 证明论中的逻辑系统
第9章 集合
第10章 关系
第11章 函数
第12章 实数集合与集合的基数
作者介绍:
暂无相关内容,正在全力查找中
出版社信息:
暂无出版社相关信息,正在全力查找中!
书籍摘录:
暂无相关书籍摘录,正在全力查找中!
在线阅读/听书/购买/PDF下载地址:
在线阅读地址:数理逻辑与集合论在线阅读
在线听书地址:数理逻辑与集合论在线收听
在线购买地址:数理逻辑与集合论在线购买
原文赏析:
暂无原文赏析,正在全力查找中!
其它内容:
书籍介绍
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章,前8章介缗数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论,包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。
书籍真实打分
故事情节:3分
人物塑造:5分
主题深度:8分
文字风格:3分
语言运用:3分
文笔流畅:5分
思想传递:4分
知识深度:5分
知识广度:6分
实用性:4分
章节划分:4分
结构布局:9分
新颖与独特:7分
情感共鸣:4分
引人入胜:7分
现实相关:6分
沉浸感:7分
事实准确性:3分
文化贡献:8分
网站评分
书籍多样性:4分
书籍信息完全性:7分
网站更新速度:7分
使用便利性:5分
书籍清晰度:4分
书籍格式兼容性:5分
是否包含广告:3分
加载速度:4分
安全性:5分
稳定性:8分
搜索功能:4分
下载便捷性:4分
下载点评
- 强烈推荐(192+)
- 体验满分(336+)
- 可以购买(73+)
- 愉快的找书体验(369+)
- 体验差(564+)
- 少量广告(593+)
- 无缺页(240+)
- 快捷(115+)
- 目录完整(665+)
- 排版满分(180+)
- 速度快(680+)
下载评价
网友 索***宸:书的质量很好。资源多
网友 后***之:强烈推荐!无论下载速度还是书籍内容都没话说 真的很良心!
网友 谭***然:如果不要钱就好了
网友 方***旋:真的很好,里面很多小说都能搜到,但就是收费的太多了
网友 晏***媛:够人性化!
网友 冯***卉:听说内置一千多万的书籍,不知道真假的
网友 石***致:挺实用的,给个赞!希望越来越好,一直支持。
网友 辛***玮:页面不错 整体风格喜欢
网友 宫***玉:我说完了。