オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
新著の目次＋様相論理のお勧め本 - hiroyukikojima’s blog
今週の後半から、新著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHK出版新書が書店に並ぶはずなので、今日は、先んじて目次を紹介しようと思う。んで、おまけとして、前回(お勧めの数理論理の本を２冊＋新刊の予告 - hiroyukikojimaの日記)に引き続いて、数理論理学の本をもう一冊、お勧めする。 数学的推論が世界を変える 金融・ゲーム・コンピューター (NHK出版新書) 作者: 小島寛之出版社/メーカー: NHK出版発売日: 2012/12/10メディア: 新書購入: 48人 クリック: 1,233回この商品を含むブログ (26件) を見るこの本の目次立てと各章のアイテムを簡単に紹介すると、次のようになっている。 『数学的推論が世界を変える〜金融・ゲーム・コンピューター』の目次 まえがき −数学的推論で時代を見通す− 第１章 数学でマネーを稼ぐ人たち −ギャンブルからアル
書評（数理論理学）
教科書など 準備 数理論理学を習得するためには、その前に、数学の言葉を操り数学の考え方を駆使できるようになる必要があります。数理論理学は数学の一分野ですので、それについては数学の他の分野と変わることはありません。 幸い、数学の言葉と数学の考え方を学ぶことに特化して使える教科書が出版されています。目についたものを並べてみます。おそらく、他にもあるでしょう。 個人的に特に気にいっているもの 嘉田勝：論理と集合から始める数学の基礎，日本評論社, 2008. (版元による紹介) 鈴木登志雄：例題で学ぶ集合と論理, 森北出版, 2016. (版元による紹介) その他 渡辺治・北野晃朗・木村泰紀・谷口雅治：数学の言葉と論理, 朝倉書店, 2008. (版元による紹介) 中島匠一：集合・写像・論理—数学の基本を学ぶ—, 共立出版, 2012. (版元による紹介) 石川剛郎：論理・集合・数学語, 共立出版
お勧めの数理論理の本を２冊＋新刊の予告 - hiroyukikojima’s blog
下の方に、付記を書きました(11月24日) 来月に刊行される新書を書くためと、ゲーム理論の研究のためとで、ずっと数理論理の勉強をしてきた。このブログでも、何冊かの数理論理の本を紹介してきた(例えば、ゲーデル本食い歩き - hiroyukikojimaの日記など）。そんな中、最近読んだものの中に、お勧めの本が2冊見つかったので、今回はそれを紹介しようと思う。 一冊目は、鹿島亮『数理論理学』朝倉書店だ。 数理論理学 (現代基礎数学) 作者: 鹿島亮出版社/メーカー: 朝倉書店発売日: 2009/10/01メディア: 単行本購入: 11人 クリック: 367回この商品を含むブログ (5件) を見るこの本は、序文に「千葉大学の古森雄一先生とディスカッションして書いた」というようなことが書いてあったので、信頼できる本だろうという予想の下で購入することとしたのだ。(古森先生については、ロックバンドZF
ソフトウェア科学特論: 命題論理
本Webページ(およびPDF)の作成には Emacs org-mode を用いており， 数式等の表示は MathJax を用いています． IEでは正しく表示されないことがあるため， Firefox, Safari等のWebブラウザでJavaScriptを有効にしてお使いください． また org-info.js を利用しており， 「m」キーをタイプするとinfoモードでの表示になります． 利用できるショートカットは「?」で表示されます．
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://hagi.is.s.u-tokyo.ac.jp/pub/essay/hagiya/7bits/saredo
