数理逻辑与集合论 fb2 pdf azw3 网盘 rtf 免费 下载 txt

数理逻辑与集合论精美图片
》数理逻辑与集合论电子书籍版权问题 请点击这里查看《

数理逻辑与集合论书籍详细信息

  • 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版)》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。


书籍真实打分

  • 故事情节:7分

  • 人物塑造:5分

  • 主题深度:7分

  • 文字风格:7分

  • 语言运用:4分

  • 文笔流畅:4分

  • 思想传递:7分

  • 知识深度:3分

  • 知识广度:4分

  • 实用性:9分

  • 章节划分:6分

  • 结构布局:7分

  • 新颖与独特:4分

  • 情感共鸣:4分

  • 引人入胜:8分

  • 现实相关:5分

  • 沉浸感:4分

  • 事实准确性:8分

  • 文化贡献:7分


网站评分

  • 书籍多样性:8分

  • 书籍信息完全性:9分

  • 网站更新速度:4分

  • 使用便利性:5分

  • 书籍清晰度:6分

  • 书籍格式兼容性:6分

  • 是否包含广告:9分

  • 加载速度:4分

  • 安全性:4分

  • 稳定性:3分

  • 搜索功能:6分

  • 下载便捷性:7分


下载点评

  • 服务好(239+)
  • 中评(62+)
  • 收费(638+)
  • 无盗版(629+)
  • 赞(554+)
  • 体验好(588+)
  • 在线转格式(339+)
  • 体验满分(348+)
  • 图书多(643+)
  • 字体合适(162+)
  • 内涵好书(165+)
  • 四星好评(91+)

下载评价

  • 网友 堵***洁:

    好用,支持

  • 网友 权***颜:

    下载地址、格式选择、下载方式都还挺多的

  • 网友 融***华:

    下载速度还可以

  • 网友 苍***如:

    什么格式都有的呀。

  • 网友 步***青:

    。。。。。好

  • 网友 宫***凡:

    一般般,只能说收费的比免费的强不少。

  • 网友 宓***莉:

    不仅速度快,而且内容无盗版痕迹。

  • 网友 后***之:

    强烈推荐!无论下载速度还是书籍内容都没话说 真的很良心!

  • 网友 寇***音:

    好,真的挺使用的!

  • 网友 孔***旋:

    很好。顶一个希望越来越好,一直支持。

  • 网友 康***溪:

    强烈推荐!!!

  • 网友 国***芳:

    五星好评


随机推荐