Ordered Sets and Complete Lattices
Ordered Sets and Complete Lattices
复制标题
DOI：
10.1007/3-540-47797-7_2
复制
发表时间：
2000-04
期刊：
影响因子：
--
通讯作者：
H. Priestley
中科院分区：
文献类型：
--
作者：
H. Priestley
这些笔记涉及一个相互连接的数学技术网络，所有这些都值得在受过良好教育的计算机科学家的军械库中占有一席之地。其目的是提出的想法作为一个独立的机构的材料，值得研究在其本身的权利，并在同一时间，以协助学习代数和coalgebraic方法，给予事先熟悉的一些数学背景出现。来自计算机科学的例子只是暗示：该演示文稿旨在补充而不是抢占这些ACMMPC会议录的其他贡献。
These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the welleducated computer scientist. The objective is to present the ideas as a self-contained body of material, worthy of study in its own right, and at the same time to assist the learning of algebraic and coalgebraic methods, by giving prior familiarization with some of the mathematical background that arises there. Examples drawn from computer science are only hinted at: the presentation seeks to complement and not to preempt other contributions to these ACMMPC Proceedings.