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

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

2020-04-18から1日間の記事一覧

群論の計算(15)

複素数(2) 『新版 集合と位相 そのまま使える答えの書き方 (KS理工学専門書)』*1 を参考にしています。 実数の上限・下限 に対して 任意の に対して であるような を の下界と呼びます。 の下界が存在するとき は下に有界であると言います。 に対して は の…