经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《《明儒学案》研究及论学杂著》读书内容简介:A. (1976), Chinese Literature and History, Chu Hai College, Hong Kong. （香港珠海书院中国文史系学士，中国文学研究所硕士）；Ph.D (1984) and M.A (1981), ...详情

经典好书《电影美学与心理学》读书内容简介:书式的视野，而且汇集了经典电影理论时期的论述，形成一份总纲。作者让•米特里，是法国电影理论家，电影史学家，电影教育家，法国电影学院教授，实验电影导演，法国电影资料馆创办人。译者崔君衍，是国内电影理论的权威学者，巴黎大学访问学者，哈佛大学高级访问学者，...详情

经典好书《现象学的心理学》读书内容简介:程做了回顾。早期的胡塞尔采取心理主义立场，想用具有客观意义的学科来为客观知识奠定基础。他知道这条路是行不通的，于是想用描述心理学来做尝试，但后来发现与其用心理学这个字倒不如用现象学。胡塞尔从1903年开始有五、六年朝超验现象学去发展，意图用这种方式让...详情

经典好书《私有财产的经济学与伦理学》读书内容简介:一位伟大的奥地利学派经济学家。如果说奥地利学派经济学的“主轴线”是逻辑一现实主义哲学，那这条“主轴线”的高峰无疑是米塞斯的行动学理论，而罗斯巴德和霍普则依靠严密的逻辑演绎，完善了米塞斯体系。要了解这一体系，阅读奥地利学派经济学代表性著作《私有财产的经...详情

经典好书《论第一原理》读书内容简介:著作丰硕，曾在牛津、剑桥、巴黎诸大学任教。他力求探讨神学和哲学的关系，意图通过形而上学来说明信仰，并对形而上学的讨论进行总结。刊各脱特别注重亚里士多德的形而上学，对它进行重新诠释，从而处理哲学和神学、理性和意志之间的关系，引导对上帝的重新理解。</p...详情

经典好书《论第一原理》读书内容简介:中探讨了上帝与第一原理之间的关系。并且从第一原理的角度谈了对上帝的认识，涉及哲学基本概念和问题。司各脱在书中对存在概念的讨论，在中纪纪经院哲学家中是非常独特的，尤其是对上帝是否“存在”(存在这个概念是否适用于上帝)的精细分析，他找出安瑟伦的先天证明的...详情

经典好书《慕庐论学集》读书内容简介:》、《慕庐雑稿》、《世说新语补正》、《文心雕龙缀补》、《颜氏家训斠注》，并王叔岷先生手稿《吕氏春秋校补》，共七部专著，囊括王叔岷先生治学之方方面面，参考价值颇大。注：本书为竖排繁体中文版。王叔岷先生，号慕庐，一九一四年生，...详情

经典好书《乾惕居论学文集》读书内容简介:零六篇，按类编为五卷：卷一和卷二多为校勘、考证、训诂类，卷三主要为自著及他人著作所做的序言类，卷四主要为语法及修辞类，卷五为与《左传》及著者《左传疏证》相关的文章。新见叠出，所涉亦广，可见著者学术功底之深厚。作者简介徐仁甫...详情