Continuous Lattices and Domains pdf epub mobi txt 电子书 下载 2025
G. Gierz
University of California, Riverside
K. H. Hofmann
Technische Universität, Darmstadt, Germany
K. Keimel
Technische Universität, Darmstadt, Germany
J. D. Lawson
Louisiana State University
M. Mislove
Tulane University, Louisiana
D. S. Scott
Carnegie Mellon University, Pennsylvania
- 连续格
- 理论计算机
- 拓扑
- 序论
Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. The authors develop the mathematical foundations of partially ordered sets with completeness properties of various degrees, in particular directed complete ordered sets and complete lattices. Uniquely, they focus on partially ordered sets that have an extra order relation, modelling the notion that one element 'finitely approximates' another, something closely related to intrinsic topologies linking order and topology. Extensive use is made of topological ideas, both by defining useful topologies on the structures themselves and by developing close connections with numerous aspects of topology. The theory so developed not only has applications to computer science but also within mathematics to such areas as analysis, the spectral theory of algebras and the theory of computability. This authoritative, comprehensive account of the subject will be essential for all those working in the area.
具体描述
读后感
评分
评分
评分
评分
用户评价
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有