ad holder

博雅大学堂·哲学:数理逻辑 epub pdf  mobi txt 下载

博雅大学堂·哲学:数理逻辑 epub pdf mobi txt 下载

博雅大学堂·哲学:数理逻辑 epub pdf mobi txt 下载



邢滔滔 著

下载链接在页面底部
    

发表于2020-12-03

商品介绍



出版社: 北京大学出版社
ISBN:9787301112557
版次:1
商品编码:10077054
包装:平装
开本:16开
出版时间:2008-08-01
用纸:胶版纸
页数:273
正文语种:中文

博雅大学堂·哲学:数理逻辑 epub pdf mobi txt 下载



类似图书 点击查看全场最低价

相关书籍





书籍描述

编辑推荐

  按照许多学校的安排,在逻辑的入门课之后,还有相应的进深课程,供有兴趣的同学选修。我们在课程设置上,也采取了这个策略。在这样的安排之下,《数理逻辑》的内容,对应于大学本科的一门数理逻辑或符号逻辑课程。

内容简介

  《数理逻辑》是一本入门教材,针对逻辑学的初学者,尤其是初学逻辑的学生,而不要求读者有数学方面的预备知识。在内容方面,《数理逻辑》只介绍一阶逻辑的基本的知识和技术,包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。这些知识和技术已经成为逻辑入门的必要装备,也因此构成目前大学教育的一个基础部分,在哲学、语言学等文科专业和数学、计算机科学等理科专业里,普遍列为必修或选修的内容。当然,按照一种比较理想的要求,大学生对逻辑的了解,还应该包括更深层次的内容,如适当部分的模型论、基本的不可判定性结果、哥德尔不完全性定理的证明等。但这些更深层次的内容适合于在更加专门的课程中介绍。

内页插图

目录

第一章 绪论:从直观到形式
1 从“矛盾”说起
2 直观上的推理
3 正确推理
4 一阶语言
5 推演系统
第二章 集合
1 集合(不)是什么?
2 关系
3 函数
4 可数集与不可数集
第三章 一阶语言的语形
1 字母表
2 归纳定义
3 项
4 公式
5 递归定义
6 自由和约束代入
第四章 经典语义学
1 结构与解释
2 等词、量词和联结词
3 满足真
4 语义后承
5 可满足性有效性语义等值
6 代入引理
7 模型举例
第五章 自然推演系统
1 推理规则概说
2 联结词规则
3 命题推演语形后承
4 量词和等词规则
5 一阶推演
6 经典与直觉主义逻辑的关系
第六章 可靠性与完全性
1 经典可靠性
2 一致性
3 经典命题完全性
4 Henkin定理
5 可满足性定理
6 经典完全性
7 紧致性定理与Lowenheim-Skolem定理
8 直觉主义完全性
参考文献

前言/序言

  本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义,书名从课名。原讲义在实际使用中,经过了多次删改与修补,最后成书时,我们做了进一步的加工,重写了若干部分,增加了一些内容,以求能够满足更大范围的读者的需要。
  下面就本书的内容及编写方式做几点说明。
  第一,这是一本入门教材,针对逻辑学的初学者,尤其是初学逻辑的学生,而不要求读者有数学方面的预备知识。在内容方面,本书只介绍一阶逻辑的最基本的知识和技术,包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。这些知识和技术已经成为逻辑入门的必



博雅大学堂·哲学:数理逻辑 epub pdf mobi txt 下载

博雅大学堂·哲学:数理逻辑 下载 epub mobi pdf txt

博雅大学堂·哲学:数理逻辑 pdf 下载 mobi 下载 pub 下载 txt 下载

博雅大学堂·哲学:数理逻辑 mobi pdf epub txt 下载

博雅大学堂·哲学:数理逻辑 epub pdf mobi txt 下载

读者评价

评分

随着1806年巴登州的建立,大学的存在受到了威胁,因为相对较小的巴登州已经拥有一所重要的大学-鲁普莱希特-卡尔斯-海德堡大学。然而巴登州大公路德维希仍然从1817年起向弗莱堡大学提供稳定的经费并于1820年将此以手书的形式确立下来。这位大公始终认为:两种宗教-天主教与新教应各有一所大学来代表,而海德堡大学深受新教的影响。为此,弗莱堡大学遂更名为阿尔布莱希特-路德维希-弗莱堡大学,以示谢意。

评分

哲学书读起来比价费脑筋,但值得读

评分

