科学与数学logicmatters.net编辑精选
自学逻辑学：一份学习指南（PDF）
Teach Yourself Logic: A Study Guide [pdf]
2017 — 2018，它一次次回到首页
黑点是上首页（≥ 50 分）的那次投稿，空心点是没冲上去的投稿，点越大分数越高。
导读
这是逻辑学家 Peter Smith 编写的自学逻辑指南（PDF），实际上是一份带详细注释的阅读书目，按阶段推荐从入门到高级的逻辑教材，涵盖命题逻辑、一阶逻辑、哥德尔定理等主题。它多次登上 Hacker News 首页，被广泛视为自学数理逻辑的路线图。
为什么经久不衰：它由专家精心筛选并注释了各水平的最佳逻辑教材，且随年份更新，是任何想系统自学逻辑的人的高性价比起点。
HN 评论精选
澄清该文档本质是注释书目而非教程，并讨论学习中的常见难点
提醒一下：这份 PDF 不是逻辑教程或教科书，而是一份带注释的书目。另外，如果你曾像我一样在“实质蕴涵”上卡住（这几乎是学逻辑第一第二天就会碰到的话题），后来又终于搞懂了，我很想知道你是怎么弄懂的。
fizixer查看英文原文
Just a heads up, this pdf is not a logic tutorial or textbook, but an annotated bibliography. That said, if you got stuck on material implication (practically a topic discussed on the first or second day of logic study), as I did, and eventually were able to understand it, I'd love to know how. (Notice, only if you got stuck first, not if you never had problem understanding it).
推荐 Tomassi 的《Logic》作为对符号和数学不自信者的友好入门书
我很喜欢 Paul Tomassi 的《Logic》。如果你像我一样觉得那些符号令人生畏、担心自己没有数学头脑，可以试试这本书。它就像学逻辑界的 iPhone，一切都解释得极其清晰易懂。可惜作者英年早逝，这本书再也不会有更新修订了。
schuke查看英文原文
I loved Paul Tomassi's Logic. If like me you find all the symbols intimidating and fear that you're not mathematically-minded, try it. It's like the iPhone for learning logic. Everything is clearly explained and explained to an extremely accessible degree. It's such a shame that the author died very early, I'll never see it updated or revised. https://www.amazon.co.uk/Logic-Paul-Tomassi/dp/0415166969/ref=sr_1_1?ie=UTF8&qid=1503904811&sr=8-1&keywords=tomassi+logic
推荐配套练习软件 Logic 2010，可自动检查并讲解自然演绎练习
推荐 Logic 2010 这款应用，可以用它做逻辑练习来学习《Logic: Techniques of Formal Reasoning》（Kalish、Montague、Mar 著）中的自然演绎系统。程序官方只支持 macOS 和 Windows，但它只是 Java 程序，稍加折腾就能在 Linux 上运行。练习很有趣，程序不仅检查答案对错，还会指出错在哪里、有时还会说明为什么错。
pmoriarty查看英文原文
I'd like to recommend Logic 2010[1], a application with which you can do logic exercises to learn the natural deduction system from *"Logic: Techniques of Formal Reasoning" by Kalish, Montague, and Mar.[2] The program is officially only for MacOS and Windows, but with a little work it's possible to get it running on Linux, as it's just Java. The exercises are fun, and the program will not only check your work to make sure it's right, but also point out where and sometimes why it's wrong. [1] - https://logiclx.humnet.ucla.edu/Logic/Download [2] - https://www.amazon.com/Logic-Techniques-Reasoning-Donald-Kalish/dp/0195155041
指出作者另有 2 页精简版指南，适合不想读长文的人
同一作者还有一份短得多的指南，只有 2 页而不是 90 页。
khrm查看英文原文
A much shorter guide by the same author in 2 pages instead of 90: https://www.logicmatters.net/tyl/shorter-tyl/
历次讨论
同类还值得读
如果月球只有 1 像素：一个极其精确的太阳系模型（2014）
If the moon were only 1 pixel: A tediously accurate solar system model (2014)
一个网页版太阳系模型，以“如果月亮只有 1 像素”的真实比例呈现：你必须一路横向滚动，才能体会行星之间空旷到何等程度。
科学与数学上首页 7 次 · 2014–2025joshworth.com编辑精选沉浸式线性代数（2016）
Immersive Linear Algebra (2016)
《Immersive Linear Algebra》是一本完全免费、开放在线的线性代数“超文本教科书”，其最大特色是大量可交互的图形：读者可以直接拖动、操作图中的向量、矩阵和变换…
科学与数学上首页 5 次 · 2015–2024immersivemath.com编辑精选如何将贝果切成两个相连的半环（2009）
How to Slice a Bagel into Two Linked Halves (2009)
数学家 George Hart 的经典教程，演示如何用一刀把贝果切成两个相互扣住的环，并附上切割步骤与数学原理。
科学与数学上首页 5 次 · 2009–2022georgehart.com“犹太问题”：一组用于歧视的数学题
Jewish problems
一篇 arXiv 论文，整理并讨论苏联时期犹太学生在申请大学数学系时被问到的特殊数学难题：这些题往往有简单解法却极难想到，被用作面试中拒绝犹太考生的手段。
科学与数学上首页 5 次 · 2011–2021arxiv.org你的身体并非为长久而造：人类死亡率数据的一课
Your body wasn’t built to last: a lesson from human mortality rates
文章从人类死亡率随年龄变化的统计规律出发，解释身体并非为长久使用而设计：年轻时死亡风险较低，之后随年龄近似指数上升，像复杂系统在不断累积损伤。
科学与数学上首页 5 次 · 2009–2018gravityandlevity.wordpress.com