网络上哪有数理逻辑的课程? 第1页
1
lljpcz 网友的相关建议:
如果你想系统的学习这方面的内容的话，其实没啥必要一开始就去找网课。(除非你外语理解完全没有任何障碍)建议先读几本中文的书，对数理逻辑里面的底层中层概念有一点基本的认知。我自己读的是我校哲学系的一套书，里面大概过了一遍一下一阶语言二阶语言不完备性集合论可构成力迫可递归之类的东西。不是说这套册子写的比外国人写的好，但是先接触了概念再读其他的外语书就不会很吃力。
读完了这些书再去读其他的就会好读很多。推荐GTM53
1
相关话题
零测集的子集是否可测？为什么会有数学家反对对无穷集合使用排中律？
逻辑学中，前提为假而命题为真的推论如何解释？
莱布尼茨的普遍语言是否可以实现？
如何证明这个关于良序集的命题？
5是一个已知数，设5＝x或者x＝5，这两个表达的意思在数学和语文表达正确吗？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
什么是博弈论语义学？
为什么需要对唯一性进行证明？
如何理解数学证明中的容易验证？
前一个讨论
为什么在数轴上随便取一个点，一定取到的是无理数？
相关的话题
如何简单清晰地解释哥德尔不完备定理？微积分的哲学基础是什么？
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
如何证明悬链线图像是双曲余弦？
5是一个已知数，设5＝x或者x＝5，这两个表达的意思在数学和语文表达正确吗？
怎么学习算法信息论?
有哪些不易察觉的错误证明？
为什么数学里非要写「当且仅当」，而不是「仅当」？
与1相邻的实数存在吗？
原命题与逆否命题真假性一定相同吗？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
环中任何一个非空子集都可以生成理想吗？
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
问一个很严肃的问题，中国当代哲学水平到底怎样？
在数学证明中，假设一个微元epsilon的思路是怎么来的？
如何简单清晰地解释哥德尔不完备定理？
如何证明一个数学命题的不可证性？
当我们说一个定理可以推出另一个定理的时候, 我们在说什么?
如何证明R1可测函数覆盖的区域是可测的？
莱布尼茨的普遍语言是否可以实现？
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？
如何证明这个关于良序集的命题？
为什么数学定义一般采用如下形式：X has property P, if（条件），而不是 iff？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
如此证明（0，1）=【0，1】，是否正确？
网络上哪有数理逻辑的课程?
零测集的子集是否可测？