[過去ログ] 【初心者歓迎】C/C++室 Ver.101【環境依存OK】 [無断転載禁止]©2ch.net (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
83
(1): デフォルトの名無しさん [sage] 2017/07/24(月) 18:34:08.77 ID:3yF9COr6(1/2) AAS
>>48
48(3): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 18:39:33.61 ID:WTRjQogU(1/18) AAS
>>47
定理って言ってるんだから、定理だろ。
ベン図と真理値表で簡単に証明可能。
違う。通常公理系から証明する。

>>50
50(3): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 18:48:30.61 ID:WTRjQogU(2/18) AAS
無限集合の場合は集合の内包的定義により、離散的な論理学に還元され、やはり成り立つ。
違う。可算加法性は自明な性質ではない。

>>57
57(2): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 19:32:50.77 ID:WTRjQogU(6/18) AAS
集合論で、無限演算(極限)が必要になることは少ない。無限集合においても扱う性質が有限であることが多いからだ。
解析学は非可算無限、整数論は可算無限を扱う
無限集合を扱うのは一般的
むしろ有限集合を扱うほうが特殊

>>58
ソボレフ空間とかガン無視かよ

めんどくさいからこのくらいで
ほぼすべてのレスに間違いが含まれてる
84
(1): デフォルトの名無しさん [sage] 2017/07/24(月) 18:40:29.85 ID:UuUAOyUA(2/4) AAS
>>83
では、糞コテQZが提起している「ド・モルガンこそ公理」については、どう思う?
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.027s