オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト(講義ノート、サーヴェイ、モノグラフ等)のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫,「数理論理学(命題論理と述語論理)」.[PDF] 嘉田勝,「数理論理学 講義ノート(2013年度版)」. St
Listing over 3 million free books on the Web - Updated Wednesday, March 20, 2024 BOOKS ONLINE Search our Listings -- New Listings -- Authors -- Titles -- Subjects -- Serials NEWS Celebrating Many Years of Online Books -- Blog (Everybody's Libraries) -- Latest Book Listings FEATURES A Celebration of Women Writers -- Banned Books Online -- Prize Winners Online ARCHIVES AND INDEXES General -- Non-Eng
計算可能性、計算量、アルゴリズム Highly Recommended N.D. Jones, Computability and Complexity: From a Programming Perspective. MIT Press, 1997. ● 計算可能性と計算量について、プログラミング言語を基礎に置いて 平易かつ統一的に説明するのに成功している良書。 もちろん、部分計算など、Jonesならではの話題も充実。 (ただし誤植がかなり多いので注意 - 再版でかなり修正されるそうです) [ 所蔵図書館 ] (研究室にもあります) J.E. Hopcroft, R. Motwani and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, Second Edition. Addison-W
Contents はじめに Acknowledgement Change Log I ファイバー束入門 1 基本 1.1 ファイバー束とは? 1.2 ファイバー束の定義 2 ファイバー束と位相群 2.1 構造群を持ったファイバー束 2.2 位相群 2.3 コンパクト開位相 2.4 ファイバー束と群の作用 2.5 群の作用による商空間 2.6 主束 3 ファイバー束の分類 3.1 ファイバー束の間の写像 3.2 引き戻し 3.3 ファイバー束とホモトピー 3.4 ファイバー束の分類: 単純な場合 3.5 CW 複体上のファイバー束の分類 3.6 CW 複体とホモトピー 3.7 分類定理の証明の前半 3.8 ファイバー束とホモトピー群 3.9 普遍束の構成 3.10 Milnor と Milgram の構成 II ファイバー束からホモトピー論へ 4 ファイバー空間 4.1 どうしてファイバ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く