经典好书《自动机理论、语言和计算导论》读书内容简介:SBN：9787111240358，作者：（美）霍普克罗夫特（Hopcroft，J.E） 等著；孙家骕 等译作者简介John E.Hopcroft 于斯坦福大学获得博士学位，现为康奈尔大学计算机科学系教授。1994年到20...详情

经典好书《敦煌碑铭赞辑释》读书内容简介: 郑炳林，陕西省黄陵县人。1956年7月24日生，兰州大学敦煌学研究所所长，兰州大学历史文化学院教授、博士生导师。作者简介详情

经典好书《魏晋南北朝隋唐史资料（第三十八辑）》读书内容简介: 作者简介详情

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

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

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

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

经典好书《啊哈C语言！逻辑的挑战（修订版）》读书内容简介:常有趣的编程启蒙书，《啊哈C语言！逻辑的挑战（修订版）》从中小学生的角度来讲述，没有生涩的内容，取而代之的是生动活泼的漫画和风趣幽默的文字。配合超萌的编程软件，《啊哈C语言！逻辑的挑战（修订版）》从开始学习与计算机对话到自己独立制作一个游戏，由浅入深...详情

经典好书《逻辑研究》读书内容简介:粹逻辑学导引”发表于1900年；第二卷“现象学和认识论研究”发表于1901年，由六项研究组成，前五项研究构成第二卷的上册，第六项研究单独构成第二卷的下册。全书的德文原版共有一千三百多页。1913年，在经胡塞尔本人做了较大程度的修改之后，《逻辑研究》又...详情

经典好书《量子场论导论》读书内容简介:研究生教材，并受到普遍好评。与同类教材相比，《量子场论导论》的内容非常丰富。全书分三个部分。第一部分集中介绍场的正则量子化方法。量子电动力学和费曼图。第三部分是关于非阿贝尔规范场的详细讨论。而第二部分是在这两个部分之间搭建的一个桥梁，着重阐述泛函方法...详情