【初心者歓迎】C/C++室 Ver.101【環境依存OK】 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 【初心者歓迎】C/C++室 Ver.101【環境依存OK】 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

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
ソボレフ空間とかガン無視かよ

めんどくさいからこのくらいで
ほぼすべてのレスに間違いが含まれてる

85(1): デフォルトの名無しさん [sage] 2017/07/24(月) 18:44:31.66 ID:3yF9COr6(2/2) AAS
>>84

84(1): デフォルトの名無しさん [sage] 2017/07/24(月) 18:40:29.85 ID:UuUAOyUA(2/4) AAS
>>83
では、糞コテQZが提起している「ド・モルガンこそ公理」については、どう思う？

それも間違ってるよ