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