书目详细信息
： 基于范畴的非良基理论及其应用
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-310-04433-7:CNY28.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 120000 |
| 题名责任者项： | 基于范畴的非良基理论及其应用/.王湘云著 |
| 出版发行项： | 天津:,南开大学出版社:,2014.04 |
| 载体形态项： | 135页:;+图:;+23cm |
| 相关题名附注： | 英文并列题名取自封面 |
| 提要文摘： | 本书的研究主题是基于范畴的非良基理论及其应用, 在奥采尔等人所做工作的基础之上, 我们结合非良基集合论和范畴论的基本理论, 从具体理论到实际应用的角度深入探究范畴意义下的非良基公理的泛性质, 以及非良基理论在理论计算机通信系统中的一些应用, 研究程序语言语义的一种数学方法, 即计算程序进程的终结共代数语义, 以促进非良基理论应用方面的深入发展。 |
| 并列题名： | Non-well-founded theory based on category and its applications eng |
| 题名主题： | 范畴论 研究 |
| 中图分类： | O15 |
| 个人名称等同： | 王湘云 著 |
| 记录来源： | CN 三新书业 20140710 |