[過去ログ] 「数学」をプログラミングするには (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
301(2): 2024/04/15(月)09:36 ID:scEUff9F(1/17) AAS
>>299
実数の構成に5つぐらいある、切断とか。それに同値なものを同じものとみなすこともよくやる。
例えば実数は体、順序構造、連続性をもつものとして定義する
303(1): 2024/04/15(月)10:50 ID:scEUff9F(2/17) AAS
>>302
存在とは?
304: 2024/04/15(月)11:21 ID:scEUff9F(3/17) AAS
数学系のためのLean勉強会
外部リンク:haruhisa-enomoto.github.io
306(4): 2024/04/15(月)12:44 ID:scEUff9F(4/17) AAS
>>305
だから存在をどうやって示すんだ
310: 2024/04/15(月)16:24 ID:scEUff9F(5/17) AAS
>>308,309
お前が言うなwww
311: 2024/04/15(月)16:25 ID:scEUff9F(6/17) AAS
上に書いておいただろ、ど素人目が
313: 2024/04/15(月)17:32 ID:scEUff9F(7/17) AAS
自己紹介乙
314: 2024/04/15(月)17:36 ID:scEUff9F(8/17) AAS
上から目線で語ったと思ったら実は下だった件w
316: 2024/04/15(月)17:40 ID:scEUff9F(9/17) AAS
>>315
証明してくれ
317(1): 2024/04/15(月)18:18 ID:scEUff9F(10/17) AAS
>>315
証明できないのならどの本の何ページに証明が書いてあるのか教えてくれ
329: 2024/04/15(月)20:44 ID:scEUff9F(11/17) AAS
>>319
自己紹介乙
330: 2024/04/15(月)20:45 ID:scEUff9F(12/17) AAS
>>327
意味不明
331: 2024/04/15(月)20:55 ID:scEUff9F(13/17) AAS
>>325
ご苦労さん、実数の公理があるだけなんで証明するものではない
333: 2024/04/15(月)21:32 ID:scEUff9F(14/17) AAS
自己紹介乙
335: 2024/04/15(月)21:53 ID:scEUff9F(15/17) AAS
自己紹介乙
336: 2024/04/15(月)21:55 ID:scEUff9F(16/17) AAS
頭ついてるのかw
337(1): 2024/04/15(月)21:57 ID:scEUff9F(17/17) AAS
馬鹿といわれなきゃ分からない馬鹿
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.031s