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

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

2021-05-04から1日間の記事一覧

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

「エレファントな整数論(3)」で書いたような内容ですが、また書き直していきます。 全射・単射・有限集合 を集合、 を写像とします。任意の に対して ならば であるとき、 を単射と呼びます。任意の に対して となる が存在するとき、 を全射と呼びます。 が…