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

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

经典好书《文化理论与大众文化导论》读书内容简介:名文化研究学者约翰·斯道雷所著之经典教材，在西方学界经久不衰，是公认的媒介与文化研究领域最为权威的综述性著作之一。《文化理论与大众文化导论(第5版)》对文化研究这一学科的历史，传统及当下的发展现状做了深入细致的分析，广泛涉猎文化主义，结构主义、马克思...详情

经典好书《文化理论与通俗文化导论》读书内容简介:俗文化、“文化与文明”传统、文化主义、结构主义与后结构主义、马克思主义、女权主义、后现代主义、通俗政治等，适合文化理论研究者参考使用。本书再讲两点。第一，这是首次全方位的研究，提供了对文化理论与通俗文化关系的详尽理论分析和批评评论。它从...详情

经典好书《语言非范畴化：语言范畴化理论的重要组成部分（修订版）》读书内容简介:分》于2006年第一次出版，2015年入选“中文学术图书引文索引”数据库，是其中“外国语言文学”学科132种入选图书之一，被业界专家称为“具有前沿性和创新性的语言学专著”。本次修订新增十二个章节，在原来的基础上进一步阐述了在由错位走向协调的过程中句法...详情

经典好书《文化理论与大众文化导论》读书内容简介:经典教材，在西方学界产生的影响经久不衰，是公认的媒介与文化研究领域最为权威的综述性著作之一。本书对文化研究这一学科的历史、传统及当下的发展状况进行了深入、细致的分析，广涉文化主义、结构主义、马克思主义、女性主义和后现代主义等诸多的社会科...详情

经典好书《理性化与官僚化》读书内容简介:丰沛的资源，近来在欧美、日本及国内均引起了广泛的兴趣。十余年来德国学者尤其用力于韦伯研究，新观点与新诠释层出不穷，施路赫特正是这股韦伯研究热潮中的代表人物。他关于韦伯的许多著作，早已具有经典地位，被译成数国文字出版。施路赫特现执教于德国海德堡大学，除...详情

经典好书《二十世纪西方社会理论文选：社会理论的政治分化》读书内容简介:然科学”、“人文科学”三分学术分天丰，在文教制度和政制层面所占据的实际位置要显赫得多。社会科学通常指关涉“社会”的各门具体学科的总称，社会理论不直接就等于社会科学，而是这些门类繁多的具体学科知识的理论基础。社会理论家的身份有点像古希腊的“诗人”中古的...详情

经典好书《心理动力学个案概念化（万千心理）》读书内容简介:■哪些力量塑造了来访者意识中和潜意识中的想法与情感？■我们如何利用这些信息给来访者提供最好的帮助？对于心理健康从业者而言，进行心理动力学个案概念化是回答上述问题的最佳途径。它可以帮助在健康领域工作的心理治疗师理解来访者、设...详情

经典好书《产品经理进化论：AI+时代产品经理的思维方法》读书内容简介:法》以人工智能时代产品经理的思维与方法为主线，讲述了产品经理在人工智能浪潮中，从一般的互联网产品的产品经理升级到 AI+产品的产品经理应该思考的问题，应该具有的产品感知，以及在产品中嵌入 AI 时应该如何解决问题。第一部分主要讲述人工智能时代产品经理...详情