Logic and Structure

作者: Dirk van Dalen / Dirk van Dalen
出版社: Springer
出版年: 2008-9-1
ISBN: 9783540208792
页数: 263
装帧: Paperback
定价: USD 54.95
评价人数不足
评价:

Logic and Structure的创作者  · · · · · ·

短评  · · · · · ·  ( 全部 3 条 )

热门

  • 0 穆谦 2014-08-13 17:21:37

    逻辑学中的逻辑和这个人很有逻辑中的逻辑不是一个逻辑。如果你只是想看看哲学，我觉得学到first-order logic为止就够了。如果你想研究计算机技术、人工智能之类的，可以学学Formal Logic。

  • 1 Usagi 2022-09-25 16:35:32 浙江

    我的问题，Kripke Semantic之后就不大看得懂了，不过他使用结构和模型去研究某些Syntax和Mathemetics的问题是非常有启发的

  • 0 阿文 2018-08-23 15:15:56

    介绍了一阶逻辑、二阶逻辑以及直觉逻辑。关于二阶逻辑给出了清楚的定义以及完备性的说明，其中完备性就直接说根据一阶逻辑是显然的。整本书都是这么简洁的。

我要写书评

Logic and Structure的书评 · · · · · · ( 全部 0 条 )

论坛  · · · · · ·

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

以下书单推荐  · · · · · ·  ( 全部 )

谁读这本书?  · · · · · ·

饥饿艺术家
饥饿艺术家
6月11日 想读


在那七片树林里
在那七片树林里
6月9日 想读


[己注销]
[己注销]
4月29日 想读


路过…
路过…
4月14日 想读


> 8人在读

> 13人读过

> 88人想读

二手市场  · · · · · ·

订阅关于Logic and Structure的评论:
feed: rss 2.0