我看了这本书籍很好,有不错的感想。认真学习了这本书,给我几个感受

评分

不错不错不错不错不错不错不错不错不错不错

评分

评分

书很棒,物流很给力。对于有钱人来说,他们不在乎东西值多少钱,和女朋友在一起他们注重的是心上人的开心,和领在一起,他们在乎的是给领买些高贵的东西,指望着自己有机会高升,和小三在一起,我就不多说了,对于我们农村的孩子来说,我们希望物美价廉,不是我们想买盗版货,不是我们爱到批发部去买,也不是我们爱和小贩斤斤计较,是我们微薄的收入难以支付。总的来说购物本身是一个开心的过程,从中我们利用自己的劳动购买自己需要的东西。京东商城的东西太便宜了,所以我来买了。还可以,和印象里的有一点点区别,可能是我记错了书比我想的要厚很多,就是字有点小,不过挺实惠的,很满意!书非常好,正版的,非常值,快递也给力,必须给好评,就是感觉包装有点简陋啊哈哈~~~不过书很好,看了下内容也都很不错,快递也很给力,东西很好 物流速度也很快,和照片描述的也一样,给个满分吧 下次还会来买!好了,我现在来说说这本书的观感吧,一个人重要的是找到自己的腔调,不论说话还是写字。腔调一旦确立,就好比打架有了块趁手的板砖,怎么使怎么顺手,怎么拍怎么有劲,顺带着身体姿态也挥洒自如,打架简直成了舞蹈,兼有了美感和韵味。要论到写字,腔调甚至先于主题,它是一个人特有的形式,或者工具;不这么说,不这么写,就会别扭;工欲善其事,必先利其器,腔调有时候就是“器”,有时候又是“事”,对一篇文章或者一本书来说,器就是事,事就是器。这本书,的确是用他特有的腔调表达了对“腔调”本身的赞美。|据说,2011年8月24日,京东与支付宝合作到期。官方公告显示,京东商城已经全面停用支付宝,除了无法使用支付服务外,使用支付宝账号登录的功能也一并被停用。京东商城创始人刘先生5月份曾表示京东弃用支付宝原因是支付宝的费率太贵,为快钱等公司的4倍。在弃支付宝而去之后,京东商城转投银联怀抱。这点我很喜欢,因为支付宝我从来就不用,用起来也很麻烦的。好了,现在给大家介绍两本好书:《婚姻是女人一辈子的事》简介:最实用剩女出嫁实战手册、婚女幸福宝典;婚姻不是最终归宿,幸福的婚姻才是真正的目的;内地首席励志作家陆琪 首部情感励志力作;研究男女情感问题数年,陆琪首本情感婚姻励志作品。作者作为怀揣女权主义的男人,毫无保留地剖析男人的弱点,告诉女人应该如何分辨男人的爱情,如何掌控男人,如何获得婚姻的幸福。事实上,男人和女人是两种完全不同的动物,用女人的思考方式,永远也了解不透男人。所以陆琪以男性背叛者的角度,深刻地挖掘男人最深层的情感态度和婚姻方式,让女人能够有的放矢、知己知彼,不再成为情感掌控的弱者。二、《正能量(实践版)》——将“正能量”真正实践应用的第一本书!心理自助全球第一品牌书!销量突破600万册!“世界级的演讲家和激励大师”韦恩·戴尔,为我们带来了这本世界级的心理学巨作!他在韦恩州立大学获得过教育咨询博士学位,曾任纽约圣约翰大学教授,是自我实现领域的国际知名作家和演讲家。他出版过28本畅销书,制作了许多广播节目和电视录像,而且在数千个电视和广播节目中做过嘉宾访谈。本书跻身《纽约时报》畅销书榜数十周之久,在全球取得了极高的赞誉,曾激励数百万人走上追逐幸福之途。《正能量(实践版)》——内容最实用、案例最详实,10周改善你的人生!这本书是作者联合数十位科学家、心理学家,耗费十余年心力的研究结晶。通过一系列行之有效的方法,以帮助所有身处人生低谷、长期焦

评分

这是一本入门教材,针对逻辑学的初学者,很适用。

评分

评分

博雅大学堂·哲学:数理逻辑 epub pdf mobi txt 下载

类似图书 点击查看全场最低价

博雅大学堂·哲学:数理逻辑 epub pdf mobi txt 下载




相关书籍


© 2017-2019 book.tinynews.org All Rights Reserved. 静思书屋 版权所有