请问这是哪一本数理逻辑？【数学吧】

数学吧关注：932,969贴子：8,930,109

8回复贴，共1页

请问这是哪一本数理逻辑？

我在一门数理逻辑课网页链接中看到了老师引用了该书的一些片段网页链接. 我发现这本书严格定义了propositional logic中proposition的formation tree(或许也能对First-order Language中的formula定义类似的formation tree?). 我在学习的时候也有类似的想法, 但想不出严格的数学表述, 所以很好奇这本书是哪一本书, 也想看看其他篇章. (我在看J.L.Bell的A course in mathematical logic, 他在第一章确实没有提到类似formula的tree的概念)

送TA礼物

IP属地:甘肃

来自Android客户端1楼2025-05-05 14:46回复

捞一下, 因为我是数理逻辑的初学者, 所以就不在知乎, mse这种论坛上问了, 在这里可以问的随意一点. Thanks in advance!

IP属地:甘肃

来自Android客户端2楼2025-05-05 21:24

不感兴趣

开通SVIP免广告

你问你老师啊

IP属地:日本

来自Android客户端3楼2025-05-05 23:54

收起回复

这东西应当不是数理逻辑的标准内容，你可以再找两本数理逻辑教材翻翻目录，看看里面有没有。
我猜他要讲的是语法树之类的东西，如果是的话你可以去找本计算机方面的教材作为参考，比如编译原理讲parser的部分可能会有类似内容。

IP属地:北京

来自Android客户端4楼2025-05-06 12:17

再捞一波, 我已经知道类似的概念在Raymond M. Smullyan的''First-order logic''中提到了. 可我几乎把zlib上关键字''mathematical logic''的所有书的目录都看了一遍, 还是没找到...所以它的名字可能不包含''mathematical logic''...

IP属地:甘肃

来自Android客户端5楼2025-05-13 03:47

该书为Anil Nerode和Richard A. Shore编写的''Logic for Applications''.

IP属地:甘肃

来自Android客户端6楼2025-06-03 23:45

扫二维码下载贴吧客户端

下载贴吧APP
看高清直播、视频！

贴吧热议榜

8回复贴，共1页

<返回数学吧

发表回复

发贴请遵守贴吧协议及“七条底线”贴吧投诉

内容:

使用签名档查看全部

发表

保存至快速回贴

日	一	二	三	四	五	六

请问这是哪一本数理逻辑？

登录百度账号

扫二维码下载贴吧客户端