五味健作のWWW出版「数理心理学」
この頁内の目次 「成長」休止のお知らせ 著作権についての警告 内容の簡単な紹介 自薦の言葉 各章の概要 組版についての参考書 関連する文献 読み方いろいろ WindowsでのDVIファイルの読み方（推奨） Mac/WinでのPDFファイルの読み方 「成長」休止のお知らせ この本は，進行中で未完成の研究の成果を逐次発表するとともに学生の教育に資するためにWWW出版の形態をとって書き始めたもので，1997年暮れの初版以来，研究の進展につれて頻繁に改訂を重ねてきました．教育効果は初版後すぐに現れ，数理心理学草創期の学生の水村泰明氏が（旧）単相格論理学における完全性定理を証明し東京大学2000年度修士論文として発表しました．それはその後拡張・一般化され7年後に，私との共著の論文として結実しました．またその後の学生の高岡洋介氏は，この本の内容をよく消化・吸収し発展させ，その成
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
The Online Books Page
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
A Reading List for Postgraduates
計算可能性、計算量、アルゴリズム 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
Handbook of Modal Logic: A Proposal
Handbook of Modal Logic Patrick Blackburn, Johan van Benthem, and Frank Wolter patrick.blackburn@loria.fr johan@science.uva.nl frank@csc.liv.ac.uk Available as EBook at ScienceDirect Picture from the Handbook meeting in Amsterdam in 2004 Table of Contents Preface pdf-file Authors: Patrick Blackburn, Johan van Benthem, Frank Wolter. Part 1: Basic Theory Modal logic: a semantic perspective Intro
Practical Common Lisp
that book is dead sexy —Xach on #lisp (more blurbs) This page, and the pages it links to, contain text of the Common Lisp book Practical Common Lisp published by Apress These pages now contain the final text as it appears in the book. If you find errors in these pages, please send email to book@gigamonkeys.com. These pages will remain online in perpetuity—I hope they will serve as a useful introdu
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Medieval and Modern Thought Text Digitization Project: Search Results