数理逻辑 pdf epub mobi txt 电子书下载 2025

简体网页||繁体网页

☆☆☆☆☆

邢滔滔，北京大学哲学系副教授

出版者:北京大学出版社

作者:邢滔滔

出品人:

页数:274

译者:

出版时间:2008-8

价格:28.00元

装帧:简

isbn号码:9787301112557

丛书系列:

图书标签:

数理逻辑
逻辑学
数学
逻辑
哲学
教材
符号学
语义

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。

具体描述

读后感

评分☆☆☆☆☆

我认为，这是一本文科写出来的书，采用了标准的总分方式，在第一章囤积了太多的内容，直到通读全书后，才会再去醒悟说：啊，这原来就是第一章里面说的XXX。可能邢老师是想学生在第一章对全书有个全面的掌握，然后在学习后面的内容的时候带着这样的问题去读。但我不得不表示，...

评分☆☆☆☆☆

这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”，他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰，他们为这本书当了小白鼠，不知他们有木有因此学得狠桑心？为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...

用户评价

评分☆☆☆☆☆

随便翻了一遍，没纠缠细节。基本的东西都大致都讲到了。不过对于非逻辑学专业，尤其是欧陆方向并不基础也无甚卵用，没事不要随便作死。PS：滔滔逻辑老湿(Prof. Tautology)既然都敢全英文授课了，书里几百个专有名词弄个中英对照表吼不吼哇？以及火星文少一点吼不吼哇？

评分☆☆☆☆☆

配合徐明，可以说非常好的入门与巩固。此书比之徐明，胜在鞭辟入里，从最基础的展开，一层层递进，大局观很强。不过高屋建瓴，导论篇已需要一定的哲学功底和逻辑功底，刷一些徐明的题之后，食用风味更佳哦。不足处在于未设置中英文专有名词对照以及无习题解答并且确实只能算入门，很简单

评分☆☆☆☆☆

【已存柜】 p101第一个“σ(a/x₁)(x₁)”“σ”前或缺少一个表示结构的花体字符号上标 p127“习题6.6”，根据p146“6.6 系理…6.7 习题，或应为“习题6.7” p170“这便矛盾规则的证明”或应加上“是” p194注释①中的Van Dalen（1980）在参考文献中没有记录 p268“Ψₙ₊₁=Ψₙ∪｛ψ(c/x)}或Ψₙ₊₁=Ψₙ∪｛ψ₁｝”“ψ₁”或应改为“ψ₂”

评分☆☆☆☆☆

看跪了。希望晚上考试顺利

评分☆☆☆☆☆

讲解挺好的，语义部分很赞，语形只有自然推演这个比较纠结，可惜例子太少不适合自学，于是被习题虐惨了。。。