CodeIQについてのお知らせ
2018年4月25日をもちまして、 『CodeIQ』のプログラミング腕試しサービス、年収確約スカウトサービスは、 ITエンジニアのための年収確約スカウトサービス『moffers by CodeIQ』https://moffers.jp/ へ一本化いたしました。 これまで多くのITエンジニアの方に『CodeIQ』をご利用いただきまして、 改めて心より深く御礼申し上げます。 また、エンジニアのためのWebマガジン「CodeIQ MAGAZINE」は、 リクナビNEXTジャーナル( https://next.rikunabi.com/journal/ )に一部の記事の移行を予定しております。 今後は『moffers by CodeIQ』にて、 ITエンジニアの皆様のより良い転職をサポートするために、より一層努めてまいりますので、 引き続きご愛顧のほど何卒よろしくお願い申し上げます。 また、Cod
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
ゲーデルの不完全性定理を代数学を使って表現してみた - とりマセ
『代数学は得意だけど，数学基礎論とかさっぱり分からない．論理とかマジイミフ』そんなアナタを対象に，ゲーデルの不完全性定理を解説してみよう！ のコーナーです． 論理学と代数学（可換環論）との対応については，檜山さんによる素晴らしい記事があります： 古典論理は可換環論なんだよ - 檜山正幸のキマイラ飼育記 ただ，『論理学といえばまずコレ！』とも言うべき『ゲーデルの不完全性定理』の代数学的表現については書かれていないようなので，ちょっぴり魔が差して，ここでゲーデルの不完全性定理の代数学的な表現を与えることにしました． だが，単にゲーデルの不完全性定理を代数学で表現するだけじゃあつまらない……倍プッシュだ……！というわけで，プラスアルファとして，その他色んな分野との関わりを含めて紹介します． 0. 理論は対応する代数を持つよ！： リンデンバウム代数 まず，論理学と代数学を対応させる第一の架け橋
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
