信息理论基础

本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统

本书是理论计算机科学领域的名作，是计算机科学核心主题的导论性教材。全书分为可计算性、文法与自动机、逻

《电影理论基础》的研究范围和内容构成主要是围绕电影学学科建设，围绕本科生和研究生的教学与研究，选题都

本书是为中等音乐学校编写的“基本乐理”试用教材。书中重点介绍了五线谱的乐理知识。全书共分十五章，包括

计算理论是计算机科学的理论基础。《计算理论基础》(第2版)介绍了计算理论最核心、最基本的内容，包括形