网络上哪有数理逻辑的课程? 第1页
1
lljpcz 网友的相关建议:
如果你想系统的学习这方面的内容的话，其实没啥必要一开始就去找网课。(除非你外语理解完全没有任何障碍)建议先读几本中文的书，对数理逻辑里面的底层中层概念有一点基本的认知。我自己读的是我校哲学系的一套书，里面大概过了一遍一下一阶语言二阶语言不完备性集合论可构成力迫可递归之类的东西。不是说这套册子写的比外国人写的好，但是先接触了概念再读其他的外语书就不会很吃力。
读完了这些书再去读其他的就会好读很多。推荐GTM53
1
相关话题
证明数学定理的意义是什么？请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？
原命题与逆否命题真假性一定相同吗？
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？
为什么会有数学家反对对无穷集合使用排中律？
关于哥德巴赫猜想，有人从哥德尔定理考虑过可证性吗？
证明的定义是什么？证明的意义是什么？
假如数学没有了自然数的概念及其性质会怎样？
关于哥德巴赫猜想，有人从哥德尔定理考虑过可证性吗？
有哪些不易察觉的错误证明？
前一个讨论
为什么在数轴上随便取一个点，一定取到的是无理数？
相关的话题
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？等词是否可以用属于来定义？
假如数学没有了自然数的概念及其性质会怎样？
网络上哪有数理逻辑的课程?
微积分的哲学基础是什么？
等词是否可以用属于来定义？
证明角的三分之一，怎么证明？
证明角的三分之一，怎么证明？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
如何证明这个关于良序集的命题？
科学和数学的关系是什么?
如何证明（0，1）不是可数集？
为什么需要对唯一性进行证明？
数学上有「从理论上根本无法证明」的东西么？
所有集合的势都可比较大小吗？为什么？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
所有集合的势都可比较大小吗？为什么？
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
在数学证明中，假设一个微元epsilon的思路是怎么来的？
如何通俗地理解「韦达跳跃」，如何证明？
是否存在某些问题不能用有限步骤解决？
如何理解数学证明中的容易验证？
为什么逻辑学的排中律不是任何条件下都可使用的?
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？