ad holder

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

图书介绍


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

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



点击这里下载
    

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

发表于2022-05-27

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

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

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

相关图书



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

博雅大学堂·哲学:数理逻辑 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收藏本页
你会得到大惊喜!!

用户评价

评分

很喜欢:.360.智藏法师1.智藏法师,他的每一本书几本上都有,这本宽宽的世界,宽宽的心很不错,一部在浮躁尘世收获安然的开悟之书!一部风靡全国开悟亿万心灵的暖心之作!一部迄今为止最富有哲理的身心灵修养书!宽宽的世界,宽宽的心是一本借助佛学智慧,通晓人生哲理的身心灵修养书。佛学是一个百宝箱,从最肤浅的做人做事的技巧,到最高深的生命哲学,里面应有尽有。宽宽的世界,宽宽的心主要选择跟现实生活息息相关的内容加以介绍,例如,怎样美化自我形象怎样赢得他人的爱和尊重怎样和他人友好相处怎样体验快乐富足的生活怎样解脱烦恼、痛苦怎样应对生活中的挫折和不幸怎样擦亮慧眼、获得真正的智慧怎样追求自己的人生目标怎样为自己播种福缘怎样安顿自己迷茫的灵魂等等。佛学是一门研究人的学问,或者说,是一门研究人心的学问,把人心看得透透的,就把世界看得透透的。人是一种聪明的善于解决问题的动物,同时也是一种过于聪明的善于为自己、为他人制造麻烦的动物。为了应付变化万千的世界,为了应付变化不定的生活,为了应付变化莫测的人心,人类聪明地设立了一个个概念,作为评价事物的标准,例如,爱情,友谊,忠诚,背叛,善良,丑恶,公正,自私,成功人士,失败者,优生,差生人类还聪明地建立了一个个框架,作为经营人生的指南,例如,人应该追求成功,知识改变命运,男大当婚,女大当嫁,爱情是婚姻的基础,幸福就是过上好日子,诸如此类。各种概念和框架,大大简化了人们的生活,大大降低了思考问题和解决问题的难度,但是,世界毕竟在前进,生活毕竟在发生变化,人也在悄悄地发生着改变,那些相对固着的概念,终将成为人们的绊脚石那些相对稳定的框架,终将成为束缚人们的囚笼。于是,烦恼和痛苦产生了!随着文明的进步,知识的普及,人类建立和掌握的概念、框架也越来越多,于是,烦恼和痛苦与日俱增,时至今日,中国已经进入全民焦虑时代了,其他发达国家也差不多,乐呵呵的人群,反倒是那些原始部落。难怪老子说绝学,无忧。将许多分辨好坏对错的知识、信息装在头脑中,烦恼是必然的副产品。但这不是知识惹的祸,也不是物质丰富的过错,烦恼多多的原因是人们固执地把自己装进有房、有车、有存款、我一定要活出个人样给别人瞧瞧之类的框架里,不懂得怎样自然地生活。打破是佛学最有价值的部分。在佛眼里,一切概念,一切框架,不过是颠倒妄想、愚痴执著,皆可打破。事实上,每个人都善于打破,古今伟人、善士,都可以恶搞一番古今哲理、高论,都可以批驳一番,但这种毫无理性的打破,得到的不过是满地碎片。佛家的打破,是以真知破谬见,以实相破假相,推倒一切思维之墙,在推倒的同时,将人们带进一个无障无碍、风景独好的新世界。佛学是

评分

书还不错,还子啊看当中

评分

评分

好的很,很喜欢!

评分

质的要求,对教育规律的把握,对教学艺术的领悟,对教学特色的追求。

评分

好书,京东快递也给力,过年不打洋

评分

书很好,送货也快,值的购买

评分

⑤教学生抓重点.教学难免有意外,课堂难免有突变,应对教学意外、课堂突变的本领,就是我们通常说的驾驭课堂、驾驭学生的能力。对教师来说,让意外干扰教学、影响教学是无能,把意外变成生成,促进教学、改进教学是艺术。生成相对于教学预设而言,分有意生成、无意生成两种类型;问题生成、疑问生成、答案生成、灵感生成、思维生成、模式生成六种形式。生成的重点在问题生成、灵感生成。教学机智显亮点.随机应变的才智与机敏,最能赢得学生钦佩和行赞叹的亮点。教学机智的类型分为教师教的机智、学生学的机智,师生互动的机智,学生探究的机智。机智常常表现在应对质疑的解答,面对难题的措施,发现问题的敏锐,解决问题的灵活。

评分

好的很,很喜欢!

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

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


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


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






ttbooks.qciss.net    ttbooks.qciss.net    ttbooks.qciss.net    ttbooks.qciss.net    ttbooks.qciss.net   



相关图书




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

友情链接

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