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

图书介绍


博雅大学堂·哲学:数理逻辑

简体网页||繁体网页
邢滔滔 著



点击这里下载
    


想要找书就要到 静流书站
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-21

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

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

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

相关图书



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

博雅大学堂·哲学:数理逻辑 pdf epub 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 直觉主义完全性
参考文献

前言/序言

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



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

博雅大学堂·哲学:数理逻辑 pdf epub mobi txt 电子书 下载
想要找书就要到 静流书站
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

简单的看了下内容,发现虽然是形式哲学的分支,可是细节并不简单而独立成了一门学科,值得钻研,只是东西被压坏了,不过其它还行,支持京东。

评分

挺好的,慢慢看,希望能有帮助

评分

评分

一般人看不懂,都是高大上的逻辑

评分

评分

在书店看上了这本书一直想买可惜太贵又不打折,回家决定上京东看看,果然有折扣。毫不犹豫的买下了,京东速度果然非常快的,从配货到送货也很具体,快递非常好,很快收到书了。书的包装非常好,没有拆开过,非常新,可以说无论自己阅读家人阅读,收藏还是送人都特别有面子的说,特别精美;各种十分美好虽然看着书本看着相对简单,但也不遑多让,塑封都很完整封面和封底的设计、绘图都十分好画让我觉得十分细腻具有收藏价值。书的封套非常精致推荐大家购买。 打开书本,书装帧精美,纸张很干净,文字排版看起来非常舒服非常的惊喜,让人看得欲罢不能,每每捧起这本书的时候 似乎能够感觉到作者毫无保留的把作品呈现在我面前。 作业深入浅出的写作手法能让本人犹如身临其境一般,好似一杯美式咖啡,看似快餐,其实值得回味 无论男女老少,第一印象最重要。”从你留给别人的第一印象中,就可以让别人看出你是什么样的人。所以多读书可以让人感觉你知书答礼,颇有风度。 多读书,可以让你多增加一些课外知识。培根先生说过:“知识就是力量。”不错,多读书,增长了课外知识,可以让你感到浑身充满了一股力量。这种力量可以激励着你不断地前进,不断地成长。从书中,你往往可以发现自己身上的不足之处,使你不断地改正错误,摆正自己前进的方向。所以,书也是我们的良师益友。 多读书,可以让你变聪明,变得有智慧去战胜对手。书让你变得更聪明,你就可以勇敢地面对困难。让你用自己的方法来解决这个问题。这样,你又向你自己的人生道路上迈出了一步。 多读书,也能使你的心情便得快乐。读书也是一种休闲,一种娱乐的方式。读书可以调节身体的血管流动,使你身心健康。所以在书的海洋里遨游也是一种无限快乐的事情。用读书来为自己放松心情也是一种十分明智的。 读书能陶冶人的情操,给人知识和智慧。所以,我们应该多读书,为我们以后的人生道路打下好的、扎实的基础!读书养性,读书可以陶冶自己的性情,使自己温文尔雅,具有书卷气;读书破万卷,下笔如有神,多读书可以提高写作能力,写文章就才思敏捷;旧书不厌百回读,熟读深思子自知,读书可以提高理解能力,只要熟读深思,你就可以知道其中的道理了;读书可以使自己的知识得到积累,君子学以聚之。总之,爱好读书是好事。让我们都来读书吧。 其实读书有很多好处,就等有心人去慢慢发现. 最大的好处是可以让你有属于自己的本领靠自己生存。 最后在好评一下京东客服服务态度好,送货相当快,包装仔细!这个也值得赞美下 希望京东这样保持下去,越做越好

评分

好!好!好!

评分

好,真心不错!!!!!

评分

非常好用的产品!活动价格非常划算!非常好用的产品!活动价格非常划算!非常好用的产品!活动价格非常划算!效果好!!下次还会再来!非常好用的产品!活动价格非常划算!非常好用的产品!活动价格非常划算!非常好用的产品!活动价格非常划算!效果好!!下次还会再来!非常好用的产品!活动价格非常划算!非常好用的产品!活动价格非常划算!非常好用的产品!活动价格非常划算!效果好!!下次还会再来!非常好用的产品!活动价格非常划算!非常好用的产品!活动价格非常划算!非常好用的产品!活动价格非常划算!效果好!!下次还会再来!非常好用的产品!活动价格非常划算!非常好用的产品!活动价格非常划算!非常好用的产品!活动价格非常划算!效果好!!下次还会再来!非常好用的产品!活动价格非常划算!非常好用的产品!活动价格非常划算!非常好用的产品!活动价格非常划算!效果好!!下次还会再来!

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

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


分享链接


去京东购买 去京东购买
去淘宝购买 去淘宝购买
去当当购买 去当当购买
去拼多多购买 去拼多多购买


博雅大学堂·哲学:数理逻辑 bar code 下载
扫码下载










相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 windowsfront.com All Rights Reserved. 静流书站 版权所有