[過去ﾛｸﾞ] 数学の本 第101巻 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
2: １３２人目の素数さん [sage] 2024/09/13(金) 17:44:24.65 ID:BgUVXDI9(1/5) AAS
2ちゃんねるのお約束 【 名無し、荒らしは無視・放置 】 しましょう。
||￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣||
||
|| ○放置された荒らしは煽りや自作自演であなたのレスを誘い、釣られてレスしたあなたの負け。
|| ○荒らしは放置されるのが一番キライ。荒らしは常に誰かの反応を待っています。
|| ○重複スレには誘導リンクを貼って放置。ウザイと思ったらそのまま放置。
|| ○反撃は荒らしの滋養にして栄養であり最も喜ぶことです。荒らしにエサを与えない。
|| ○枯死するまで孤独に暴れさせておいて Λ_Λ
|| ゴミが溜まったら削除が一番です。 ＼ (ﾟーﾟ*) ｷﾎﾝ。
|| ⊂⊂ |
||＿＿＿ ∧ ∧＿＿∧ ∧＿＿ ∧ ∧＿ |￣￣￣￣|
( ∧ ∧__ ( ∧ ∧__( ∧ ∧ ￣￣￣￣
（＿( ∧ ∧＿ (∧ ∧＿ (∧ ∧ はい、先生。
?（＿( ,,)?（＿( ,,)?（＿( ,,)
?（＿__ﾉ ?（＿__ﾉ ?（＿__ﾉ
14: １３２人目の素数さん [sage] 2024/09/14(土) 09:09:55.65 ID:/tXJGWKc(2/6) AAS
お前ら査読付き欧文誌に投稿してるか？
190(1): １３２人目の素数さん [] 2024/09/27(金) 16:48:43.65 ID:L+1IrTVD(1/2) AAS
適当なスレがないからここで聞くけど、Coqのインストール方法がわかりやすく書いてるサイト教えてくれ
https://github.com/coq/platform/releases/tag/2023.11.0
から冒頭の｢Windows (64 bit) installer for Coq 8.18.0 with MathComp 1.18 (default)｣
を落としてインストールしたけど、CoqIDEを起動した直後に強制終了してしまう。
何で？
っていうか、スタートメニューのCoqIDEアイコンにアイコン画像すら登録されてないんだが。
201: １３２人目の素数さん [] 2024/09/27(金) 23:31:20.65 ID:y6wHh6qd(5/5) AAS
内容紹介
本書は，基本的なトピックの中からさらに取捨選択を行い，直観や動機付けを重視しつつ技術的細部を積み上げていく，理論のユーザーとしての視点に徹したコンパクトな教科書である．
読者がいくつかの結果や証明のアイデアを身につけ，自らの専門分野に応用できるよう，理論展開全体のストーリー構成がなされている．
第I部「形式論理」は証明論とモデル理論の初歩に相当し，命題論理や述語論理を扱う．
本書の特徴に，「論理体系のショウケース」として最初に等式論理を用いた点が挙げられる．
ここでの議論や証明の本質的な部分が，より複雑な命題論理，述語論理において用いられる．
第II部「計算可能性」の第8章までが再帰理論の入門に相当する．
帰納的関数とwhileプログラムを計算モデルとして計算可能性の理論を導入する．
最後に，数学基礎論の全分野と結びつく重要な結果であるGodelの不完全性定理の簡単なバリエーションの証明の概略を与える．
221: １３２人目の素数さん [] 2024/09/30(月) 09:31:44.65 ID:2VOf4NOQ(1/12) AAS
大学の教科書購入を回避する11の方法
https://note.com/tooyotta/n/n3f6968176be0
438: １３２人目の素数さん [sage] 2024/10/19(土) 09:45:06.65 ID:9sozDxcM(6/15) AAS
アセモグル/レイブソン/リスト 入門経済学 単行本 – 2020/9/4
ダロン・アセモグル (著), & 4 その他
658: １３２人目の素数さん [] 2024/10/26(土) 23:03:19.65 ID:zXAa0zWc(22/22) AAS
結縄で書かれた結び目の理論とかないのか
752: １３２人目の素数さん [sage] 2024/11/01(金) 09:27:29.65 ID:vzJTomSQ(1/19) AAS
延々とイタチを続けるやつが性格を語る草
764: １３２人目の素数さん [sage] 2024/11/01(金) 11:39:53.65 ID:Vm6MoWbt(1) AAS
老師、EDは数学能力に影響しますか？
879: １３２人目の素数さん [] 2024/11/07(木) 23:09:52.65 ID:teVqsazt(1) AAS
かつて正道とされていたものがそうではなくなってしまっている
889: １３２人目の素数さん [] 2024/11/08(金) 00:34:40.65 ID:+moSlN6S(7/7) AAS
シリーズ：数学 ＞ 統計学One Point
https://www.kyoritsu-pub.co.jp/search/s100247.html
950: １３２人目の素数さん [sage] 2024/11/13(水) 14:55:13.65 ID:g3UrJSYI(4/8) AAS
グランゼコールの教科書 フランスのエリートが習得する最高峰の知性 単行本 – 2022/6/28
ジャン=フランソワ・ブラウンスタン (著), & 4 その他
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s