当前位置:首页>正文

数理逻辑 kindle pdf 115盘 snb chm 下载 免费 mobi

免费下载书籍地址:PDF下载地址

精美图片

数理逻辑书籍详细信息

  • ISBN:9787040137989
  • 作者:暂无作者
  • 出版社:暂无出版社
  • 出版时间:2004-01
  • 页数:247
  • 价格:9.20
  • 纸张:胶版纸
  • 装帧:平装
  • 开本:大32开
  • 语言:未知
  • 丛书:暂无丛书
  • TAG:暂无
  • 豆瓣评分:暂无豆瓣评分

内容简介:

本书是国内介绍数理逻辑基本知识的*读本。著者针对文科学生学习数理逻辑所遇到的困难,尽可能结合传统逻辑来介绍数理逻辑的基础知识,着重介绍逻辑演算部分内容;对其中的自然推理系统做了详细介绍,对公理推理系统仅做一般性介绍;力求以较为通俗的语言来阐述数理逻辑的基本原理和符号表达公式,并编配了练习题,具有较强的针对性和可读性。

本书主要适用于高等院校文科本专科等非数学专业的逻辑教学和文化素质教育,也是自学者的简明读本。

书籍目录:

章 绪论

 节 数理逻辑的研究对象和主要内容

 第二节 数理逻辑的发展概况

 第三节 数理逻辑的科学意义

第二章 命题逻辑

 节 命题与命题形式

 第二节 命题联结词

 第三节 真值函项和有关真值函项的两个定理

 第四节 命题的符号化

 第五节 重言式及其验证

 第六节 范式

第三章 命题演算

 节 演算的两个主要准则和命题解释

 第二节 命题演算的推导规则

 第三节 命题演算的自然推理系统

 第四节 前提的协调性及其判定方法

第四章 命题演算的公理系统

 节 公理和公理方法

 第二节 形式公理系统的主要性质

 第三节 命题演算的公理系统——PM系统

 第四节 命题演算的元逻辑问题

第五章 谓词逻辑

 节 个体词、谓词和量词

 第二节 谓词公式

 第三节 摹状词

 第四节 谓词公式的真假及其解释

第六章 谓词演算

 节 关于全称量词的规则

 第二节 关于存在量词的规则

 第三节 量词的交换

 第四节 关于量词规则的限制

 第五节 关于等词的规则

 第六节 逻辑定理

 第七节 谓词演算的导出规则

 第八节 谓词演算的自然推理系统

第七章 谓词演算的公理系统

 节 谓词演算的公理系统

 第二节 谓词演算公理系统的定理和推演规则

 第三节 谓词演算公理系统元逻辑讨论

第八章 集合

 节 集合与集合的元素

 第二节 集合之间的基本关系

 第三节 子集

 第四节 集合的运算

 第五节 自然语言的符号化

 第六节 文恩图解

参考文献

作者介绍:

暂无相关内容,正在全力查找中

出版社信息:

暂无出版社相关信息,正在全力查找中!

书籍摘录:

第二章 命题逻辑

  节 命题与命题形式

我们在绪论中曾讲到,数理逻辑是用数学方法处理逻辑的结果,而数学方法,主要是运用符号——人工语言代替自然语言的方法。

为什么要用符号呢?为了使表述更精确。符号能使具有某种研究目的的语言更精确。我们研究思维形式及其规律的语言就是一种具有特殊研究目的的语言。为了使这种语言,即逻辑学的语言更精确,更能准确阐述思维的形式结构以及正确推理的形式和方法,使用人工语言要比用自然语言更有效。因为在某种情况下,直接认识事物的面貌不容易认识清楚,但把事物表示为符号后,却能比较清楚地认识事物的全貌和整个发展过程。犹如人们认路一样,通过地图识路比直接识路更能清楚路的方向和位置。

语言是由各种各样的语词、语句组成的。在数理逻辑中,这许许多多的语词和语句按他们应用的作用被划分成几大类,然后代以相应的符号。例如,把具有真假特点的语句归并成一类,这类语句就被称为命题。

所谓命题是反映事物情况的思维形态。人们利用命题去反映事物有没有某属性,它是处在什么情况之中,不同事物情况之间又有什么联系等等。命题反映的事物情况可以相当简单,也可以很复杂。比如:命题“2是偶数”,是对2有某种性质这样的事物情况的反映;命题“保定在北京与石家庄之间”,是对保定处在什么位置关系这样的事物情况的反映;命题“哪里有压迫,哪里就有反抗”,是对有压迫及有反抗之间有某种联系这样的事物情况的反映。命题这种思维形态还有真和假的区别。符合事实情况的命题就是真命题,不符合事实情况的命题就是假命题。假命题也是一种命题,比如“2是奇数”就是一个假命题。

  ……

在线阅读/听书/购买/PDF下载地址:

在线阅读地址:数理逻辑在线阅读

在线听书地址:数理逻辑在线收听

