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

经典好书《走向近代化的北京城》读书内容简介:史年代北京市市政管理机构的演化、北京市的道路铺设与城市规化、北京市排放污水系统、北京市城市公共空间——公园建设、北京市供水系统、北京市电灯照明系统、北京市的交通等城市建设基本工程系统。研究了这些机构、系统兴起发展的内在因素、外部条件以及这些工程对北京...详情

经典好书《心若向阳，无谓悲伤》读书内容简介:光，那一点也不丢人。别人的生活没有你想像的好，你的生活也没有自己以为的坏。你的伤痕甚至都不能比别人更独特。重要的是，生命中发生的每一件事情都自有意义，每一次的历经都应使我们变成更好的人，千万不要做一个白白吃过了上天给过的苦头之后却并不去...详情

经典好书《认知、脑与意识》读书内容简介:识：认知神经科学导论（全彩色版）（原著第2版）（导读版）》由认知神经科学领域的权威学者Bernard J．Baars和Nicole M．Gage担纲主编，以独特的方式介绍了该领域的知识与进展。基础教育领域的诸多专业要求学生对认知神经科学具备基本的理解...详情

经典好书《旧学新知集》读书内容简介: 中国著名文学家，翻译家，梵学研究、印度文化研究家。1948年后任北京大学东语系教授。曾任中华全国世界语协会理事，中国世界语之友会会员，第三至七届全国政协委员，九三学社第五届至七届常委，宣传部部长。作者简介详情

经典好书《不知之云（The Cloud of Unknowing）》读书内容简介: 在十三及十四世紀之間，一位不具名的英國人，為蒙召度靜觀生活的人，寫下這本書。其主旨不在引導陌生人入門，而是為在靈修道上已有所準備的人，鋪陳前進的階梯。全書七十五小章，循序漸進讀來，即能心領神會，辨認自身心靈世界之所在。作者简介详情

经典好书《未知的實相(卷一)》读书内容简介:著你踏查，去感覺內在的神奇力量和與不可思議！在人生當中，我們沒有選擇的道路、沒有實現的衝動，以及閒置一旁的白日夢，在超乎感官、超越意識的世界，在另一個可能的實相裡，統統都實現了。賽斯說：「在我其他的書裡，我用了許多已被接受...详情

经典好书《心理医生为什么没有告诉我》读书内容简介:类的好书。书中介绍的整合疗法可以根据个体的人格特质，生理、心理状况，以及表现出的症状，从放松（不同于一般意义的放松）、身体锻炼、日常饮食调节、正念冥思等方面，配合暴露疗法、脱敏疗法、内观疗法等制订出个性化的治疗模式，再结合药物治疗，从而取得很好的疗效...详情

经典好书《憂鬱症的内觀認知治療(MBCT)》读书内容简介:的技術，將認知治療的適用範圍拓展到更大。這本書值得推薦的原因包括了：１這是一本結合冥想、內觀與認知治療的書。２這個治療學派除了認知的改變之外，也促成了個案的自我轉化，學習另外一種新的生活態度和習慣，和純粹只有改變某些核心想...详情

经典好书《走向世界共和国》读书内容简介:日本當代文藝評論家、思想家。1941年，生於兵庫縣。1965年，東京大學經濟學系畢業、研究所英國文學碩士班課程。歷任法政大學教授（1975–94）、耶魯大學東亞學系客座教授（1975–77）、近畿大學教授（1994–2006）、近畿大學國際人文...详情