[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
118: 死狂幻調教大師S.A.D.@月と六ベンツ 11/04(火)07:52:10.30 ID:VAh4PF21(1/33) AAS
魔神転生みたいなお馬鹿な古典現代囲碁で有段者になるとか。三国志、信長の野望、ガチャポン戦士も、再考。
229: 11/04(火)19:53:39.30 ID:TnfMdeNA(1/2) AAS
>>135
お前は死ね
313(11): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)23:27:10.30 ID:BZV1IQOW(4/5) AAS
>>306
(引用開始)
セタへの問題
>Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする.
のとき
>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
の自由変数をすべて書け
(引用終り)
ふっふ、ほっほ
あのな、それよりか
省10
393: 11/06(木)18:51:53.30 ID:ZfHYJYpl(2/4) AAS
>>390
黒い≒土人て人種差別丸出しの黄色い猿がなんかいうとる。
511(1): 11/08(土)15:07:06.30 ID:3nB+TfKS(7/11) AAS
>>488
>東北大 尾畑研のpdf程度で 良い
第一章の1.4に述語論理出てくるけど、
カラスの世田はこんな基本的なことも
何ひとつ全然理解できてないよ(バッサリ)
外部リンク[pdf]:www.math.is.tohoku.ac.jp
525(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)18:10:44.30 ID:P9qVEF++(18/25) AAS
>>523
ここは中高一貫校生も来る可能性があるから
補足をば
(参考)
外部リンク[html]:www2.yukawa.kyoto-u.ac.jp
数理論理学入門
高崎金久(京都大学)
外部リンク[html]:www2.yukawa.kyoto-u.ac.jp
V. 述語論理の意味論
1. 述語論理は何を記号化したものか
省6
563: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/09(日)09:05:49.30 ID:QrKJGO9s(4/26) AAS
>>562 タイポ訂正
さらに、別に 数学者による 市民講演会というがある
↓
さらに、別に 数学者による 市民講演会というのがある
612(1): 11/09(日)12:27:56.30 ID:wauc0h2b(18/42) AAS
こうやって5ちゃんで呑気に馬鹿話してられるのも自由で平和だから。
その自由と平和はどこから来ている?
どこぞの国には自由が無い。どこぞの国には平和が無い。日本だから自由で平和なのだ。
反日基地外は日本から出て行って自由と平和の有難さを肌で感じてこい。
739: 11/10(月)18:40:46.30 ID:dfHWlUPB(2/3) AAS
>>ガウスはコーシーの論文を見てヤバいと気づいて再証明した
1789年生まれのコーシーにそういう論文があったとすれば
彼がアルガンの論文を読んだのは何歳くらいの時だろうか
906: 11/14(金)15:24:45.30 ID:XOwdVrOe(3/3) AAS
>>903
ビジョンだかピジョンだかしらないが・・・
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.037s