大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 形式语义学的稳定论域理论
名称 形式语义学的稳定论域理论
索引号 609311
分类号
(| 08 环境公报)
作者 陈仪香、
出版社 北京 : 科学出版社, 2003
ISBN 7-03-011264-4
页数 205页 : 图 ; 21cm
价格 CNY18.00
标签 语言学、
简介
注解 国家自然科学基金研究专著出版基金资助 有书目 (第197-202页) 和索引 本书较系统地讲述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法・建立稳定论域的逻辑表示以及格表示；讨论最弱前置谓词的稳定语义以及谓词转换器的拓朴语义；系统地论述稳定映射的代数、拓朴刻画以及迹表示；讨论了稳定映射的全性与极大性ŁŁ；建立稳定论域范畴的对偶理论・
书籍简介

数理科学系列。