计算系统的形式语义

作者: 陆汝钤

出版社: 清华大学出版社

出版日期: 2017-01-01

电子书 (共2册) ¥281.2 定价:398.0

本书由多册组成,不支持单独购买

  • 收藏

  • 加书架

  • 引用

分册书目(共2册)
  • 第1册 计算系统的形式语义 (上)
    试读
  • 第2册 计算系统的形式语义(下)
    试读
简介

计算系统的形式语义是目前计算机科学理论研究的两大方向之一,其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础,为第一章。第二部分包括第二到第五章,概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章,概述了形式语义学的现代应用, 分别介绍分布式系统、移动计算和移动通信系统、非规范进程代数和微观生命系统,以及量子程序设计语言的形式语义。 全书内容丰富,结构严谨,集形式语义学理论及其应用的有关分支之大成,系统地反映了这个领域各方面的研究成果,特别是它的近代发展潮流和趋势,并对不同流派的理论和方法给予了分析和评论。 本书可作为计算机科学专业研究生、本科生有关课程的教材或教学参考书,也可供有关专业或交叉学科的科研人员进修或作为工具书。

更多出版物信息
  • 版权: 清华大学出版社
  • 出版: 2017-01-01
  • 作者:陆汝钤
  • 更新: 2023-06-07
  • 书号:9787302414940
  • 中图:TP301.2
  • 学科:
    工学
    控制科学与工程
    工学
    计算机科学与技术

作者信息

陆汝钤

计算机科学家。原籍江苏苏州,1935年2月15日生于上海。1959年毕业于德国耶拿大学数学系,获学士学位。中国科学院数学与系统科学研究院数学研究所研究员。1999年当选为中国科学院院士。在知识工程和基于知识的软件工程方面作了系统的、创造性的工作,是我国该领域研究的开拓者之一。设计并主持研制了知识工程语言TUILI和大型专家系统开发环境《天马》。首次把异构型DAI和机器辩论引进人工智能领域。研究出基于类自然语言理解的知识自动获取方法,把ICAI生成技术推进到以自动知识获取为特征的第三代,并开发出基于知识的应用软件自动生成技术。研究出能把中文童话故事自动转换成动画片的计算机动画全过程自动生成技术,在艺术创造领域内推进了人工智能。

相关图书