基于范畴的非良基理论及其应用
Saved in:
Main Authors: | |
---|---|
Published: |
南开大学出版社
|
Publisher Address: | 天津 |
Publication Dates: | 2014 |
Literature type: | Book |
Language: | Chinese |
Subjects: | |
Carrier Form: | 135页: ; 23cm |
ISBN: | 978-7-310-04433-7 |
Index Number: | O154 |
CLC: | O154.1 |
Call Number: | O154.1/1131 |
Contents: | 本书的研究主题是基于范畴的非良基理论及其应用,在奥采尔等人所做工作的基础之上,作者结合非良基集合论和范畴论的基本理论,从具体理论到实际应用的角度深入探究范畴意义下的非良基公理的泛性质,以及非良基理论在理论计算机通信系统中的一些应用,研究程序语言语义的一种数学方法,即计算程序进程的终结共代数语义,以促进非良基理论应用方面的深入发展。 |