语言
分次模态语言的模型论
《分次模态语言的模型论》,作者:马明辉著 出版社:科学出版社 ISBN:9787030343925。本书给出了分次模态逻辑的余代数语义,研究余代数结构类在分次模态语言中的可定义性问题;探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论,以及分次模态公式的分类和几个扩张表达力的语言;此外,在关系语义学下,还给出了结构类的可定义性定理。
PROLOG语言,它的应用与实现
《PROLOG语言,它的应用与实现》,作者:刘椿年 出版社:科学出版社 ISBN:7030017404。本书介绍了逻辑程序设计语言PROLOG的特性。理论基础、程序设计方法、以及PROLOG语言在人工智能和软件工程方面的应用与实现技术。