Sugaku no logic to shugoron
培風館 (2003年12月発行, 2009年10月初版第４刷発行)．ISBN 4-563-00337-9． 出版社による本書の紹介は ここ をクリック． 高校レベルのおさらいから始め，素朴集合論から公理的集合論への橋渡しをします． 注．ここで素朴集合論とは，内田伏一「集合と位相 (数学シリーズ) 」裳華房(1986)，松坂和夫「集合・位相入門」岩波(1989)などで紹介されている集合論を指します．主に19世紀後半のカントールの集合論から，20世紀初頭のツェルメロの選択公理までの範囲に相当します．大学の数学科では通常，１，２年生の科目です．また，ここで公理的集合論とは，キューネン（藤田博司 訳）「集合論―独立性証明への案内」のレベルの集合論を指します．ゲーデル，コーエンとその後（20世紀中盤以降）を扱います． 初版第１刷（2003.12.17 発行）正誤表（2010/11/ 5）． 初版第２
Computational Complexity: A Modern Approach / Sanjeev Arora and Boaz Barak
Cambridge University Press This is a textbook on computational complexity theory. It is intended as a text for an advanced undergraduate course or introductory graduate course, or as a reference for researchers and students in computer science and allied fields such as mathematics and physics. See also Amazon page for the book. This page contains: Draft of the book with links to additional relevan
P-versus-NP page
The P-versus-NP page This page collects links around papers that try to settle the "P versus NP" question (in either way). Here are some links that explain/discuss this question: A clear formulation of the "P versus NP" question by Stephen Cook. Mathworld's page on "P versus NP" The Wikipedia page on "P versus NP" Michael Sipser has a survey paper on "The History and Status of the P versus NP ques
プレプリントサーバarXivの論文をiPhoneで見ることができるarXiview - keitabando's blog
http://www.physics.cornell.edu/people/faculty/?page=website%2Ffaculty&action=show%2Fid=17:image=http://www.physics.cornell.edu/wp-content/uploads/fl_ginsparg.jpghttp://cultofmac.com/steve-jobs-weras-a-tie/1566:image=http://www1.vg.no/uploaded/image/bilderigg/2007/12/11/1197362980708_258.jpg 親愛なるポール・ギンスパーグさま そして 親愛なるスティーブ・ジョブズさま arXiview is a new iPhone app from Dave Bacon, for searching and browsi
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
TechCrunch | Startup and Technology News
http://hblo.blog.shinobi.jp/Entry/1474/
Mukai's Home Page
数理論理学入門(Introduction to Mathematical Logic) 高崎金久（京都大学） 〜京都大学での全学共通科目講義に基づく〜
