语言

分次模态语言的模型论

《分次模态语言的模型论》,作者:马明辉著 出版社:科学出版社 ISBN:9787030343925。本书给出了分次模态逻辑的余代数语义,研究余代数结构类在分次模态语言中的可定义性问题;探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论,以及分次模态公式的分类和几个扩张表达力的语言;此外,在关系语义学下,还给出了结构类的可定义性定理。

言语语言疾病学

《言语语言疾病学》,作者:姜泗长,顾瑞主编 出版社:科学出版社 ISBN:7030132181。本书共分18章,阐述了言语的声学基础、产生机制、言语的感知以及嗓音疾病的临床表现、诊断、治疗,并介绍了无喉者的发音、口吃、听力障碍、失语等疾病的病因、表现与处理。

PROLOG语言,它的应用与实现

《PROLOG语言,它的应用与实现》,作者:刘椿年 出版社:科学出版社 ISBN:7030017404。本书介绍了逻辑程序设计语言PROLOG的特性。理论基础、程序设计方法、以及PROLOG语言在人工智能和软件工程方面的应用与实现技术。