百科问答小站 logo
百科问答小站 font logo



网络上哪有数理逻辑的课程? 第1页

  

user avatar   lljpcz 网友的相关建议: 
      

如果你想系统的学习这方面的内容的话,其实没啥必要一开始就去找网课。(除非你外语理解完全没有任何障碍)建议先读几本中文的书,对数理逻辑里面的底层中层概念有一点基本的认知。我自己读的是我校哲学系的一套书,里面大概过了一遍一下一阶语言二阶语言不完备性集合论可构成力迫可递归之类的东西。不是说这套册子写的比外国人写的好,但是先接触了概念再读其他的外语书就不会很吃力。

读完了这些书再去读其他的就会好读很多。推荐GTM53




  

相关话题

  在集合论里,对于二元公式φ,如何证明(任意X)(存在{x∈X:φ(x,X)})? 
  如此证明(0,1)=【0,1】,是否正确? 
  证明被默认的结论对知识的发展有什么意义? 
  为什么逻辑学给入门者的感觉如此之乱? 
  如何理解数学里的「若 A 不真,则 A→B 总是真的」这种蕴含关系? 
  为什么我会感觉用数学归纳法证明很low?而用其他证明方法就显得很高大上? 
  请问这两个在表达方式上很相似的结论是否有相通的地方(感觉他们证明方法也很像)? 
  微积分的哲学基础是什么? 
  如何简单清晰地解释哥德尔不完备定理? 
  以「Q.E.D」收尾证明语段,是什么梗? 

前一个讨论
为什么在数轴上随便取一个点,一定取到的是无理数?
下一个讨论
如何评价比尔盖茨谈华为和开放性:「认为任何中国的东西都是坏的」的想法是非常疯狂的?





© 2024-11-12 - tinynew.org. All Rights Reserved.
© 2024-11-12 - tinynew.org. 保留所有权利