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

经典好书《数理逻辑》读书内容简介:版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及...详情

经典好书《制度、制度變遷與經濟成就(Institutions, Institutionl Change and Economic Performance》读书内容简介:有別於傳統的新古典經濟理論，諾貝爾獎經濟學得主諾斯以交易成本為基礎，提出新的個人行為假設，以及個人與組織的互動關係。其重要的論點指出制度變遷的過程並不必然造成有效率的結果。本書的內容不只是當今「新制度學派」的重要依據，也強調結合經濟、政治與社會理論的...详情

经典好书《古文字与青铜器论集 （第四辑）》读书内容简介:本著作，与前三本论文集内容相仿，仍然是研究中国古代的青铜器及其铭文。主要是作者近四年来的新作。书中既有关于新出青铜器意义价值的探讨，也有结合其它青铜器，对某一类、某一地区、某一国族、某一时段的青铜器作综合研究的文章。并通过对青铜器形制、纹饰、铭文、铸...详情

经典好书《俄耳甫斯教辑语》读书内容简介:中的一个古老的教派：“俄耳甫斯诗教”，它是与荷马—赫西俄德教派相并列，甚至更幽古的教派(一般研究者倾向于认定，荷马—赫西俄德的诗教是政制性的宗教，俄耳甫斯秘教则似乎是如今所谓“民间”宗教），集诗歌和宗教教义与宗教生活实践为一体。译著者搜集整理了各种文...详情

经典好书《象牙塔的变迁》读书内容简介:术的神秘魅力或巫术性质。这种魅力存在于尚未被规范的前现代学术形态，也存在于现代研究型大学所确立的各种规范中。本书讨论学术卡里斯玛与现代秩序下的研究性大学，，从中世纪的学术形态直到现代学术形态的形成，以及在此过程中研究性大学的兴起和学术卡...详情

经典好书《雍正帝及其密折制度研究》读书内容简介:，实为清初隆兴之关键时代。雍正帝深居大内，却于地方官场民情了如指掌，可见其建立的密折上奏制度极为成功，因此而留下的大量《朱批谕旨》——“天下第一痛快之书”，又成为研究该朝政事乃至廓清“谋父篡位”、“杀兄屠弟”、“杀年灭口”、“遇刺身亡”等传说迷雾的基...详情

经典好书《历史时期金沙江流域的经济开发与环境变迁》读书内容简介:》是以"经济开发与环境变迁研究"为基本思路和研究考虑，主要从土地垦殖、矿业开发、各原住民族的适应性开发与生态安全诸方面出发，分八章论证了金沙江流域的经济开发与自然环境变迁这一题域。作者简介马国君，男，苗族，湖南麻阳人，历史...详情

经典好书《五年级神探小布朗（第一辑）》读书内容简介:令所有罪犯都闻风丧胆的秘密——五年级神探小布朗。小布朗是整个达维尔读书最多的人，也是帮助他的警察局长爸爸破获各种案件的幕后高手。此外，小布朗还经营者自己的侦探社，专门帮助遇到困难的小伙伴们。事无大小，费用25美分！运用“知识”、“观察”...详情

经典好书《主体的生成机制》读书内容简介:我的生成机制。全书将重点放在对十七年诸多电影文本的细读上，在身体生产与国家认同这个维度中，去试图打捞、审视并重读这些被遗漏在重读视野之外的，只能够在电影史的叙述中被偶尔提及和简要概述的影片，从而力图在一定程度上丰富既有的对十七年电影的研究。全书对理论...详情