形式的定義のための手引き

ウィキペディア小見出し辞書

形式的定義のための手引き

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/22 07:55 UTC 版)

「領域理論」の記事における「形式的定義のための手引き」の解説

この節では、領域理論の核心となる概念と定義を与える。 理論の数学的な定式化を意味づけるため、上に述べた、領域についての「情報の順序」という直観的解釈に重点を置くことにしよう。 正確な形式的定義は各概念を扱った文献で知ることができる。 また、一般的な順序理論の定義の一覧は order theory glossary にある。 しかし、領域理論の最も重要な概念は以下で導入される。