エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2020-12-25から1日間の記事一覧

エレファントな整数論(4)

前回の議論を整数に対応するように書き直していきます。 整数の順序による表記 順序集合 の部分集合 に対して、任意の に対して であるような が存在するとき は下に有界、任意の に対して であるような が存在するとき は上に有界であると言います。 を順序…