The explosive development of theoretical computer science in recent years has influenced this new edition: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. Classroom experience has led to numerous pedagogical improvements and many new exercises have been added.
The explosive development of theoretical computer science in recent years has influenced this new edition: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. Classroom experience has led to numerous pedagogical improvements and many new exercises have been added.
Preface; Preface to the first edition; 1. Ordered sets; 2. Lattices and complete lattices; 3. Formal concept analysis; 4. Modular, distributive and Boolean lattices; 5. Representation theory: the finite case; 6. Congruences; 7. Complete lattices and Galois connections; 8. CPOs and fixpoint theorems; 9. Domains and information systems; 10. Maximality principles; 11. Representation: the general case; Appendix A. A topological toolkit; Appendix B. Further reading; Notation index; Index.
Preface; Preface to the first edition; 1. Ordered sets; 2. Lattices and complete lattices; 3. Formal concept analysis; 4. Modular, distributive and Boolean lattices; 5. Representation theory: the finite case; 6. Congruences; 7. Complete lattices and Galois connections; 8. CPOs and fixpoint theorems; 9. Domains and information systems; 10. Maximality principles; 11. Representation: the general case; Appendix A. A topological toolkit; Appendix B. Further reading; Notation index; Index.
Rezensionen
'Recommended for every academic mathematics collection.' Choice
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309