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

经典好书《我需要你的愛。這是真的嗎？》读书内容简介:美國最著名的心靈導師之一、心靈書籍暢銷作家、「轉念作業」創始人。轉念作業誕生於一九八六年二月的某個清晨。那時，四十三歲的拜倫．凱蒂在飲食失調治療中心的地板上驀地清醒過來，發現所有曾經困擾她的想法、所有的憤怒全都消失不見了，她從憂鬱...详情

经典好书《愛情真短遺忘太長: 聶魯達的20首情詩與絕望的歌》读书内容简介:牙語語言文學系教授，博士生導師，並擔任中國西班牙、葡萄牙、拉丁美洲文學研究會會長。他選題嚴格，介紹和翻譯的物件都是世界級的名家巨作。著有《西班牙與西班牙語美洲詩歌導論》、《拉丁美洲文學史》，譯有阿根廷史詩《馬丁·菲耶羅》、《拉丁美洲詩選...详情

经典好书《率真的你&做作的我》读书内容简介:屋簷之下培養愛情♥★受到貓咪的誘惑，大犬男子能保持理智不崩壞嗎!?「在你面前，我總是無法偽裝自己。」八木尚人害怕被人討厭，總是扮演著「理想」。被朋友半拖半拉帶去「鎮上聯誼」的八木，...详情

经典好书《超靈七號系列－穿梭實相幻相》读书内容简介:間，且可任意變換成四個不同性別、年代的男女。例如西元前3500年的一個原始女黑人、十七世紀的一個年輕畫家、二十世紀的一個老女詩人，及西元2300年住在未來太空城市中的十六歲青年等等，來觀照人類所謂「全我」的各個部分，並透過對這些部分的觀察、溝通，來得...详情

经典好书《紫禁城の月 大清相国 清の宰相 陳廷敬 上巻》读书内容简介:文学创作，出版有长篇小说《国画》《梅次故事》《苍黄》等六部，中短篇小说若干，曾获湖南省青年文学奖。从2001年10月起，专职写小说。现为湖南省作家协会常务副主席。十年前，王跃文以一部《国画》进入人们的视野之后，相继推出了《朝夕之间》、《梅次故事》、《...详情

经典好书《运动心理准备的理论与实践》读书内容简介:技运动的迅速发展对运动员心理能力的要求愈来愈高，重大比赛的成功发挥除了坚实的训练水平之外，还取决于运动员心理状态的稳定性。某些运动员在比赛中表现出情绪过度紧张、思维混乱、心理承受力不足等心理障碍严重影响了正常技术水平的发挥，甚至出现意想不到的失误。多...详情

经典好书《给心理治疗师的礼物（万千心理）》读书内容简介:一代治疗师的珍贵备忘录，汇集了他最真实的经验和最坦诚的交流。翻开这本书就像是拆开了来自亚隆的生命的礼物，它将带你领略心理治疗的独到魅力——“与他人真正相遇”。亚隆医生分享了自己近年来的新观点与新发现，不但有对原有主题的新思考与新感悟，也...详情

经典好书《津巴多普通心理学(原书第7版DSM-5升级版美国名校学生喜爱的心理学教材)》读书内容简介:G. Zimbardo）斯坦福大学教授，他在那里教授了50年心理学入门课程，过去35年里一直在编写该课程的基础教材、教师指南和学生练习手册。他多年以来一直致力于将心理学知识传播给大众，其重要贡献包括制作并主持广为传播的纪录片《探索心理学...详情

经典好书《量子论的物理原理》读书内容简介:子论的一本经典著作，书中阐述了量子论的物理意义，特别着重于粒子图像和波动图像的等价性，讨论了测不准原理对统一这两种图像的意义和必要性，有不少内容是海森伯独到的见解，特别是对哥本哈根学派的观点和思想作了完整论述，是这一学派的一本代表作，它对我们了解量子...详情