[過去ﾛｸﾞ] 【初心者歓迎】C/C++室 Ver.101【環境依存OK】 [無断転載禁止]©2ch.net (1002ﾚｽ)

【初心者歓迎】C/C++室 Ver.101【環境依存OK】 [無断転載禁止]©2ch.net http://mevius.5ch.net/test/read.cgi/tech/1500329247/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) ﾚｽ栞 あぼーん

---

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

---

47: ◆QZaw55cn4c [sage] 2017/07/22(土) 18:27:01.28 ID:Yr9CVNZl >>42 いつも不思議に思うのだが、このド・モルガンは議論のスタートとなる公理なの？ それとも、なんらかの公理から導かれる定理なの？ 教科書の最初の方でカップハットをやらされる度に思う疑問です http://mevius.5ch.net/test/read.cgi/tech/1500329247/47

49: ◆QZaw55cn4c [sage] 2017/07/22(土) 18:41:59.88 ID:Yr9CVNZl >>48 それは集合が有限個の場合 集合が無限個の場合はどうなる？公理じゃないとうまくいかないんじゃない？ http://mevius.5ch.net/test/read.cgi/tech/1500329247/49

54: ◆QZaw55cn4c [sage] 2017/07/22(土) 19:09:10.20 ID:Yr9CVNZl >>52 ん、それって A, B, C ‥と数えられる世界の中では、いずれ到達できると思う。 でも、力学とか解析学とかをやるときは、ぎっしりつまった実数を相手に論理を組むよね 実数を相手に考える世界では、かぞえられる、とかいう性質を前提にしてはいけないんだと思うよ まあ立場の問題かもしれない、計算機は数えられる世界で考えればいいことなのかもしれない いま読んでる教科書の最初の方での∀∃∩∪を読むたびに思うのです よく「証明は読者の演習としよう」で苦しむのです、これ、やめて欲しいんですけどね ∩∪の羅列である命題にドモルガンを振り返るときれいに解決するのですが そんなことでいいのだろうか、と常々思っているのでした http://mevius.5ch.net/test/read.cgi/tech/1500329247/54

56: ◆QZaw55cn4c [sage] 2017/07/22(土) 19:19:02.26 ID:Yr9CVNZl >>55 分割して分割して最後に行き止まりがあるから、その推論はなりたつと思うんです でも分割して分割して分割して‥終わりがない場合には、その推論は成り立つのでしょうか？ 成り立つものとして仮定しているだけなんじゃないでしょうか？ http://mevius.5ch.net/test/read.cgi/tech/1500329247/56

65: ◆QZaw55cn4c [sage] 2017/07/22(土) 20:47:11.33 ID:/Wnz58+R >>59 いや，手持ちの本が読めれば十分なので（今はその部分は結論ありきで読み飛ばしている）追求しようという意図はない ていうか，たぶん，そうやって読まないといけない（そうじゃないと進めない） でも，ド・モルガンは定理じゃなくて公理じゃないのかなって「感じる」んですよ これは私だけの気のせい？多分気のせいなんだろうな‥ごめんね http://mevius.5ch.net/test/read.cgi/tech/1500329247/65

69: ◆QZaw55cn4c [sage] 2017/07/22(土) 21:15:06.91 ID:/Wnz58+R >>66 https://www.amazon.co.jp/dp/4320014731 最初の方だが，すでに∞前提 演習 (1)（∪_{n=1}^∞ An)∩A = ∪_{n=1}^∞(An ∩A) (2)（∩_{n=1}^∞ An)∪A = ∩_{n=1}^∞(An ∪A) どちらか一方だけ証明できたら，残りはドモルガン採用ですっとばしているが，ドモルガンが∞にも使えるか迷いがある http://mevius.5ch.net/test/read.cgi/tech/1500329247/69

74: ◆QZaw55cn4c [sage] 2017/07/22(土) 21:41:01.35 ID:/Wnz58+R うん，確かにこの場合は自然数の無限だから可算個だね，ちょっと今までの私の話とは事情が違う，なかなかいい例が思い浮かばないね‥ http://mevius.5ch.net/test/read.cgi/tech/1500329247/74

98: ◆QZaw55cn4c [sage] 2017/07/25(火) 19:38:58.05 ID:CTkA02wP >>97 こう使う http://mevius.2ch.net/test/read.cgi/tech/1434079972/21 http://mevius.5ch.net/test/read.cgi/tech/1500329247/98

181: ◆QZaw55cn4c [sage] 2017/07/30(日) 18:36:26.80 ID:wjBL4Xoh >>180 http://codepad.org/kjSkQNMa これが望みの解かどうかはわからないが http://mevius.5ch.net/test/read.cgi/tech/1500329247/181

225: ◆QZaw55cn4c [sage] 2017/07/31(月) 21:11:41.06 ID:VQaCNCGS 1の補数表現ですか，教科書には堂々と載るんですけど，実際には見たことないね‥ http://mevius.5ch.net/test/read.cgi/tech/1500329247/225

604: ◆QZaw55cn4c [sage] 2017/09/05(火) 18:44:45.37 ID:fgaIXgJY >>599 ＞return "忍者" だから char * で受けないといけない http://mevius.5ch.net/test/read.cgi/tech/1500329247/604

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 1.286s*