应用逻辑

作者: 尼罗德
出版社: 机械工业出版社
出版年: 2006-9
页数: 456
定价: 49.00元
ISBN: 9787111197720
5星
40.9%
4星
18.2%
3星
31.8%
2星
9.1%
1星
0.0%

在豆瓣App讨论这本书 · · · · · ·

扫码下载豆瓣App
用豆瓣App扫码,找人聊聊这本书。
没有豆瓣App? 去下载

在哪儿借这本书?

> 图书馆合作 找不到你需要的图书馆?

这本书的其他版本  · · · · · ·  ( 全部3 )

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

reserved
reserved
11月5日 读过


荣光啊荣光
荣光啊荣光
9月25日 想读

tags:逻辑 数理逻辑

penguinfreud
penguinfreud
9月22日 在读

这本书虽然讲的东西多,prolog、模态逻辑、直觉主义什么都有,但是有很多让人不爽的地方。其一它不够形式化,所有公理、引理、定理几乎都是自然语言描述的,有时候还会用一些让人读不懂的句法;其二,命题逻辑和谓词逻辑的公理体系讲的非常少;其三,书里给的命题逻辑第三条公理模式不是弗雷格的第三条,还把空集公理放到了ZFC里。

觀龜悟禪
觀龜悟禪
9月16日 在读

tags:数理&逻辑&天文&地理

> 13人在读

> 24人读过

> 144人想读

二手市场

订阅关于应用逻辑的评论:
feed: rss 2.0