オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト(講義ノート、サーヴェイ、モノグラフ等)のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫,「数理論理学(命題論理と述語論理)」.[PDF] 嘉田勝,「数理論理学 講義ノート(2013年度版)」. St
パワナという語は、ナティック語というインディアンの言葉で「くじら」を意味する。 登場人物は少年ジョンと船長のスカモン。二人はそれぞれ1911年の地点から、1856年の捕鯨航海を回想する。 太古の昔、神が海難から救うためにヨナを鯨に呑み込ませ信仰と悔い改めのメタファとして後世に遺すために旧約聖書のヨナ書が書かれた。 そして文学の世界ではハーマン・メルヴィルが『白鯨…
1 数学の魅力を伝える2冊+α (青木薫、翻訳家) フェルマーの最終定理 サイモン・シン 新潮社 数学をつくった人びと E.T.ベル 東京書籍(早川書房) 県立 大学新書庫410.28B33 ガロアの神話 トニー・ロスマン 現代数学社 県立 2 海に沈んだ数学書(秋葉忠利、広島市長) 一松信一松信 多変数解析函数論 培風館 大学新書庫413.5H77 秋山武太郎 微分積分早分かり 日新出版 ポントリャーギン 連続群論 斉藤正彦先生推薦(集合論、位相、群論、多様体。。) Joseph Mazur Euclid in the Rainforest (論理、無限、現実) 3 実現象の数学(合原一幸、東大 数理工学) 導入 数理工学への誘い 東京大学工学部・・編 日本評論社 2002 数理工学のすすめ(改訂版) 京都大学工学部・・編 現代数学社 2005 数理工学の地平 数理科学2002.12サイ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く