杨睿之相关电子书下载

杨睿之编著1992 年出版149 页ISBN：7805335869

郝兆宽，杨睿之，杨跃著2014 年出版249 页ISBN：9787309110258

本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语义部分并强调语法语义的统一。此外，本书的另一个重要目的是为了后继课程做准备，因此也是引学习者入数...

杨睿之著2016 年出版218 页ISBN：9787309126587

作为现代哲学主流形式的分析哲学与作为现代逻辑基础的数理逻辑有着共同的起源。然而，随着各自的发展，两者自上世纪中叶以来逐渐分道扬镳。本书将展示分析哲学与数理逻辑在它们的“蜜月期”中共同取得的重要成...

郝兆宽，杨睿之，杨跃著2018 年出版207 页ISBN：9787309140187

递归论是数理逻辑的四大分支之一，创立于20世纪30年代，它的产生源于解决数学中的判定问题。从20世纪50年代研究范围逐渐扩大，关注点从可计算性扩展到对一般意义上的复杂性、构造性和可定义性等，它与逻辑学的其他...

（清）杨睿著1897 年出版124 页ISBN：

（清）杨睿著1897 年出版104 页ISBN：

（清）杨睿著1897 年出版112 页ISBN：

（美）Sam R. Lloyd，（美）Tina Berthelot著；韩经纶，杨睿凯译2003 年出版116 页ISBN：7310018184

（清）杨睿著2222 年出版116 页ISBN：

（清）杨睿著2222 年出版116 页ISBN：