オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
.NETでマンデルブロ集合を描く
はじめに 先日、調べものついでに読まなくなって久しい古雑誌を整理していました。古雑誌の記事は今となってはいささか時代遅れのものがほとんどなんですが、中には今でも十分通用する貴重な資料も少なからずあるので手当たり次第に処分するわけにもいかず、一冊ずつ手にとって目次を確認してたんです。パラパラめくってた一冊に当時（おそらく20年以上前）に書いたであろうコードを打ち出したプリンタ用紙が挟まっていました。BASICで書かれたコードの先頭には10 '--- MANDELBROT-SET ---とコメントされていて……思い出しました。確かに当時、科学雑誌に掲載されていた数式を頼りにコードを書き、8bit-CPUとBASICインタプリタで実行し、マンデルブロ集合の全体像を描くのに丸一日かかったのを覚えています。今や当時に比べればCPU性能はケタ違い（どころの騒ぎじゃない）ですから、より綺麗なマンデルブロ
計画数学など
演 9.2 釘付けテストは最初の元問題だけに適用して十分です。 演 9.3 9.2の釘付けテストの結果を利用できます。 演 10.1 みんなできました。 演 10.2 みんなできました。
物理のかぎしっぽ
「物理のかぎしっぽ」は有志メンバーによる物理学（物理数学，力学，量子力学，他）とコンピュータ（Linux，TeX，プログラミング，他）の勉強ノートです．[2007-10-27] 電磁気学/ビオ・サバールの法則とその応用（クロメル著） [2007-10-27] 力学/球殻のつくる重力ポテンシャル（クロメル著） [2007-09-30] 解析力学/エネルギーの定義とエネルギー保存則（佑弥著） [2007-07-07] 電磁気学/一様に帯電した無限平面板の作り出す電場（CO著） [2007-06-05] 解析力学/ネーターの定理（佑弥著） [2007-06-02] 力学/ベクトルのモーメント（トルクと角運動量）（クロメル著） 力学/角運動量（クロメル著） 力学/角運動量を持つ系の例（クロメル著） 力学/全角運動量（クロメル著） 力学/慣性モーメント（クロメル著）
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://hb3.seikyou.ne.jp/home/E-Yama/weqga.pdf
数理計画 2004年度 Review
微分積分学演習第二および線形代数学演習第二
http://www.isc.meiji.ac.jp/cgi-isc/cgiwrap/dmex/dmex.cgi/dm1
初期値問題(全空間)
\x89\x9E\x97p\x90\x94\x8Aw\x93\xFC\x96\xE5
∫Integral Interval∫