本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统,它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材,同时也适合用于高等研究的技术参考书。
第1章 引言
1.1 模型程序设计语言
1.2 λ记法
1.3 等式,归纳和语义
1.4 类型和类型系统
1.5 记法和数学约定
1.6 集合论基础知识
1.7 语法和语义
1.8 归纳法
第2章 PCF语言
2.1 引言
2.2 PCF语法
2.3 PCF程序及其语义
2.4 PCF归纳和符号解释程序
2.5 PCF编程样例,表达能和限度
2.6 PCF的变体和扩展
第3章 泛代数及代数数据类型
3.1 引言
3.2 代数规范概述
3.3 代数,基调和项
3.4 等式,可靠性和完备性
3.5 同态和始代数
3.6 代数数据类型
3.7 重写系统
第4章 简单类型化λ演算
4.1 引言
4.2 类型
4.3 项
4.4 证明系统
4.5 Henkin模型,可靠性和完备性
第5章 类型化λ演算模型
5.1 引言
5.2 域论模型和不动点
5.3 不动点归纳
5.4 计算适当性和完全抽象
5.5 递归理论模型
5.6 部分等价关系和递归
第6章 命令式程序
6.1 引言
6.2 while程序
6.3 操作语义
6.4 指称语义
……
第7章 范畴和递归类型
第8章 逻辑关系
第9章 多态与模块性
第10章 类型适应性和相关概念
第11章 类型推理
参考文献
计算机操作系统原理与应用 : 高等学校计算机专业教材精选·计算机原理 本书特色 《计算机操作系统原理与应用》是我们参考了国内外有关OS的论著和技术资料,并结合多...
《巴赫《法国组曲》》内容简介:葛蔚英为上海音乐学院钢琴系教授。在20世纪90年代,编注了巴赫的钢琴组曲《英国组曲》《法国组曲》
计算机组成原理(第二版)(附光盘) 内容简介 本书是普通高等教育“十一五”国家级规划教材。本书第1版被列为“ 面向21世纪课...
本书基于MIT(麻省理工学院)的一门课程写成,主要目标是帮助读者掌握并熟练使用各种计算技术。本书涵盖了Python的大部分特性,重
《Arduino创意机器人入门》内容简介:机器人教育融机械、传感与控制等内容为一体,让学生在手脑并用解决实际问题的过程中,有效地提
鲍勃张,1993年毕业于延世大学经济专业。在经历了一段平凡无奇的公司生活后,于2005年的一天开始接触绘画。在那之后,他自己发布
《数码单反摄影从入门到精通(畅销升级版)》内容简介:本书共分为4篇21章,向读者全面而深刻地展示了单反摄影各方面的知识和具体实
内容简介:今天的Android应用开发者经常要想尽办法来提升程序性能。由于应用越来越复杂,这个问题也变得越来越棘手。本书主要介绍
《机器学习编程》内容简介:使用监督学习从头构建一个图像识别应用程序。用线性回归预测未来。深入研究梯度下降,这是一种驱动大部
电子游戏中也存在“看不见的手”吗?玩虚拟游戏能够创造真实价值吗?为什么现实世界需要虚拟经济?经济学作为一门成熟的学科,起
《投资大白话》内容简介:一本让股市小白看得懂的书,一本值得投资老手重视的书。用人人都听得懂的话阐明股市投资的真谛,让人人都
《企业内部控制从懂到用》内容简介:本书将作者近20年内控咨询、培训及与企业各级管理人员沟通交流的经验进行归纳沉淀,通过完备的
Scratch少儿趣味编程 本书特色 scratch是麻省理工学院设计开发的一款编程工具,是适合少儿学习编程和交流的工具和平台,有中文版且完全免费。《scrat...
本书主要以Fireworks网页效果图设计为主线,介绍网页效果图的设计流程和网页中各种页面元素的设计。书中按照网页的构成元素,如布
《知识产权中国化应用研究》内容简介:本书系知识产权法权威学者吴汉东教授对知识产权基本问题的独到见解,浓缩了作者几十年学术研
《心香:最难是夫妻》内容简介:本书记录了作者对亡妻一生深深的回忆——一个普通中国家庭自己的记忆:夫妻相识、结婚生子,衔草筑
本书纵观了软件开发在不同发展阶段的特点,揭示了当今在很多大型应用软件设计、开发过程中采用的一种部署模式,引出了一种称之为
《剪发技术专业图解教程》内容简介:本书以发型层次为线索,通过4种层次分别在颈部、后脑区、侧发区、顶发区、脸周围的不同表现,详
《漫步,遇见地道的台北生活》内容简介:本书是介绍轻松愉快的台湾徒步旅游书。作者带你逛仁爱路林荫大道、PEKOE杂货铺、东区茶街、
Office 2003中文版教程 内容简介 本书的目的是使读者学会使用Office 2003中文版软件,提高学习与工作效率。 本书详细讲解了0ffice 200...