お勧めの数理論理の本を２冊＋新刊の予告 - hiroyukikojima’s blog
下の方に、付記を書きました(11月24日) 来月に刊行される新書を書くためと、ゲーム理論の研究のためとで、ずっと数理論理の勉強をしてきた。このブログでも、何冊かの数理論理の本を紹介してきた(例えば、ゲーデル本食い歩き - hiroyukikojimaの日記など）。そんな中、最近読んだものの中に、お勧めの本が2冊見つかったので、今回はそれを紹介しようと思う。 一冊目は、鹿島亮『数理論理学』朝倉書店だ。 数理論理学 (現代基礎数学) 作者: 鹿島亮出版社/メーカー: 朝倉書店発売日: 2009/10/01メディア: 単行本購入: 11人 クリック: 367回この商品を含むブログ (5件) を見るこの本は、序文に「千葉大学の古森雄一先生とディスカッションして書いた」というようなことが書いてあったので、信頼できる本だろうという予想の下で購入することとしたのだ。(古森先生については、ロックバンドZF
「論理と計算のしくみ」が大変ためになった - 北海道苫小牧市出身の初老PGが書くブログ
読み終わったので感想です。他の方々からも良書だ、良書だと勧められましたが、結論から言うとやはり買いです。 論理と計算のしくみ 萩谷 昌己 西崎 真也 前半は論理学から話を初めてゲーデルの不完全性定理までを論じます。後半はλ計算と型理論についての内容です。カリー・ハワード対応がわからなくてもいいのであれば、後半のλ計算の部分だけ読むこともできます。 読み切れば、例えば、本物のプログラマはHaskellを使うの連載に出てくる次のような単語の意味は理解できるようになるでしょう。 reduction call-by-name call-by-value Weak Head Normal Form 型推論 依存型 多相型 他にも以下のような聞いたことあるけどなんだろこれって知識が補完されます。 命題論理、述語論理、様相論理、時相論理、直観論理 ゲーデルの不完全性定理 チューリングマシンの停止性問題
The Mercury Project: Introduction
What is Mercury? Logic programming languages have been around for more than twenty years. Despite the expected advantages of a very high level programming language based upon well developed theories of logic over conventional programming languages (such as C, C++, Pascal and Ada) they have not had significant impact on the computer industry. Mercury is a new logic/functional programming language,
書評（数理論理学）
教科書など 準備 数理論理学を習得するためには、その前に、数学の言葉を操り数学の考え方を駆使できるようになる必要があります。数理論理学は数学の一分野ですので、それについては数学の他の分野と変わることはありません。 幸い、数学の言葉と数学の考え方を学ぶことに特化して使える教科書が出版されています。目についたものを並べてみます。おそらく、他にもあるでしょう。 個人的に特に気にいっているもの 嘉田勝：論理と集合から始める数学の基礎，日本評論社, 2008. (版元による紹介) 鈴木登志雄：例題で学ぶ集合と論理, 森北出版, 2016. (版元による紹介) その他 渡辺治・北野晃朗・木村泰紀・谷口雅治：数学の言葉と論理, 朝倉書店, 2008. (版元による紹介) 中島匠一：集合・写像・論理—数学の基本を学ぶ—, 共立出版, 2012. (版元による紹介) 石川剛郎：論理・集合・数学語, 共立出版
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
論理学は思考の「高地」トレーニング」である／ロジック・アズ・ブロックバスター
論理学の良いところは、トレーニングの効果が絶大なところだ。 たとえれば、論理学は一種の「高地」トレーニングなので苦しいが、これによって思考の「心肺機能」がアップする。 思考が「息切れ」しにくくなる。そして「登坂力」が増す。 微細な違いに気付く力や、筋が混み入った話への感受性も高まる。 学術書の類や、日本語とは思えない悪文を読むのに、きつい坂道を上るような苦しさを感じている人は、最もその効果を実感できるだろう。 しかし論理学を学ぶ人はあまり多くない。 独習は不可能ではない。 というより、自分で問題を解かないことにはどうにもならないので、習うにしろ、自分一人で取り組まなくてはならない時間が多い。 科学哲学者の内井惣七氏は、論理学の学習について、次のように言っている。 ・問題を山のように解かないと、論理学が身に付くはずがない。ぼーっと、本を眺めてマスターできるのは、フォン・ノイマンみたいな悪魔だ
論理演算 - Wikipedia
論理演算（ろんりえんざん、logical operation）は、論理式において、論理演算子などで表現される論理関数（ブール関数）を評価し（正確には、関数適用を評価し[1]）、変数（変項）さらには論理式全体の値を求める演算である。 非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合（真理値集合）と演算（演算子）はブール代数を構成する。 コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。 なお、証明論的には、公理と推論規則に従って論理式を変形（書き換え）する演算がある（証明論#証明計算の種類）。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://hblo.blog.shinobi.jp/Entry/1962/