《格值Domain理论》 - 台灣·大書城 - 马娜娜 - 电子工业出版社

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　聯絡我們　 \|　運費計算　 \|　幫助中心　\|　加入書簽
		會員登入新用戶註冊

HOME

新書上架

暢銷書架

好書推介

2023年度TOP

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

『簡體書』格值Domain理论

書城自編碼： 3879387
分類：簡體書→大陸圖書→計算機/網絡→计算机理论
作者：马娜娜
國際書號(ISBN)： 9787121456961
出版社：电子工业出版社
出版日期： 2023-06-01

頁數/字數： /
釘裝：平塑勒

售價：NT$ 403

我要買件

** 我創建的書架 **
未登入.

新書推薦：

《天下的当代性：世界秩序的实践与想象（新版）》
售價：NT$ 352.0

《德国天才4：断裂与承续》
售價：NT$ 500.0

《妈妈的情绪，决定孩子的未来》
售價：NT$ 194.0

《推拿纲目》
售價：NT$ 1836.0

《精致考古--山东大学实验室考古项目论文集（一）》
售價：NT$ 1112.0

《从天下到世界——国际法与晚清中国的主权意识》
售價：NT$ 347.0

《血色帝国：近代英国社会与美洲移民》
售價：NT$ 265.0

《海外中国研究·王羲之：六朝贵族的世界（艺术系列）》
售價：NT$ 811.0

建議一齊購買：

NT$ 407
《扩散模型从原理到实战开启AI绘画新时代！AIGC大模型来临，配套赠送Diffusion视频课程！》

NT$ 490
《编码——隐匿在计算机软硬件背后的语言》

NT$ 485
《课堂学习行为的视觉感知与分析》

NT$ 551
《从深度学习到图神经网络：模型与实践》

NT$ 454
《计算机科学概论（第13版）》

NT$ 435
《一本书读懂物联网（第3版）》

內容簡介：

格值Domain理论作为Domain理论的一个重要分支，有较大的理论研究价值和较好的应用前景，可为并发式语言提供量化模型。目前，该理论已有一些有价值的研究成果，对相关结构语义学的研究不但可以推动该领域的发展，而且可以为程序设计语言指称语义学的发展提供坚实的数学基础，同时由于与其他学科交叉、渗透，使得它的研究内容更加丰富，研究意义更大。本书综合运用Domain理论、范畴论、模糊集理论和模糊拓扑学等相关知识，系统地研究了格值Domain理论及其范畴性质。本书的主要内容是作者近几年来研究工作的总结，同时也兼顾国际上此领域中的研究成果。全书共七章，具体内容包括：格值预连续偏序集的范畴性质，格值偏序集范畴的满子范畴，代数格值domain范畴的等价范畴，格值有界完备domain的乘积范畴和格值ZL紧完备偏序集的范畴性质等理论。

關於作者：

马娜娜，洛阳师范学院数学与应用数学学士，陕西师范大学基础数学硕士，陕西师范大学基础数学博士，现西安财经大学副教授，长期从事高校基础数学的教学与研究工作。

第1 章预备知识/11.1 格论中的基本概念与结论/11.2 格值Domain 的基本定义和性质/61.3 范畴论中的相关概念/14第2 章格值偏序集范畴的反射满子范畴/192.1 格值Cut-stable 映射的定义/192.2 格值Cut-stable 映射的扩张定理/262.3 格值偏序集范畴的反射满子范畴/302.4 格值预连续偏序集范畴的反射满子范畴/322.5 小结/38第3 章格值弱Cut-stable 映射的扩张性/393.1 格值弱Cut-stable 映射/393.2 格值弱Cut-stable 映射的扩张定理/443.3 格值弱Cut-stable 映射的扩张映射的性质/503.4 小结/56第4 章代数格值Domain 范畴及其等价范畴/574.1 连续的格值偏序集/574.2 代数格值Domain 及其性质/614.3 双完备格值偏序集及其性质/644.4 代数格值Domain 范畴的等价范畴/684.5 小结/74第5 章有界完备格值Domain/765.1 有界完备格值Domain/765.2 格值Scott domain/825.3 小结/86第6 章格值ZL-代数偏序集及其闭包系统/876.1 格值ZL-代数偏序集/876.2 格值ZL-闭包系统/926.3 格值ZL-连续偏序集的等价刻画/986.4 小结/104第7 章格值ZL-紧完备偏序集及其范畴性质/1067.1 格值ZL-紧完备偏序集及其扩张定理/1067.2 格值ZL-扩张基/1137.3 格值ZL-紧完备偏序集的范畴性质/1197.4 小结/124第8 章格值量子空间/1258.1 格值量子空间/1258.2 满层的格值量子空间范畴/1288.3 Sob-SL-QSp 对偶等价于L-SQu/1368.4 小结/139第9 章格值量子空间的范畴性质/1409.1 Quantale 系统/1409.2 量子空间范畴的伴随/1449.3 Quantale 系统范畴的伴随/1529.4 小结/159第10 章格值多序集及多元形式概念分析/16010.1 格值三序集/16010.2 格值三元形式概念格及其性质/16410.3 格值n 序集及n 元形式概念分析/17210.4 小结/177参考文献/178

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	台灣用户　\|　香港/海外用户

megBook.com.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.