Vim 8文本处理实战 书籍
经典好书《Vim 8文本处理实战》读书内容简介:各种常用的文本编辑方法和程序设计中的实用操作,深入Vim内部的数据结构和VimScript脚本编程,内容详实。本书基于Vim 8平台,介绍了前沿分支Neovim,还推荐了更先进的Oni编辑器,兼容并包,集Vim社区典型使用经验和发展趋势于一体。 本书...详情
你往何处去 书籍
经典好书《你往何处去》读书内容简介:文学丰富多彩、广博浩瀚,这个民族的自下而上就有了保证,因为文明的花朵是不可能开放在不毛之地上的。全球首部销量突破100万册的历史小说,1905年力挫托尔斯泰获得诺贝尔文学奖。一本皇帝、教徒、角斗士共同谱写的启示录,一部描述罗马帝国崩溃和基督教兴起的史...详情
菰蒲深处 书籍
经典好书《菰蒲深处》读书内容简介:,并对他进行描绘,我不想对任何人作出论断。像我的一位老师一样,对于这个世界,我所倾心的是现象。我不善于作抽象的思维。我对人,更多地注意的是他的审美意义。——汪曾祺汪先生的好,是如今大多数中国作家身上没有的好。...详情
恰到好处的亲密 书籍
经典好书《恰到好处的亲密》读书内容简介:>为什么能愉快交流、深层次沟通的朋友越来越少?为什么越来越笨拙,越来越不知道如何拉近与他人的距离?去哪里结识新朋友?怎样让新朋友快速了解你,对你产生好感?怎样真正了解彼此,建立经得起时间和空间消磨的亲密关系?当周遭发生变化,亲密关系怎样...详情
明人谱牒序跋辑略 书籍
经典好书《明人谱牒序跋辑略》读书内容简介:序跋作品,直观地反映了明代家族伦理思想的方方面面。各篇文字辑自明人别集,其现存家谱、族谱中之序跋未予辑录。各篇按作者生卒年先后编排,首取生年,其不知生年者,依卒年;其生卒年皆不知者,依其生活时代。作者名标于各篇题下,附注生卒年备检。各篇皆施以标点,并...详情
经典好书《魏晋南北朝隋唐史资料(第三十八辑)》读书内容简介: 作者简介详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
数理逻辑 书籍
经典好书《数理逻辑》读书内容简介:版)》内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及...详情
经典好书《古文字与青铜器论集 (第四辑)》读书内容简介:本著作,与前三本论文集内容相仿,仍然是研究中国古代的青铜器及其铭文。主要是作者近四年来的新作。书中既有关于新出青铜器意义价值的探讨,也有结合其它青铜器,对某一类、某一地区、某一国族、某一时段的青铜器作综合研究的文章。并通过对青铜器形制、纹饰、铭文、铸...详情