株式会社極東書店トップ ＞ 商品一覧 ＞ Topological Duality for Distributive Lattices: Theory and Applications.
商品詳細
Topological Duality for Distributive Lattices: Theory and Applications.
・ISBN 978-1-009-34969-7 hard GB£ 64.99
￥20,588.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Gehrke, Mai / van Gool, Sam, |
|---|---|
| シリーズ | (Cambridge Tracts in Theoretical Computer Science) |
| 出版社 | (Cambridge University Press, UK) |
| 出版年月 | 2024 |
| ページ数 | 367 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A01-74586＞ |
解説
Introducing Stone-Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided.