数理逻辑教程在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

☆☆☆☆☆
简体网页||繁体网页

陈慕泽作者

上海人民出版社

译者

2002-03 出版日期

337 页数

19.00 价格

平装

丛书系列

9787208037489 图书编码

数理逻辑教程在线电子书图书标签: 逻辑学逻辑数理逻辑学术逻辑-哲学哲学人大教材逻辑与语言

喜欢数理逻辑教程在线电子书的读者还喜欢

下载链接在页面底部

点击这里下载

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

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-24

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

数理逻辑教程在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

数理逻辑教程在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

数理逻辑教程在线电子书用户评价

评分☆☆☆☆☆

【已存柜】 p84最后一个“J”或应改为“N” p138最后一个“z”或应改为“y” p176“(3) ├¬A→(A→B”或应添上“)” p237“所以由推论题34.2”或应删去“题” p242“Q8”或应改为“Q9” p290“假设A是L₂的任意一个普遍有效的公式（开公式或闭公式），则由定理40.8，A的任意一个封闭Aᒼ是普遍有效的”或应删去“由定理40.8，”，因为没有一个“定理40.8” p321所有的“∀x∀x∀x∀w”或都应改为“∀x∀y∀z∀w” p323“由公理4”或应改为“由公理14” p324“m+nn（上有横杆——引用者注）”或应改为“m+1n（同上）” p331的两个“可满足性”或都应改为“可定义性” p332和p333所有的“∀x”或都应改为“∀z”

评分☆☆☆☆☆

宏观上比徐明的清晰，细节上不太好，另外证明中的自然语言太多了，反而不直观。

评分☆☆☆☆☆

宏观上比徐明的清晰，细节上不太好，另外证明中的自然语言太多了，反而不直观。

评分☆☆☆☆☆

最后一章一阶理论看不懂没看完，写得很细很不错。

评分☆☆☆☆☆

宏观上比徐明的清晰，细节上不太好，另外证明中的自然语言太多了，反而不直观。

数理逻辑教程在线电子书著者简介

陈慕泽：中国人民大学哲学系、宗教学系教授，博士生导师，逻辑教研室主任。教育部逻辑学基地、中山大学逻辑与认知研究所兼职研究员，中国逻辑学会常务理事。主要讲授《逻辑学》、《数理逻辑》、《数理逻辑史》、《模态逻辑》、《专业外语》等本科和研究生课程。主要著作有《数理逻辑教程》、《现代逻辑方法论》、《逻辑学》等。