在线购买地址:数理逻辑在线购买

原文赏析:

暂无原文赏析,正在全力查找中!

其它内容:

书籍介绍

《数理逻辑》是国内介绍数理逻辑基本知识的最新读本。著者针对文科学生学习数理逻辑所遇到的困难,尽可能结合传统逻辑来介绍数理逻辑的基础知识,着重介绍逻辑演算部分内容;对其中的自然推理系统做了详细介绍,对公理推理系统仅做一般性介绍;力求以较为通俗的语言来阐述数理逻辑的基本原理和符号表达公式,并编配了练习题,具有较强的针对性和可读性。

书籍真实打分

故事情节:7分

人物塑造:5分

主题深度:3分

文字风格:6分

语言运用:9分

文笔流畅:7分

思想传递:8分

知识深度:8分

知识广度:9分

实用性:9分

章节划分:8分

结构布局:4分

新颖与独特:9分

情感共鸣:3分

引人入胜:4分

现实相关:5分

沉浸感:9分

事实准确性:7分

文化贡献:3分

网站评分

书籍多样性:5分

书籍信息完全性:3分

网站更新速度:4分

使用便利性:8分

书籍清晰度:7分

书籍格式兼容性:7分

是否包含广告:7分

加载速度:9分

安全性:9分

稳定性:5分

搜索功能:5分

下载便捷性:4分

下载点评

  • 无广告(489+)
  • 简单(126+)
  • 中评多(546+)
  • azw3(104+)
  • 内容齐全(169+)
  • 引人入胜(315+)
  • 收费(233+)
  • 图文清晰(70+)
  • 赞(405+)
  • 体验差(222+)
  • 已买(102+)

下载评价

网友 居***南:请问,能在线转换格式吗?

网友 曾***文:五星好评哦

网友 国***舒:中评,付点钱这里能找到就找到了,找不到别的地方也不一定能找到

网友 薛***玉:就是我想要的!!!

网友 通***蕊:五颗星、五颗星,大赞还觉得不错!~~

网友 郗***兰:网站体验不错

网友 融***华:下载速度还可以

网友 陈***秋:不错,图文清晰,无错版,可以入手。

网友 步***青:。。。。。好

网友 晏***媛:够人性化!

网友 詹***萍:好评的,这是自己一直选择的下载书的网站

网友 宫***玉:我说完了。

网友 宓***莉:不仅速度快,而且内容无盗版痕迹。

网友 益***琴:好书都要花钱,如果要学习,建议买实体书;如果只是娱乐,看看这个网站,对你来说,是很好的选择。

网友 苍***如:什么格式都有的呀。

版权声明

1本文:数理逻辑转载请注明出处。
2本站内容除签约编辑原创以外,部分来源网络由互联网用户自发投稿仅供学习参考。
3文章观点仅代表原作者本人不代表本站立场,并不完全代表本站赞同其观点和对其真实性负责。
4文章版权归原作者所有,部分转载文章仅为传播更多信息服务用户,如信息标记有误请联系管理员。
5本站一律禁止以任何方式发布或转载任何违法违规的相关信息,如发现本站上有涉嫌侵权/违规及任何不妥的内容,请第一时间联系我们申诉反馈,经核实立即修正或删除。


本站仅提供信息存储空间服务,部分内容不拥有所有权,不承担相关法律责任。

相关文章:

  • 助产士门诊理论与实践 kindle pdf 115盘 snb chm 下载 免费 mobi
  • 2023年高考志愿填报指南 看就业挑大学选专业 2023新高考填报志愿指南软件本通大数据填报大学专业报考规划师志愿填报卡手册书籍 kindle pdf 115盘 snb chm 下载 免费 mobi
  • 2020年3月全国计算机等级考试二级MS Office高级应用 新全真考场 天一教材无纸化考试模拟真题卷 题库软件 含考点精讲视频解析正版 kindle pdf 115盘 snb chm 下载 免费 mobi
  • 法医临床学PBL/CBL教程 kindle pdf 115盘 snb chm 下载 免费 mobi
  • 百年贝聿铭 kindle pdf 115盘 snb chm 下载 免费 mobi
  • Victorian Fashions Coloring Book (History of Fashion) kindle pdf 115盘 snb chm 下载 免费 mobi
  • FoxPro数据库实用教程习题解答与上机指导 kindle pdf 115盘 snb chm 下载 免费 mobi
  • 开有益斋读书志(精)/中国历代书目题跋丛书 kindle pdf 115盘 snb chm 下载 免费 mobi
  • MBA MPA MPAcc联考教材老吕2019 MBA/MPA/MPAcc管理类联考 经济类联考 综合能力 老吕逻辑母题800练 第4版 可搭配英语二 199管理类联考 396经济类联考 kindle pdf 115盘 snb chm 下载 免费 mobi
  • 备考2022 消防工程师2021习题 消防安全技术综合能力经典套题(2021年版) kindle pdf 115盘 snb chm 下载 免费 mobi