程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
经典好书《学习英语与从事英语工作的人生历程》读书内容简介:学外国语学院英语系教授李赋宁先生,于2004年5月10日上午10时10分因晚期癌症导致多器官衰竭,救治无效,不幸逝世,享年87岁。 李赋宁先生祖籍陕西蒲城,1917年3月生于江苏南京。1939年毕业于清华大学外文系,1941年毕业于清...详情
经典好书《艺术密语书系:教堂建筑的秘密语言》读书内容简介:案有何深意?在如此美丽的建筑中,怎么会有凶狠的野兽雕塑从墙上探出头来?为何读经台上有鹈鹕的造型,而立柱上有枝叶装饰?中世纪的大部分信众虽目不识丁,却能够读懂教堂建筑中精心编码的种种象征符号,并领会其中的含义与背后的故事。对虔信者而言,教堂是接受宗教教...详情
经典好书《赖世雄教你学英语语法(上下)》读书内容简介:淳,赖教授最高学历是在美国明尼苏达大学修得大众传播与英语教学双硕士学位,以及博士班研究。曾多次担任国际性逐步及同步口笔译,1998年创立《常春藤解析英语杂志社》,出版专业性的英语学习杂志与丛书,曾在十多家知名广播电台担任英语教学节目主讲。2003年3...详情
经典好书《高等院校双语教学适用教材•会计》读书内容简介:了赫尔辛基经济与工商管理学院的荣誉博士学位。帕利普教授现任哈佛商学院罗斯·格雷厄姆·沃克工商管理讲席教授和主管国际发展事务的高级副院长。他也是向哈佛大学校长提供全球战略咨询的高级顾问。在担任目前的领导职务之前,帕利普教授曾在哈佛商学院中担任过其他职务...详情
经典好书《外教社词动力·Townsend Press英语词汇学习丛书:英语词汇突破》读书内容简介: 作者简介详情
经典好书《对外汉语教学语法释疑201例》读书内容简介:国入学习汉语过程中在语法方面普遍感到疑惑的201个问题,进行有针对性的重点分析、答疑。为了分散难点,我们将其中一些比较复杂的语言点分解为若干小问题来进行解答。所有条目以《对外汉语教学语法大纲》(王还主编,北京语言学院出版社,1995)为...详情
经典好书《应用回归分析(R语言版普通高等教育十三五规划教材)》读书内容简介:科学、管理及社会经济等领域有着非常广泛的应用。本书是针对统计学专业和财经管理类专业教学的需要而编写的。本书写作的指导思想是在不失严谨的前提下,明显不同于纯数理类教材,努力突出实际案例的应用和统计思想的渗透。由于R语言已风靡全球,在统计方法的应用中运用...详情
经典好书《文明的进程:文明的社会起源和心理起源的研究 第一卷》读书内容简介:、不断检验以及不断地用以后观察到的东西对以前的看法进行修正这样的过程中逐步形成的。只有把这本书看作一个整体时,才能更好地理解其每一部分,更好地理解其结构和方法。 这本书也对“国家”的社会起源进行了研究。研究的根本目的在于找出其形成...详情
经典好书《文明的进程:文明的社会起源和心理起源的研究 第二卷》读书内容简介:斯劳。1915年应征入伍,赴西线作战。1918年就读于布雷斯劳大学.专业为医学和哲学。1924年获哲学博士学位。1925年迁居海德堡,开始了学者生涯。在认识了卡尔・曼海姆教授后转向社会学研究。1930年迁居法兰克福,为曼海姆教授当助教。 1933年希...详情