Introduction to Lattices and OrderCambridge University Press, 18 abr 2002 - 298 páginas This new edition of Introduction to Lattices and Order presents a radical reorganization and updating, though its primary aim is unchanged. The explosive development of theoretical computer science in recent years has, in particular, influenced the book's evolution: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. An early presentation of concept analysis gives both a concrete foundation for the subsequent theory of complete lattices and a glimpse of a methodology for data analysis that is of commercial value in social science. Classroom experience has led to numerous pedagogical improvements and many new exercises have been added. As before, exposure to elementary abstract algebra and the notation of set theory are the only prerequisites, making the book suitable for advanced undergraduates and beginning graduate students. It will also be a valuable resource for anyone who meets ordered structures. |
Índice
III | 1 |
IV | 5 |
V | 10 |
VI | 14 |
VII | 20 |
VIII | 23 |
IX | 25 |
X | 33 |
XXXVI | 141 |
XXXVII | 145 |
XXXIX | 148 |
XL | 155 |
XLI | 165 |
XLII | 169 |
XLIII | 175 |
XLIV | 180 |
XI | 39 |
XII | 41 |
XIII | 46 |
XIV | 50 |
XV | 53 |
XVI | 56 |
XVII | 65 |
XIX | 74 |
XX | 79 |
XXI | 85 |
XXIII | 88 |
XXIV | 93 |
XXV | 96 |
XXVI | 104 |
XXVII | 112 |
XXVIII | 114 |
XXIX | 116 |
XXX | 119 |
XXXI | 124 |
XXXII | 130 |
XXXIV | 134 |
XXXV | 137 |
XLV | 182 |
XLVI | 189 |
XLVII | 193 |
XLVIII | 201 |
XLIX | 204 |
L | 221 |
LI | 223 |
LII | 228 |
LIII | 232 |
LIV | 237 |
LV | 244 |
LVI | 247 |
LVII | 252 |
LVIII | 256 |
LIX | 261 |
LX | 267 |
LXI | 275 |
LXII | 280 |
286 | |
289 | |
Otras ediciones - Ver todo
Introduction to Lattices and Order B. A. Davey,Hilary A. Priestley No hay ninguna vista previa disponible - 1990 |
Términos y frases comunes
a₁ algebraic lattice algebraic structure assume axioms bijective Boolean algebra Boolean lattice Boolean space Boolean term bottom element chain Chapter clopen down-sets clopen subsets closure operator compact complete lattice computer science concept lattice congruence Consider context continuous maps CPO Fixpoint Theorem defined definition denoted diagram directed set directed subset distributive lattice DM(P domain dual duality dually example Exercise exists Figure filter finite distributive lattice finite ordered sets finite subset following are equivalent Galois connection given Hence Hint homomorphism implies induction infinite information systems Ip(L isomorphic join-dense join-irreducible elements joins and meets lattice of sets least fixpoint least upper bound Lemma map F maximal element meet-dense modular non-empty subset numbers order-embedding order-isomorphism order-preserving order-preserving map P₁ partial maps pre-CPO Priestley space prime ideal proof Proposition Prove satisfies semantic Show Sub G subgroups sublattice topological space topology topped structure wffs ΕΙ
Referencias a este libro
Principles of Program Analysis Flemming Nielson,Hanne R. Nielson,Chris Hankin Vista previa restringida - 2004 |