经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
经济学的思维方式 书籍
经典好书《经济学的思维方式》读书内容简介: 2000)美国芝加哥大学伦理学与社会学博士、华盛顿大学经济系教授。专业研究领域为经济学史和经济系统伦理学批评。作为大学本科经济学教育的改革者,海恩终生致力于改变僵化刻板的经济学教学方式,被誉为美国“近25年来最优秀的经济学教育工作者”...详情
人类学的四个讲座 书籍
经典好书《人类学的四个讲座》读书内容简介:帕梅拉·斯图瓦德应北京大学教授王铭铭之邀,在北京大学做的四次主题演讲,内容以在巴布亚新几内亚田野考察为基础。同时援引美国、西班牙、爱尔兰、中国台湾的诸多案例,广泛涉及巫术妖法、体液观等人类学传统课题,创造性地将之与当代国际问题如恐怖主义、全球化等课题...详情
社会学的想象力 书籍
经典好书《社会学的想象力》读书内容简介:学家。早年求学于威斯康星大学,广涉社会与政治理论,兼修史学和人类学,25岁获博士学位。50年代初以《白领:美国的中产阶级》一举成名,并任教于哥伦比亚大学社会学系。他在知识社会学和美国社会阶层研究领域都有杰出的成绩,他与人合作编译的《韦伯社会学文 选》...详情
政治经济学的国民体系 书籍
经典好书《政治经济学的国民体系》读书内容简介: 李斯特(1789-1846)是德国工业资产阶级的思想家,资产阶级经济学中历史学派的先驱者之一。在本书中,他发挥了关于国家体系经济学的学说,论证了实行关税保护以发展德国工业资本的必要。(本书据朗曼斯·洛林公司1928年版译出。)作者简介详情
中国新文学的源流 书籍
经典好书《中国新文学的源流》读书内容简介:辟了研究现代文学的新思路;周作人文学观得到集中体现的一部著作;较早从传统文学中找寻新文学源头的作品。内容简介周作人著。据一九三四年人文书店刊本影印。周作人应沈兼士之邀,于辅仁大学作了数次关于新文...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《20世纪40年代文学的新中国想象》读书内容简介: 严靖,1981年12月生,福建连城人。北京师范大学历史学学士(2003)、文学硕士(2006)和文学博士(2012)。现为武汉大学文学院讲师、台湾清华大学访问学者。主要从事中国现代文学思潮及新诗研究。作者简介详情