本书提出了一种基于类型系统和结构操作语义的编程语言理论。第2版经过全面修订，几乎每章都包含习题，并新增一章讨论类型细化。本书涉及的概念广泛，包括：基本数据类型，多态和抽象类型，动态定型，动态分派，子类型和类型细化，符号和动态分类，并行和成本语义，并发和分布。书中对不同编程语言的特性做了分析、证明和比较，所提供的方法可直接应用于语言的实现、程序推理逻辑的研发以及语言特性的形式化验证，具有较高的实用性。 本书不仅可以作为高等学校计算机相关专业的编程语言理论课程教材，也可供相关领域的科研人员和技术人员参考阅读。

本书提出了一种基于类型系统和结构操作语义的编程语言理论。第2版经过全面修订，几乎每章都包含习题，并新增一章讨论类型细化。本书涉及的概念广泛，包括：基本数据类型，多态和抽象类型，动态定型，动态分派，子类型和类型细化，符号和动态分类，并行和成本语义，并发和分布。书中对不同编程语言的特性做了分析、证明和比较，所提供的方法可直接应用于语言的实现、程序推理逻辑的研发以及语言特性的形式化验证，具有较高的实用性。 本书不仅可以作为高等学校计算机相关专业的编程语言理论课程教材，也可供相关领域的科研人员和技术人员参考阅读。

经典电影理论教材新版修订 条分缕析、仔细梳理电影理论史上各家观点 学习电影理论的入门必备 ................... ※编辑推荐※ ☆ 电影理论入门经典教材，细致梳理电影理论的发展历程和重要观点。 ☆体例清晰，方便读者迅速认识各派理论观点精髓，并提供丰富的延伸阅读书目。 ☆在旧版基础上增补修订“电影与类型”“电影与明星”两个新章节，紧跟电影理论前沿话题。 ................... ※内容简介※ 这是一本电影理论入门的基础教材，作者从历史的角度，梳理和分析了理论家们对于电影这一艺术形式的思考和探索 。围绕“电影是什么”这一电影诞生以来的核心问题，不同时期的研究者给出了不同的回答，从苏联蒙太奇学派对于形式的重视，到巴赞、克拉考尔对于写实主义美学的强调，从经典理论对于电影本体的讨论，到现代理论跨学科、多角度的思考，本书对这些观点的...(展开全部)

塞巴斯塔编写的这本《编程语言原理(第10版)》从为什么学习程序设计语言入手，深入细致地讲解了命令式语言的主要结构及其设计与实现，内容涉及变量、数据类型、表达式和赋值语句、控制语句、子程序、数据抽象机制、对面向对象程序设计的支持(继承和动态方法绑定)、并发、异常处理和事件处理等方面。最后两章介绍了函数式程序设计语言和逻辑程序设计语言。 《编程语言原理(第10版)》内容丰富，讲解透彻，既可用做高等院校计算机及相关专业本科生程序设计语言课程的教材和参考书，也可供程序设计人员参考。

塞巴斯塔编写的这本《编程语言原理(第10版)》从为什么学习程序设计语言入手，深入细致地讲解了命令式语言的主要结构及其设计与实现，内容涉及变量、数据类型、表达式和赋值语句、控制语句、子程序、数据抽象机制、对面向对象程序设计的支持(继承和动态方法绑定)、并发、异常处理和事件处理等方面。最后两章介绍了函数式程序设计语言和逻辑程序设计语言。 《编程语言原理(第10版)》内容丰富，讲解透彻，既可用做高等院校计算机及相关专业本科生程序设计语言课程的教材和参考书，也可供程序设计人员参考。

格奥尔格·康托（1845—1918），德国数学家，集合论的创始人。本书是一部数学经典。它记录了一百年前数学领域的一项惊人成就，也是数学和哲学思想史上关于无穷观念的一场革命。康托完全背离了自古希腊以来千余年的数学传统，创立了集合理论，提出了超穷序数和超穷基数理论，第一次使人们相信，自然数集合与有理数集合是可数的，而实数集合是不可数的；也第一次使人们相信，无穷不仅是存在的，无穷还可以比较大小，甚至无穷可以进行超穷的运算。他所创立的无穷理论，不仅直接促使现代集合论的建立，也极大地推进了数理逻辑的发展，而逻辑和现代集合论构成了全部数学的基础。

格奥尔格·康托（1845—1918），德国数学家，集合论的创始人。本书是一部数学经典。它记录了一百年前数学领域的一项惊人成就，也是数学和哲学思想史上关于无穷观念的一场革命。康托完全背离了自古希腊以来千余年的数学传统，创立了集合理论，提出了超穷序数和超穷基数理论，第一次使人们相信，自然数集合与有理数集合是可数的，而实数集合是不可数的；也第一次使人们相信，无穷不仅是存在的，无穷还可以比较大小，甚至无穷可以进行超穷的运算。他所创立的无穷理论，不仅直接促使现代集合论的建立，也极大地推进了数理逻辑的发展，而逻辑和现代集合论构成了全部数学的基础。

本书手把手地教读者用C语言制作两种编程语言：crowbar与Diksam。crowbar是运行分析树的无类型语言，Diksam是运行字节码的静态类型语言。这两种语言都具备四则运算、变量、条件分支、循环、函数定义、垃圾回收等功能，最终版则可以支持面向对象、异常处理等高级机制。所有源代码都提供下载，读者可以一边对照书中的说明一边调试源代码。这个过程对理解程序的运行机制十分有帮助。 本书适合有一定基础的程序员和编程语言爱好者阅读。

本书手把手地教读者用C语言制作两种编程语言：crowbar与Diksam。crowbar是运行分析树的无类型语言，Diksam是运行字节码的静态类型语言。这两种语言都具备四则运算、变量、条件分支、循环、函数定义、垃圾回收等功能，最终版则可以支持面向对象、异常处理等高级机制。所有源代码都提供下载，读者可以一边对照书中的说明一边调试源代码。这个过程对理解程序的运行机制十分有帮助。

本书是为中等音乐学校编写的“基本乐理”试用教材。书中重点介绍了五线谱的乐理知识。全书共分十五章，包括音律、记谱法等的知识。全书共分十五章，包括音律、记谱法、调式、音程、和弦、节奏、节拍、音乐的速度与力度、转调移调、装饰音和旋律的知识。同时还有简谱及工尺谱简介，常用音乐术语等。内容丰富，简明。适合广大专业和业余音乐工作者学习，参考。本书1962年初版，1980年再版作者作了必要的修改和补充，此次重版又作了少许的改动。