基于范畴的非良基理论及其应用

收藏
  • 【作者】王湘云
  • 【关键词】范畴论 研究
  • 【出版社】南开大学出版社
  • 【出版日期】2014
  • 【ISBN】978-7-310-04433-7
  • 【中图分类号】 O154.1
  • 【内容简介】本书的研究主题是基于范畴的非良基理论及其应用,在奥采尔等人所做工作的基础之上,作者结合非良基集合论和范畴论的基本理论,从具体理论到实际应用的角度深入探究范畴意义下的非良基公理的泛性质,以及非良基理论在理论计算机通信系统中的一些应用,研究程序语言语义的一种数学方法,即计算程序进程的终结共代数语义,以促进非良基理论应用方面的深入发展。全部展开
  • 【页码】135页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 宁波图书馆

  • 【获取途径】 文献传递
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。