经典好书《中国土地制度变革的历史与逻辑》读书内容简介:》在史料选择上以土地制度是否发生重大变革为标准,主要目的是要通过对土地制度变革的重大事件的梳理和回顾,建立起一个比较完整的土地制度变迁脉络,从而发现土地制度变迁的内在逻辑。另外,应该指出的是,所谓中国土地制度,主要是指农村土地制度。在中国古代,农村土...详情
入唐求法巡禮行記 书籍
经典好书《入唐求法巡禮行記》读书内容简介:,詳述了圓仁唐文宗開成三年(838)隨藤原常嗣一行入唐,至唐宣宗大中元年(847)歸國,身曆江蘇、安徽、山東、河北、山西、河南省中州府治所20處,縣治處35處的各種經歷、見聞、遭遇。內容涉及唐代社會的政治、經濟、文化、科技、交通、宗教,以及中日關係等...详情
经典好书《“文学少女”と慟哭の巡礼者》读书内容简介:ライトノベル作家。福島県出身。東洋大学文学部国文学科卒。大学在学中にデビューすることを望んでいたが、それが叶わず卒業後に就職するも一年で退社、本格的に新人賞への投稿を開始し、2001年、『赤城山卓球場に歌声は響く』で第3回ファミ通エンタ...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
数理逻辑 书籍
经典好书《数理逻辑》读书内容简介:版)》内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及...详情
经典好书《沒有色彩的多崎作和他的巡禮之年》读书内容简介:超越《1Q84》銷售紀錄,上市十天突破100萬冊!「世界上有令人喜歡的顏色,也有令人厭惡的顏色」《沒有色彩的多崎作和他的巡禮之年》是村上春樹睽違文壇三年最新長篇小說。敘述一位36歲鐵道工程師多崎作,在女友木元沙羅的鼓勵下,...详情
哲学逻辑引论 书籍
经典好书《哲学逻辑引论》读书内容简介: A.C.格雷林,伦敦大学伯克贝学院哲学高级讲师、牛津大学圣安妮学院特约研究员。著有《哲学逻辑导论》(1982)、《驳怀疑论》(1986)、《贝克莱:中心论证》(1986)等书。担任《卫报》专栏作者多年,并为《观察家》、《经济学人》等刊物撰稿。作者简介详情
经典好书《啊哈C语言!逻辑的挑战(修订版)》读书内容简介:常有趣的编程启蒙书,《啊哈C语言!逻辑的挑战(修订版)》从中小学生的角度来讲述,没有生涩的内容,取而代之的是生动活泼的漫画和风趣幽默的文字。配合超萌的编程软件,《啊哈C语言!逻辑的挑战(修订版)》从开始学习与计算机对话到自己独立制作一个游戏,由浅入深...详情
逻辑研究 书籍
经典好书《逻辑研究》读书内容简介:粹逻辑学导引”发表于1900年;第二卷“现象学和认识论研究”发表于1901年,由六项研究组成,前五项研究构成第二卷的上册,第六项研究单独构成第二卷的下册。全书的德文原版共有一千三百多页。1913年,在经胡塞尔本人做了较大程度的修改之后,《逻辑研究》又...详情
数理逻辑 书籍
经典好书《数理逻辑》读书内容简介: 本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义,针对逻辑学的初学者,尤其是初学逻辑的学生,介绍一阶逻辑的最基本的知识和技术,包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。作者简介邢滔滔,北京大学哲学系副教授详情