网络上哪有数理逻辑的课程? 第1页
1
lljpcz 网友的相关建议:
如果你想系统的学习这方面的内容的话，其实没啥必要一开始就去找网课。(除非你外语理解完全没有任何障碍)建议先读几本中文的书，对数理逻辑里面的底层中层概念有一点基本的认知。我自己读的是我校哲学系的一套书，里面大概过了一遍一下一阶语言二阶语言不完备性集合论可构成力迫可递归之类的东西。不是说这套册子写的比外国人写的好，但是先接触了概念再读其他的外语书就不会很吃力。
读完了这些书再去读其他的就会好读很多。推荐GTM53
1
相关话题
如何证明Q[³√5]是域？假如数学没有了自然数的概念及其性质会怎样？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
为什么需要对唯一性进行证明？
莱布尼茨的普遍语言是否可以实现？
5是一个已知数，设5＝x或者x＝5，这两个表达的意思在数学和语文表达正确吗？
假如数学没有了自然数的概念及其性质会怎样？
等词是否可以用属于来定义？
零测集的子集是否可测？
如何通俗解释偏序关系和偏序理论？它们在不同学科中有哪些应用？
前一个讨论
为什么在数轴上随便取一个点，一定取到的是无理数？
相关的话题
5是一个已知数，设5＝x或者x＝5，这两个表达的意思在数学和语文表达正确吗？如何证明一个数学命题的不可证性？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
有哪些看起来高大上实际上非常容易证明的数学命题？
这样的数学归纳法是否成立？
微积分的哲学基础是什么？
叶戈罗夫定理的逆定理该怎么证明？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？
有哪些看起来高大上实际上非常容易证明的数学命题？
叶戈罗夫定理的逆定理该怎么证明？
微积分的哲学基础是什么？
数学上有「从理论上根本无法证明」的东西么？
环中任何一个非空子集都可以生成理想吗？
证明被默认的结论对知识的发展有什么意义？
零测集的子集是否可测？
叶戈罗夫定理的逆定理该怎么证明？
问一个很严肃的问题，中国当代哲学水平到底怎样？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
如何让一个 5 岁小孩听懂什么是选择公理？
如何通俗地理解「韦达跳跃」，如何证明？
等词是否可以用属于来定义？
如何证明悬链线图像是双曲余弦？
证明数学定理的意义是什么？
数学中有哪些看起来很不可思议的知识？
什么是博弈论语义学？
证明被默认的结论对知识的发展有什么意义？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？