Homepage of Kazushige TERUI
Address: Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Research Interest Nonclassical Logics and Logics in Computer Science: Linear Logic, Substructural Logics Lambda Calculus and Type Theory Implicit Computational Complexity 講義資料等 コンピュータサイエンス基礎(2020年度) 数理論理学I(命題論理) 数理論理学II(不完全性定理) コンピュータにできること・できないこと 『数学セミナー』2015年11月号掲載記事の草稿 NASH村とスライム退治：整列擬順序入門 「代数学入門」入門としての普遍代数学 直観主義論理への招待 著書（一般向け読み
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
http://home.hiroshima-u.ac.jp/fujita/Class/Kisoron/2009.html
計算機基礎論のページ（2009年度版） 第10回目の授業は12月16日（水）8:45から218号教室で演習をおこないます 12月9日の授業は、国際会議のため休講にします。 演習 1 離散構造とは何か 10月7日 資料 なし 2 論理の基礎（１）： 命題論理 10月14日 資料 101ページ、問題【５】 3 論理の基礎（２）： 述語論理 10月21日 133ページ、問題【４】 4 論理の基礎（３）： 証明理論 10月28日 144ページ、問題【１】 内容については解説済み 6 論理に関する演習 11月11日 113ページ【４】【８】、144ページ【４】【５】 5 集合論（１）： 集合演算、順序対とデカルト積 11月4日 資料 5ページ、問題【５】 7 集合論（２）： 関係の基礎 11月18日 20ページ、問題【１】 8 集合論（３）： 同値関係と集合の分割 11月25日 29ページ、問題【８
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
