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

经典好书《人类学的四个讲座》读书内容简介:帕梅拉·斯图瓦德应北京大学教授王铭铭之邀，在北京大学做的四次主题演讲，内容以在巴布亚新几内亚田野考察为基础。同时援引美国、西班牙、爱尔兰、中国台湾的诸多案例，广泛涉及巫术妖法、体液观等人类学传统课题，创造性地将之与当代国际问题如恐怖主义、全球化等课题...详情

经典好书《社会学的想象力》读书内容简介:学家。早年求学于威斯康星大学，广涉社会与政治理论，兼修史学和人类学，25岁获博士学位。50年代初以《白领：美国的中产阶级》一举成名，并任教于哥伦比亚大学社会学系。他在知识社会学和美国社会阶层研究领域都有杰出的成绩，他与人合作编译的《韦伯社会学文 选》...详情

经典好书《理论法学的迷雾》读书内容简介: 作者简介详情

经典好书《现代西方哲学的精神》读书内容简介:定教材，也是北京大学大类平台课“哲学导论”的制定参考书。精选了现代西方十位顶级哲学大师，以生动的语言深入浅出地向人们传递了近百年来现代西方哲学的精神。作者把寻求精神家园的读者带入哲学经典，使他们真切地倾听大师自己的“声音”，与这些巨人展开跨时空的思想...详情

经典好书《中国新文学的源流》读书内容简介:辟了研究现代文学的新思路；周作人文学观得到集中体现的一部著作；较早从传统文学中找寻新文学源头的作品。内容简介周作人著。据一九三四年人文书店刊本影印。周作人应沈兼士之邀，于辅仁大学作了数次关于新文...详情

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

经典好书《20世纪40年代文学的新中国想象》读书内容简介: 严靖，1981年12月生，福建连城人。北京师范大学历史学学士（2003）、文学硕士（2006）和文学博士（2012）。现为武汉大学文学院讲师、台湾清华大学访问学者。主要从事中国现代文学思潮及新诗研究。作者简介详情

经典好书《世界史背景下中西古典史学的比较与诠释》读书内容简介:调了认识为理解者和被理解者双方相互理解的对话过程,诠释学的基本理论对中西古典史学研究产生了重要的影响，它对构建中西古典史学的主体意识具有重要意义,加深了对中西史学比较基本认识范畴中同与异的理解，并有助于对中西史学比较合理性的深入探讨。本书认为研究诠释...详情

经典好书《数学的建筑》读书内容简介: 作者简介详情