知ってるとプログラミングに役立つ数学知識 (276レス)
知ってるとプログラミングに役立つ数学知識 http://mevius.5ch.net/test/read.cgi/tech/1527166683/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
157: ◆QZaw55cn4c [sage] 2020/04/13(月) 22:39:03.66 ID:fZC6wvDm >>150 教科書によく掲載されている定義ですが、しかし、この逆像の定義では問題があります f:N->M, A, B ⊂ M のとき、 f^-1(A∪B) = f^-1(A)∪f^-1(B)…? f^-1(A∩B) = f^-1(A)∩f^-1(B)…? 特に?の証明が直感に頼った記述になってしまい、極論をいえば記号論理は記号操作的に処理するべきというある種の理想とは遠い証明になってしまいます ?の証明を示していただけますか? http://mevius.5ch.net/test/read.cgi/tech/1527166683/157
160: デフォルトの名無しさん [sage] 2020/04/14(火) 08:21:48.67 ID:OuRgqSbO >>157 x∈f^-1(A∩B) <==> f(x)∈A∩B <==> f(x)∈A ∧ f(x)∈B <==> x∈f^-1(A) ∧ x∈f^-1(B) <==> x∈f^-1(A) ∩ f^-1(B) そのまんまな気がする http://mevius.5ch.net/test/read.cgi/tech/1527166683/160
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.659s*