经典好书《自然语言计算机形式分析的理论与方法(精)/当代科学技术基础理论与前沿问题研究丛书》读书内容简介:学和数学的一个交叉研究领域，是自然语言计算机处理的关键。自然语言是信息主要的负荷者，在当今信息网络时代，计算机已经日益普及，普通计算机用户可以使用的语言资源正以惊人的速度飞快增长。互联网主要是由自然语言构成的，它已经成为了极为丰富的语言信息资源；移动...详情

经典好书《汉语史学报.第3辑，姜亮夫、蒋礼鸿、郭在贻先生纪念文集》读书内容简介:纪念文集(第3辑)》内容简介：难以忘却的思念、正本清源说异体、战国文字中一种值得注意的构形方式、评《说文段注》的“辨通别、说简化符号、《集韵》的内部结构、窥基《法华音训》原型考、颚近音的日化、日本的中日词典之现状与课题、《经籍籑诂》与汉语辞书编纂、上...详情

经典好书《告诉大雄我爱她（纪念版）》读书内容简介:说最后连大雄和小静没有在一起，一生的执著，是否会从此凋落？大熊小姐与小静先生，曾经两小无嫌猜。天作之合，也不得不因为青春的迷惘而分开。分开在地球的两端。 五年后，再次相遇。第一面，她与他在婚礼上。她说：“恭喜。” 他说：“你就那么希望我...详情

经典好书《西方美学概念史》读书内容简介: 作者简介详情

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

经典好书《胡塞尔现象学概念通释》读书内容简介:p>倪梁康，1956年生于南京。除去两年的农村插队劳动以外，始终在学校读书、教书、研究。在南京大学获硕士学位，弗莱堡大学获博士学位，卡塞尔大学做博士后研究，乌泊塔尔大学做洪堡项目研究。发表著述有：《胡塞尔：通向先验本质现象学之路》(硕士论文)、《胡塞...详情

经典好书《控制力：麻省理工学院的经典理论》读书内容简介:数学家诺伯特•维纳的代表作。在《控制力：麻省理工学院的经典理论》中，作者为研究社会提供了一个新方法和一个新观点，还为我们描述出一个未来社会的新景样，并警示在社会中将会出现的问题及其解决方法。维纳在书为读者阐述了两个观点，一是在目前的社会中人们只能通过...详情

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

经典好书《胡塞尔现象学概念通释》读书内容简介:塞尔概念的概念术语做出初步的确定，以便能为尽早形成在这些术语之中文翻译上的统一创造条件。《通释》显然无法也无意对胡塞尔术语的中译进行某种最终的规定。但它的确带有一定的“证义”意图：只有通过相互间的讨论，而非各行其是，才有可能达到在概念理解和翻译上的互...详情

经典好书《音乐美学观念史引论》读书内容简介:至20世纪中）一些重要的观念和问题进行了简明扼要但鞭辟入里的分析和诠释。作者从历史中遗留下来的音乐观念入手，但在梳理过程中又带有明确的当下视角和个人创见，史论互证，夹叙夹议。书中所涉及到的观念和问题不仅是近现代西方音乐美学史发展中的一些关键范畴，而且...详情