当前位置：首页 > 逻辑与计算机科学哲学相关PDF电子书下载
-
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
理性重建与社会实践:逻辑经验主义的社会科学哲学思想研究
张海燕著2018 年出版217 页ISBN：9787010193748书中内容通过总结和廓清逻辑经验主义对社会科学相关问题的认识，试图构建一个合理的研究体系，从而能够将散乱复杂的不同研究内容有机地纳入这一理论体系中。在系统地归纳逻辑经验主义对社会科学研究的基础上，给...
-
科学的结构 后逻辑经验主义的科学哲学探索
张华夏著2016 年出版320 页ISBN：9787509775868本书立足实体结构主义和广义的科学结构，对逻辑经验主义衰落后的一些比较重大的科学哲学问题进行了一种综合性的探讨。共分三篇：“第一篇科学与实在”揭示了科学合理性与价值合理性和社会交往合理性之间的区别...
-
20世纪科学、逻辑和数学哲学
（加）斯图亚特·G.杉克尔（Stuart G.Shanker）主编2016 年出版505 页ISBN：9787300235394《劳特利奇哲学史》第九卷考察了20世纪科学、逻辑和数学哲学的十个关键主题。每篇专题论文都由该领域世界重要专家所写，对所讨论的主题提供了综合性介绍。其写作方式不仅面向哲学专业学生，而且也面向对这些主...
-
-
-
