|
题名:
|
基于范畴的非良基理论及其应用 ji yu fan chou de fei liang ji li lun ji qi ying yong / 王湘云著 , |
|
ISBN:
|
978-7-310-04433-7 价格： CNY28.00 |
|
语种:
|
chi |
|
载体形态:
|
135页 图 23cm |
|
出版发行:
|
出版地： 天津 出版社： 南开大学出版社 出版日期： 2014 |
|
内容提要:
|
本书的研究主题是基于范畴的非良基理论及其应用，在奥采尔等人所做工作的基础之上，作者结合非良基集合论和范畴论的基本理论，从具体理论到实际应用的角度深入探究范畴意义下的非良基公理的泛性质，以及非良基理论在理论计算机通信系统中的一些应用，研究程序语言语义的一种数学方法，即计算程序进程的终结共代数语义，以促进非良基理论应用方面的深入发展。 |
|
主题词:
|
范畴论 研究 |
|
中图分类法:
|
O154.1 版次： 5 |
|
主要责任者:
|
王湘云 wang xiang yun 著 |
|
索书号:
|
O154.1/1010 |