オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
ＳＳＳ推薦・多読用基本洋書のご紹介
ＳＳＳ推薦・多読用基本洋書のご紹介 2008年３月7日 Ver.3.51 古川昭夫 ＳＳＳ英語学習法研究会では、次の洋書のシリーズを多読用洋書として推薦しています。 ＳＳＳでは、実際の読者の意見を参考に、Graded Readers と一般書の読みやすさレベル（YL: Yomiyasusa Level） を決めています。 この数値は,SSS英語学習法研究会が独自に定めた日本人の大人にとっての読みやすさレベルで、数値が小さいほど一般的に読みやすいことを表します。また、数値に幅があるのは、シリーズ内の本によっての難易度の差および、同じタイトルの本でも個人の好み・英語学習歴による難易度の差があることを考慮したものです。 しかし、Graded Readersでさえ、同一シリーズ内の同一レベルでも読みやすさが大きく違うことがあるので、数値にこだわらずに、自分が今楽しめているかどうかの感覚を大事にし
専門知識の仕入れ方 - Preferred Networks Research & Development
今日は，普段どのようにして専門知識を仕入れているかについて書いてみようと思います．特に自分が得意でない分野を知りたいと思った時に，どうするかに注目したいと思います．自分の専門の場合は，いくらでも時間を注ぐことが出来るので，世界中のリソースを全て探し当てて勉強すれば良いのですが，ちょっと興味が有るぐらいではそこまでやる時間は取れません．なので出来るだけ効率的に分かった気になるのが目標です． まず，論文を直接読むのはあまり効率的では無いと思います．論文は広い分野の中の或る問題に対して一つの解決方法を書いているだけで，分野全体を俯瞰することは目指していません．論文だけ読んで分野全体を理解するには，最低50本ぐらい読む必要が有ると思います．
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://blog.chase-dream.com/2012/01/06/2524
【良質の独学サイト】分野は、数学、統計学、コンピュータ言語、英語、金融・経済など分野は問いません。【eラーニング】以下の条件にあうサイトを沢山教えて下さい.. - 人力検索はてな
