王湘云著的《基于范畴的非良基理论及其应用》的研究主题是基于范畴的非良基理论及其应用,在奥采尔等人所做工作的基础之上,我们结合非良基集合论和范畴论的基本理论,从具体理论到实际应用的角度深入探究范畴意义下的非良基公理的泛性质,以及非良基理论在理论计算机通信系统中的一些应用,研究程序语言语义的一种数学方法,即计算程序进程的终结共代数语义,以促进非良基理论应用方面的深入发展。
网站首页 软件下载 游戏下载 翻译软件 电子书下载 电影下载 电视剧下载 教程攻略
霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。