交互式定理证明与程序开发 书籍
经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这《交互式定理证明与程序开发:Coq归纳构造演算的艺术》给出了大量的例子,所有例子都町以在计算机上执行。从《交互式定理证明与程序开发:Coq归纳构造演算的艺术》配套网站可...详情
影片剧情摘要:
姆明谷今年的冬季似乎不太寻常,所以姆明决定出发大冒险,而不是如常去冬眠。冒险之旅中姆明发现奇怪的生物在黑暗寒冬中雪堆奔驰,所有新的暗示出现意味着一位古怪的客人即将来临…
详情
经典好书《《清明上河图》与清明上河学》读书内容简介: 作者简介详情
影片剧情摘要:园,这茶园是阿敏家的。阿敏家就住在紫云山的半山腰上,那高低错落的院子、白墙黑瓦的房子。。。 杭州城有座紫云山,紫云山的最高处有一片茶园,这茶园是阿敏家的。 阿敏家就住在紫云山的半山腰上,那高低错落的院子、白墙黑瓦的房子...详情
经典好书《明清农村社会经济 / 明清社会经济变迁论》读书内容简介:先生的深层思索,中国的封建社会虽然经过农民军的猛烈冲击,封建地主抛力却依然强大,封建土地所有制照样牢固存在着。对此,不能简单地从土地制度本身去寻求解答,还必须考察其他社会诸因素。这样他又把研究面从农村扩大到商业上面来。1946年前后他写成《明代微商考...详情
经典好书《世界时间与东亚时间中的明清变迁(下卷)》读书内容简介:p>Professor, History and EALC,Indiana University, U. S..A.司徒琳1974年畢業於密西根大學,取得博士學位。現任教於印地安娜大學歷史系,主要的研究領域為:中國古代史(Traditi...详情
经典好书《明清福建家族组织与社会变迁(增订版)》读书内容简介:毕业于厦门大学历史系,1982年师从傅衣凌教授攻读明清社会经济史,1989年获历史学博士学位。现任厦门大学历史系教授、博士生导师、人文学院副院长,兼任中国社会史学会副会长。主要从事闽台社会文化史、历史人类学、民间历史文献的教学与研究,著有《明清福建家...详情
经典好书《明清法律运作中的权力与文化》读书内容简介:具体而有用的论证与观察。经由奏折、题本、档案等官方史料,以及契约史书、讼师秘本等民间史料,考察了明清的诸多法律与社会世相,并将这些不同的法律现象放入一个更广阔的社会史、政治史、经济史与文化史视野做更细致与宏观的考察。本书有...详情
经典好书《明清江南望族与社会经济文化》读书内容简介:者在对明清江南望族作典型分析和专题研究之后,即以此为切入点,依次研究了江南城镇及其经济问题、江南商人与商帮问题、江南社会风尚与风俗民情总是等这样一些江南社会经济史中的重要问题,而又以望族为主线将它们有机地贯穿起来。《明清江南望族与社会经济文化》文笔流...详情
日本读本小说与明清小说 书籍
经典好书《日本读本小说与明清小说》读书内容简介:学外国语学院日语系教授,现离休。中国日本文学研究会、中日比较文学研究会、和歌俳句研究会理事。 早年留学日本,多年从事日本和歌和古典文学研究。在国内外发表《日本韩国与汉诗的比较研究》、《评日本古典历史剧“国性爷大战南京城”》等论文数十篇。主要译作:...详情