经典好书《逻辑与演绎科学方法论导论》读书内容简介: 《逻辑与演绎科学方法论导论》是波兰著名哲学家、逻辑学家塔尔斯基的一部数理逻辑入门著作。书中介绍了数理逻辑的一些最重要的概念，讨论了数理逻辑的进展和意义。作者简介详情

经典好书《欧洲科学的危机与超越论的现象学》读书内容简介: 作者简介详情

经典好书《论人类学与古典学的关系》读书内容简介:•K•考弗讲座”（Charles K. Colver Lectures）所做的主题演讲为基础整理而成，本书显示了他在人类学学科史以及古典学方面的渊博知识。在演讲中，他对哲学、文学、语言学以及人类学著作所涉及的内容，都能信手拈来。他的主题...详情

经典好书《与本科生谈：论文与治学》读书内容简介:内容是郑也夫教授几十年来读书、写作、做学问的心得体会，行文风格类似讲座，感情真挚，字字珠玑，发人深省，是一味以做学问为志业、为乐趣的“老学者”向青年学子的传道、授业和解惑。作者简介郑也夫，北京大学社会学系教授。1950年北...详情

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

经典好书《马克思恩格斯论文学与艺术(上下)-大学生必读》读书内容简介: 本书分为上、下两编。上编五辑为文学艺术论，论述了科学的世界观，艺术发展论，美、美感和艺术，创作和批评，文学艺术和无产阶级；下编七辑为文学艺术史，论述了原始时代文化艺术、古代文学艺术、中世纪文学和诗歌等。作者简介详情

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

经典好书《数学悖论与三次数学危机》读书内容简介:展中产生了巨大影响的悖论(毕达哥拉斯悖论、贝克莱悖论、罗紊悖论)的介绍，让读者既能充分了解悖论对数学发展所起到的巨大作用，又能对数学中欧几里得几何、无理数、微积分、集合论等的来龙去脉获得更清晰的认识。还穿插数学家的逸事，融知识性与趣味性于一体。</p...详情

经典好书《欧洲科学的危机与超越论的现象学》读书内容简介:的现象学》是胡塞尔最后一部重要著作。基本的手稿写于1935—1936年(1)。胡塞尔从1934年到1937年在《危机》一书的范围内进行写作。产生这部著作的外部原因，是维也纳文化协会邀请胡塞尔演讲。胡塞尔应邀于1935年5月7日在维也纳作了一次演讲，应...详情

经典好书《悉昙学与汉字音学新论》读书内容简介:音学的传习与汉字字音分析的发展的关系”的研究成果。作者通过研探有关古悉昙梵文字音学的资料和研究史，对悉昙文字的基本结构、性质、音理、名词术语及其入华传播影响；对受悉昙学影响而产生的汉字字音分析的名词术语，诸如反、切、正纽、傍纽、四声、双声、五音、七音...详情