オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
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
(書籍)On Lisp ポールグラハム
On Lisp is a comprehensive study of advanced Lisp techniques, with bottom-up programming as the unifying theme. It gives the first complete description of macros and macro applications. The book also covers important subjects related to bottom-up programming, including functional programming, rapid prototyping, interactive development, and embedded languages. The final chapter takes a deeper look
コンピュータ系技術書を無料で読めるサイトまとめ - 情報科学屋さんを目指す人のメモ（FC2ブログ版）
何かのやり方や、問題の解決方法をどんどんメモするブログ。そんな大学院生の活動「キャッシュ」に誰かがヒットしてくれることを祈って。 特に探すつもりはなかったけど、技術書を無料で読めるサイトに複数遭遇したので、出会った分だけでもとまとめてみた。無料で読めるサイトと言っても、基本的には無料公開されているページへのリンク集という形。 O'REILLY Open Books http://oreilly.com/openbook/ リンク先の右にあるリンクの書籍が無料。左のジャンル分けは通常の書籍一覧なので注意。他のサイトに比べるとだいぶ少ない。 O'REILLY Open Feedback Publishing System (OFPS) http://ofps.oreilly.com/ 出版前の書籍を公開して、フィードバックを受け付けるというサイト。作りかけの本も存在するが、最新の内容が読めると
Structure and Interpretation of Computer Programs (SICP) by Abelson & Sussman
Electronic versions with newly typeset mathematics and figures: HTML5, EPUB3, repo PDF, repo Pocket format PDFs It is remarkable that the authors and the publisher have made this book freely available at the MIT Press site, licensing it under a Creative Commons license. That is much appreciated. The existence of HTML source has made it possible to convert the book to other formats, some of which a
25 Free Computer Science Books
As a computer scientist I'm always looking to improve my knowledge of the subject. There are lots of great sources of information available online, but nothing really beats the depth of knowledge that you can find in a book. It is possible to get the best of both worlds though, as many books are now available online in full, and free of charge! Below is a selection of 25 of the best free computer
Free Programming, SQL Data Coding, Computer Science. IT Books
Free Books on Technology, Computers, Science PHP Reference: Beginner to Intermediate PHP 5 PHP programmers need of a quick reference book. Beginner and intermediate PHP coders with some experience in PHP, includes code using procedural PHP and standard syntax. Book covers areas of mail handling, file manipulation, regular expressions, MySQL sessions, and cookies. Author, Mario Lurig assumes you un
Computer Science Books Online
Theory of Computation Information & Coding Theory Algorithms & Data Structures Programming Language Theory Concurrent, Parallel & Distributed Systems Databases & Information Retrieval Artificial Intelligence Computer Architecture & Engineering Computer Security & Cryptography Computational Science Information Science Software Engineering A Balanced Introduction to Computer Science by David Reed, 2
Computer Science - Free Books at EBD
subcategories Algorithms & Data Structures (46) Artificial Intelligence (33) Concurrent, Parallel & Distributed Systems (23) Databases & Information Retrieval (33) Information & Coding Theory (26) Information Science (35) Modeling & Simulation (17) Programming Language Theory (39) Security & Cryptography (31) Software Engineering (29) Theory of Computation (12) e-books in Computer Science category
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Free Computer Science Books
Free Computer books computer science ebooks Download Online
Free / Open Acess Online Computer Science Books, Textbooks, and Lecture Notes