经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
数据库管理系统原理与设计 书籍
经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情
经典好书《帝京岁时纪胜·燕京岁时记·人海记·京都风俗志》读书内容简介: 本书由清人潘荣陆所著"帝京岁时纪胜",富察敦崇所著"燕京岁时记",查慎行所著"人海记",让廉所著"京都风俗志"合定而成。记述北京旧时风物的书少之又少,是四本记述旧北京面貌的集子可为我们展示当时社会生活的方方面面作者简介详情
经典好书《全校会注集评聊斋志异修订本》读书内容简介:校以青柯亭本、铸雪斋本、异史本、二十四卷本、但明伦批本等目前可见的十几种本子,重新厘定了《聊斋》的编次,改通行本的十二卷为八卷;汇集了十余家评语,除著名的王世禛、冯镇峦、但明伦等的评论之外,还加入了不太常见的王金范和方舒岩的评语;汇编了《聊斋》最重要...详情
经学通志 书籍
经典好书《经学通志》读书内容简介:广博且精深,对四部均有涉及。于经部,《经学通志》是钱基博的代表作,此书的特点:其一,体例上有独到之处,不是按朝代写经学史,而是按经书写。其二,在构架上有独到之处,不是写十三经,而是只选择了几部真正的儒家经典。钱基博认为十三经中,有的是子书,如《孟子》...详情
经典好书《夏志清夏濟安書信集(卷二:1950-1955)(簡體字版.精裝)》读书内容简介:巨擘,他們早年的求學生涯,既是東西方學術交織融匯的實例,又是民國和1949年後「大歷史」的親身見證。他們的往來書信經由志清先生鄭重珍藏,經夏志清太太王洞女士授權,蘇州大學季進教授註釋整理,首次向外界披露。本書分為四卷,收錄了1947年夏...详情
经典好书《日野日出志傑作選 怪奇のはらわた》读书内容简介: 作者简介详情
東坡志林 书籍
经典好书《東坡志林》读书内容简介:不但记载了许多的朝野大事,也融铸了许多荒诞不经的传说。涉笔成趣。在很大程度上开启了明代小品文的风格。作者简介苏轼(1037-1101),字子瞻,号东坡居士,四川眉山人。苏轼不但是杰出的文学家,而且是卷入北宋政...详情