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

经典好书《黑格尔小逻辑绎注》读书内容简介: 作者简介详情

经典好书《汉上宧文存 梁祝戏剧辑存》读书内容简介:高明传考、冯梦龙墨憨斋词谱辑佚、谈吴江派、魏良辅南词引正校注、汤显祖剧作的腔调问题、市语汇钞、从风人体到俏皮话、曲律简说等九篇论文，为钱南扬戏曲论文的精华。《梁祝戏剧辑存》，收入元明清三代有关梁山伯、祝英台戏文十八篇，这些戏文对研究梁祝故事的演变，促...详情

经典好书《编辑忆旧》读书内容简介:从事编辑出版事业的过程，以及对编辑出版工作的思考，并提供了大量有关三四十年代中国出版业的第一手的资料，特别是对进步出版工作的记述尤其珍贵。书中清晰地描绘了当年出版界和文化界中形形色色的人物及错综复杂的关系，展现了老一辈出版工作者的工作状态，编辑与作者...详情

经典好书《李斯集辑注》读书内容简介:国上蔡（今河南省上蔡县）人。出身于“间巷布衣”，少与韩非“从荀卿学帝王之术”。公元前247年，李斯“度楚王不足事，而六国皆弱”，惟有秦具备“灭诸侯，成帝业，为天下一统”的条件，遂辞别荀卿，离楚“西说秦王”。在秦先后被拜为长史、客卿、廷尉和左丞相，在辅...详情

经典好书《中国土地制度变革的历史与逻辑》读书内容简介:》在史料选择上以土地制度是否发生重大变革为标准，主要目的是要通过对土地制度变革的重大事件的梳理和回顾，建立起一个比较完整的土地制度变迁脉络，从而发现土地制度变迁的内在逻辑。另外，应该指出的是，所谓中国土地制度，主要是指农村土地制度。在中国古代，农村土...详情

经典好书《警犬汉克历险记·成长特辑》读书内容简介:精彩的《警犬汉克历险记》是他广受欢迎的代表作。作为曾经的牛仔，他对牧场的种种生活细节信手拈来，描写生动真实，引人入胜。目前，他和家人一同生活在得克萨斯州佩里顿自己的牧场上。杰拉尔德•L. 福尔摩斯曾经为数不清的漫画与教科书绘过插图，他为...详情

经典好书《明人谱牒序跋辑略》读书内容简介:序跋作品，直观地反映了明代家族伦理思想的方方面面。各篇文字辑自明人别集，其现存家谱、族谱中之序跋未予辑录。各篇按作者生卒年先后编排，首取生年，其不知生年者，依卒年；其生卒年皆不知者，依其生活时代。作者名标于各篇题下，附注生卒年备检。各篇皆施以标点，并...详情

经典好书《敦煌碑铭赞辑释》读书内容简介: 郑炳林，陕西省黄陵县人。1956年7月24日生，兰州大学敦煌学研究所所长，兰州大学历史文化学院教授、博士生导师。作者简介详情

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