格值Domain理論 馬娜娜 9787121456961 【台灣高等教育出版社】

內容簡介
格值Domain理論作為Domain理論的一個重要分支，有較大的理論研究價值和較好的應用前景，可為並髮式語言提供量化模型。目前，該理論已有一些有價值的研究成果，對相關結構語義學的研究不但可以推動該領域的發展，而且可以為程序設計語言指稱語義學的發展提供堅實的數學基礎，同時由於與其他學科交叉、滲透，使得它的研究內容更加豐富，研究意義更大。本書綜合運用Domain理論、範疇論、模糊集理論和模糊拓撲學等相關知識，系統地研究了格值Domain理論及其範疇性質。本書的主要內容是作者近幾年來研究工作的總結，同時也兼顧國際上此領域中的最新研究成果。全書共七章，具體內容包括：格值預連續偏序集的範疇性質，格值偏序集範疇的滿子範疇，代數格值domain範疇的等價範疇，格值有界完備domain的乘積範疇和格值ZL緊完備偏序集的範疇性質等理論。
詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於客服中心或Line或本社留言板留言，我們即儘速上架。