孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

程序设计语言的形式语义

程序设计语言的形式语义
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: 著 , 译 , 译
出版社: 机械工业出版社
2004-01
版次: 1
ISBN: 9787111131533
定价: 32.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 283页
原版书名: The Formal Semantics of Programming Languages
丛书: 计算机科学丛书
分类: 计算机与互联网
81人买过
  • 　　本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。
    　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和概念，这些知识可以用于创造、形式化和证明规则，从而可以描述和推导各类程序设计语言的各种成分和性质。本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材，也可作为软件开发人员的参考书。 　　GlynNWinskel，曾任丹麦Aarhus大学计算机科学系教授，计算机科学基础研究中心主任，现任剑桥大学计算机实验室教授。 出版者的话
    专家指导委员会
    译者序
    译者简介
    前言
    第1章集合论基础
    第1节逻辑记号
    第2节集合
    第3节关系与函数
    第4节进一步阅读资料

    第2章操作语义
    第1节IMP——一种简单的命令式语言
    第2节算术表达式的求值
    第3节布尔表达式的求值
    第4节命令的执行
    第5节一个简单的证明
    第6节另一种语义
    第7节进一步阅读资料

    第3章归纳原理
    第1节数学归纳法
    第2节结构归纳法
    第3节良基归纳法
    第4节对推导的归纳
    第5节归纳定义
    第6节进一步阅读资料

    第4章归纳定义
    第1节规则归纳法
    第2节特殊的规则归纳法
    第3节操作语义的证明规则
    第4节算子及其最小不动点
    第5节进一步阅读资料

    第5章IMP的指称语义
    第1节目的
    第2节指称语义
    第3节语义的等价性
    第4节完全偏序与连纪函数
    第5节克纳斯特-塔尔斯基定理
    第6节进一步阅读资料

    第6章IMP的公理语义
    第1节基本思想
    第2节断言语言Assn
    第3节断言的语义
    第4节部分正确性的证明规则
    第5节可靠性
    第6节应用霍尔规则的一个示例
    第7节进一步阅读资料

    第7章霍尔规则的完备性
    第8章域论
    第9章递归方程
    第10章递归技术
    第11章高阶类型语言
    第12章信息系统
    第13章递归类型
    第14章不确定性和并行性
    附录A不完备性和不可判定性
    参考文献
    索引
  • 内容简介:
    　　本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。
    　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和概念，这些知识可以用于创造、形式化和证明规则，从而可以描述和推导各类程序设计语言的各种成分和性质。本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材，也可作为软件开发人员的参考书。
  • 作者简介:
    　　GlynNWinskel，曾任丹麦Aarhus大学计算机科学系教授，计算机科学基础研究中心主任，现任剑桥大学计算机实验室教授。
  • 目录:
    出版者的话
    专家指导委员会
    译者序
    译者简介
    前言
    第1章集合论基础
    第1节逻辑记号
    第2节集合
    第3节关系与函数
    第4节进一步阅读资料

    第2章操作语义
    第1节IMP——一种简单的命令式语言
    第2节算术表达式的求值
    第3节布尔表达式的求值
    第4节命令的执行
    第5节一个简单的证明
    第6节另一种语义
    第7节进一步阅读资料

    第3章归纳原理
    第1节数学归纳法
    第2节结构归纳法
    第3节良基归纳法
    第4节对推导的归纳
    第5节归纳定义
    第6节进一步阅读资料

    第4章归纳定义
    第1节规则归纳法
    第2节特殊的规则归纳法
    第3节操作语义的证明规则
    第4节算子及其最小不动点
    第5节进一步阅读资料

    第5章IMP的指称语义
    第1节目的
    第2节指称语义
    第3节语义的等价性
    第4节完全偏序与连纪函数
    第5节克纳斯特-塔尔斯基定理
    第6节进一步阅读资料

    第6章IMP的公理语义
    第1节基本思想
    第2节断言语言Assn
    第3节断言的语义
    第4节部分正确性的证明规则
    第5节可靠性
    第6节应用霍尔规则的一个示例
    第7节进一步阅读资料

    第7章霍尔规则的完备性
    第8章域论
    第9章递归方程
    第10章递归技术
    第11章高阶类型语言
    第12章信息系统
    第13章递归类型
    第14章不确定性和并行性
    附录A不完备性和不可判定性
    参考文献
    索引
查看详情
相关分类
计算机理论 编程与开发 操作系统 大数据与云计算 图形图像/多媒体 网站设计与网页开发 网络与通讯 硬件、嵌入式开发 办公软件 信息安全 辅助设计与工程计算 软件工程/开发项目管理
系列丛书 / 更多
程序设计语言的形式语义
Java编程思想（第4版）
[美]Bruce Eckel 著；陈昊鹏 译
￥2.00 起
程序设计语言的形式语义
数据挖掘：概念与技术（原书第3版）
[美]Jiawei、[美]Micheling、[美]Jian Pei 著；范明、孟小峰 译
￥1.00 起
程序设计语言的形式语义
算法导论（原书第3版）
[美]Thomas、[美]Charles、[美]Ronald、[美]Clifford Stein 著；殷建平、徐云、王刚 译
￥15.00 起
程序设计语言的形式语义
数据结构与算法分析：Java语言描述
[美]马克·艾伦·维斯 著；陈越 译
￥1.00 起
程序设计语言的形式语义
C程序设计语言（第二版）
[美]Brian（布莱恩·克尼汉）、[美]Dennis M.Ritchie（丹尼斯·里奇） 著；徐宝文、李志 译
￥1.00 起
程序设计语言的形式语义
C程序设计语言（第2版·新版） 习题解答
吉米拜尔 著；杨涛 译；[美]汤朵
￥0.01 起
程序设计语言的形式语义
计算机科学丛书·云计算：概念、技术与架构
[美]Thomas、[英]Zaigham、[巴西]Ricardo Puttini 著；龚奕利、贺莲、胡创 译
￥0.80 起
程序设计语言的形式语义
数据库系统概念：（原书第6版）
[美]Abraham、Henry、S.Sudarshan 著；杨冬青、李红燕、唐世渭 译
￥3.00 起
程序设计语言的形式语义
深入理解计算机系统（原书第3版）
[美]兰德尔 E.布莱恩特（Randal E.·Bryant） 著；龚奕利、贺莲 译
￥32.00 起
程序设计语言的形式语义
编译原理：原理、技术与工具
[美]阿霍 著；赵建华 译
￥8.00 起
程序设计语言的形式语义
计算机科学导论：原书第3版
[美]Behrouz Forouzan 著；刘艺 译
￥0.20 起
程序设计语言的形式语义
软件工程：实践者的研究方法（原书第8版 本科教学版）
[美]罗杰 S. 普莱斯曼 著；郑人杰、马素霞 译
￥1.20 起
相关图书 / 更多
程序设计语言的形式语义
程序员成长手记 涂阿燃
作者
￥35.00 起
程序设计语言的形式语义
程序员考前突破：考点精讲、真题精解、难点精练
詹宏锋 李锋 许纪贤 编著
￥40.00 起
程序设计语言的形式语义
程序员的制胜技
[土耳其]塞达特·卡帕诺格鲁（Sedat Kapanoglu）
￥25.00 起
程序设计语言的形式语义
程序设计基础（C语言）（第3版）
刘明军 袁宁 张玲 蒋彦 赵亚欧 编著；潘玉奇 主编；蔺永政
￥23.71 起
程序设计语言的形式语义
程序管制(高等学校民航特色专业教材)
刘昕
￥27.00 起
程序设计语言的形式语义
程序设计实践与习题指导 C语言 基于计算思维能力培养
崔贯勋 编；李娅
￥26.75 起
程序设计语言的形式语义
程序设计方法与技术——C语言（第2版）
主编顾春华副主编陈章进叶
￥24.80 起
程序设计语言的形式语义
程序设计基础（C语言） 李超锋,杨健,项巧莲 著
李超锋；杨健；项巧莲
￥32.16 起
程序设计语言的形式语义
程序设计基础(C语言)
王超；郭静
￥5.40 起
程序设计语言的形式语义
程序逻辑及C语言编程
卢卫中,杨丽芳
￥12.40 起
程序设计语言的形式语义
程序员进阶之路 缓存、网络、内存与案例 邓中华 著
邓中华
￥45.00 起
程序设计语言的形式语义
程序设计方法（Python）（微课版）
周勇
￥20.00 起
您可能感兴趣 / 更多
程序设计语言的形式语义
The Nao of Brown
Glyn Dillon
￥120.00 起
程序设计语言的形式语义
TheArmourofAchilles(AdventuresofOdysseus)
Glyn Iliffe 著
￥27.00 起
程序设计语言的形式语义
The Gates of Troy (Adventures of Odysseus)[特洛伊之门]
Glyn Iliffe 著
￥35.00 起
程序设计语言的形式语义
Arctic Labyrinth: The Quest for the Northwest Passage. Glyn Williams
Glyn Williams 著
￥88.00 起
程序设计语言的形式语义
King of Ithaca (PB)
Glyn Iliffe 著
￥45.00 起
程序设计语言的形式语义
The Psychology of Risk
Glynis M. Breakwell 著
￥849.15 起
程序设计语言的形式语义
TheCambridgeHistoryofLiteraryCriticismVol.3:TheRenaissance
Glyn P. Norton 著
￥660.00 起
程序设计语言的形式语义
The Song of Roland (Penguin Classics)
Glyn Burgess 著
￥59.50 起
© 2002-2025 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全