T007599 形式语义学基础与形式说明

书籍:中国图书大辞典:1949-1992第16册工业技术(下) 更新时间:2018-11-09 13:31:50

出处:按学科分类—综合性图书 湖北人民出版社《中国图书大辞典:1949-1992第16册工业技术(下)》第802页(214字)

屈延文编着。

科学出版社1989年12月版。57.2万字。

共10章,介绍指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用,并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。例如Curry的组合逻辑,Martin-L?f的直觉主义数学的讨论都是现代计算机理论较重要的基础内容。

是国家教委计算机软件专业教材编委会推荐教材之一。配有大量程序实例和习题。

分享到: