经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
编辑忆旧 书籍
经典好书《编辑忆旧》读书内容简介:从事编辑出版事业的过程,以及对编辑出版工作的思考,并提供了大量有关三四十年代中国出版业的第一手的资料,特别是对进步出版工作的记述尤其珍贵。书中清晰地描绘了当年出版界和文化界中形形色色的人物及错综复杂的关系,展现了老一辈出版工作者的工作状态,编辑与作者...详情
李斯集辑注 书籍
经典好书《李斯集辑注》读书内容简介:国上蔡(今河南省上蔡县)人。出身于“间巷布衣”,少与韩非“从荀卿学帝王之术”。公元前247年,李斯“度楚王不足事,而六国皆弱”,惟有秦具备“灭诸侯,成帝业,为天下一统”的条件,遂辞别荀卿,离楚“西说秦王”。在秦先后被拜为长史、客卿、廷尉和左丞相,在辅...详情
老照片(第8辑) 书籍
经典好书《老照片(第8辑)》读书内容简介:薄雾,传来叮咚叮咚的驼铃声,一队一队满载各种货物的骆驼正踏着积雪不紧不慢地迈向京城(图①、图②)。退回半个多世纪,这是北京的寻常景观。 北京原本没有自然生长的骆驼。利用骆驼在北京搞运输,始自元代。13世纪,蒙古大汗忽必烈修建了...详情
少年天下系列第二辑 书籍
经典好书《少年天下系列第二辑》读书内容简介:方少年》杂志,包括6本分册,分别以尊重为主题的《你必须站起来》,以感恩为主题的《妈妈,我很好》,以责任为主题的《保卫臭氧层》,以诚信为主题的《花不出去的“钞票”》,以勇敢为主题的《不怕不怕啦!》,以坚持为主题的《通往春天的专列》。本书围绕青少年成长中...详情
经典好书《中国土地制度变革的历史与逻辑》读书内容简介:》在史料选择上以土地制度是否发生重大变革为标准,主要目的是要通过对土地制度变革的重大事件的梳理和回顾,建立起一个比较完整的土地制度变迁脉络,从而发现土地制度变迁的内在逻辑。另外,应该指出的是,所谓中国土地制度,主要是指农村土地制度。在中国古代,农村土...详情
警犬汉克历险记·成长特辑 书籍
经典好书《警犬汉克历险记·成长特辑》读书内容简介:精彩的《警犬汉克历险记》是他广受欢迎的代表作。作为曾经的牛仔,他对牧场的种种生活细节信手拈来,描写生动真实,引人入胜。目前,他和家人一同生活在得克萨斯州佩里顿自己的牧场上。杰拉尔德•L. 福尔摩斯曾经为数不清的漫画与教科书绘过插图,他为...详情
明人谱牒序跋辑略 书籍
经典好书《明人谱牒序跋辑略》读书内容简介:序跋作品,直观地反映了明代家族伦理思想的方方面面。各篇文字辑自明人别集,其现存家谱、族谱中之序跋未予辑录。各篇按作者生卒年先后编排,首取生年,其不知生年者,依卒年;其生卒年皆不知者,依其生活时代。作者名标于各篇题下,附注生卒年备检。各篇皆施以标点,并...详情