网络上哪有数理逻辑的课程? 第1页
1
lljpcz 网友的相关建议:
如果你想系统的学习这方面的内容的话，其实没啥必要一开始就去找网课。(除非你外语理解完全没有任何障碍)建议先读几本中文的书，对数理逻辑里面的底层中层概念有一点基本的认知。我自己读的是我校哲学系的一套书，里面大概过了一遍一下一阶语言二阶语言不完备性集合论可构成力迫可递归之类的东西。不是说这套册子写的比外国人写的好，但是先接触了概念再读其他的外语书就不会很吃力。
读完了这些书再去读其他的就会好读很多。推荐GTM53
1
相关话题
叶戈罗夫定理的逆定理该怎么证明？等词是否可以用属于来定义？
零测集的子集是否可测？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
为什么数学里非要写「当且仅当」，而不是「仅当」？
如何证明悬链线图像是双曲余弦？
如何通俗解释偏序关系和偏序理论？它们在不同学科中有哪些应用？
如何简单清晰地解释哥德尔不完备定理？
莱布尼茨的普遍语言是否可以实现？
逻辑学中，前提为假而命题为真的推论如何解释？
前一个讨论
为什么在数轴上随便取一个点，一定取到的是无理数？
相关的话题
这样的数学归纳法是否成立？哥德尔不完备性定理宣示了逻辑的边界，是否意味着逻辑本身证明了逻辑是有缺陷的，人类如何突破逻辑的窒锢？
为什么逻辑学给入门者的感觉如此之乱？
为什么逻辑学的排中律不是任何条件下都可使用的?
麻生公开课教材问题如果a, b是两个相等的实数，那么a=0.是否正确？
这样的数学归纳法是否成立？
证明数学定理的意义是什么？
科学和数学的关系是什么?
以「Q.E.D」收尾证明语段，是什么梗？
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？
等词是否可以用属于来定义？
如何证明悬链线图像是双曲余弦？
零测集的子集是否可测？
证明的定义是什么？证明的意义是什么？
如何证明没有上帝？
所有集合的势都可比较大小吗？为什么？
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？
原命题与逆否命题真假性一定相同吗？
这样的数学归纳法是否成立？
如何通俗解释偏序关系和偏序理论？它们在不同学科中有哪些应用？
如此证明（0，1）=【0，1】，是否正确？
为什么会有数学家反对对无穷集合使用排中律？
如何证明每一个有穷的偏序都可以延拓成一个线序？
如何证明悬链线图像是双曲余弦？
为什么逻辑学的排中律不是任何条件下都可使用的?
证明被默认的结论对知识的发展有什么意义？
有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？
数学上有「从理论上根本无法证明」的东西么？
当我们说一个定理可以推出另一个定理的时候, 我们在说什么?
有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？