图书标签: 数学 lattices 格论 Order Introduction 计算机科学 计算机 序理论
发表于2024-11-22
Introduction to Lattices and Order pdf epub mobi txt 电子书 下载 2024
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.
主要是为学习abstract interpretation看的。习题略有难度。
评分some useful introductions to Galois connection.
评分some useful introductions to Galois connection.
评分some useful introductions to Galois connection.
评分行文通俗易懂, 结论不局限于格, 比较一般化. 大量介绍了格论的应用.
评分
评分
评分
评分
Introduction to Lattices and Order pdf epub mobi txt 电子书 下载 2024