Search results 68
Paper図書
National Diet LibraryOther Libraries in Japan
- Toc / Article第1章 準備:命題論理 第2章 K 第3章 CTL(計算木論理) 第4章 様相ミュー計算 第5章 PDL(命題動的論理) 第6章 ホーア論...
- Summary, etc.計算木論理,様相ミュー計算,命題動的論理など,コンピュータサイエンスで重要な...
- Subject Heading情報科学 様相 (論理学)
Paper図書
National Diet LibraryOther Libraries in Japan
- Toc / Article... 証明可能性 参考書 第1部 様相論理入門(佐野勝彦) 第1章 正規様相論理の構文論・意味論・ヒルベルト式公理系 1.1 様相論理の構文論・意味論・フレーム定義可能性 1.2 正規様相論理とそのクリプキ意味論に対する健全性 1.3 正規様相論理の強完全性証明 第2章 正規様相論理の有限フレーム性・決定可能......L の有限フレーム性 第3章 様相論理の発展と歴史的背景 3.1......体系とカット除去定理 3.2 様相論理のいくつかの現代的発展 3.3 様相論理の関係意味論の歴史 参考文......証明可能性論理の分類 6.2 様相述語論理への拡張 6.3 多様相論理への拡張 第3部 強制法と様相論理(薄葉季路) 第7章 公理......概要 7.1 多元宇宙論と強制様相論理の概要 7.2 集合論の基......8.3 強制関係 第9章 強制様相論理 9.1 強制様相論理 MLF 9.2 S4.2.......3 関連話題 第4部 真理と様相(黒川英徳) 第10章 真理に......論の公理化 第12章 真理から様相へ―型をもたない真理論(2) 12.1 知者のパラドックス・様相述語・有限公理化不可能性定理 12.2 真理の改訂理論に基づ...
- Summary, etc.本書は数理論理学の基礎的な知識を持つ読者を対象として,様相論理の構文論と意味論,ならびに......発展までを紹介するものである。様相論理を紹介する第1部は,その部分のみを取り出してコンパクトな様相論理の入門書または教科書として読むことができるように書かれて...
- Contents数理論理学の基礎 / 菊池誠著 様相論理入門 佐野勝彦著 証明可能性論理 倉橋太志著 強制法と様相論理 薄葉季路著 真理と様相 黒川英徳著 文献部末 菊池誠 著 佐野勝彦 著 倉橋太志 ...
Paper図書障害者向け資料あり
National Diet LibraryOther Libraries in Japan
- Subject Heading比較哲学 様相 (論理学)
Paper図書
National Diet Library
- Subject Heading土師器研究会 / 岩手県内陸北部の土器 / 福島県南部の土器様相 / 会津盆地の土器様相 / 土器の併行関係 / 続縄文土器
Paper図書
National Diet Library
- Subject Headingシェイプ解析 / 静的解析 / 停止性解析 / モデル検査 / 様相論理
Paper図書
National Diet Library
- Subject Headingbilattice / 不動点意味論 / 様相演算子 / t-norm / BCK-代数
Paper図書
National Diet Library
- Subject Headingビジネスプロセス / 様相性 / コミュニティデザイン / 生態心理学 / 創発
Paper図書
National Diet Library
- Subject Heading概念構造 / 空間構造 / 語彙意味論 / 歩行模型 / モデル意味論 / 様相存在式
Paper図書
National Diet Library
- Subject Heading光トポグラフィー / 咀嚼 / 皮質活動 / 口腔感覚遮断 / 顎運動 / 筋放電様相
Paper図書
National Diet Library
- Subject Heading時相論理 / イベントの論理 / 様相論理 / 信念改訂 / 信念融合
Paper図書
National Diet Library
- Subject Heading非古典論理 / 様相論理 / 認識論理 / Kripke意味論 / 代数的意味論...
Paper図書
National Diet Library
- Subject Headingスピノザ / ライプニッツ / 様相概念 / 十全な観念 / 事象的定義 / 個体 / 精神的自...
Paper図書
National Diet Library
- Subject Heading種 / 実体 / コプラ / 四カテゴリー存在論 / 形式存在論 / 種的論理 / 様相論理 / 部分論理
Paper図書
National Diet Library
- Subject Headingつまずき / わかったことの評価 / わからせる対象 / わからせる方法 / ディベート / 先行研究 / 授業研究 / 理解の様相
Paper図書
National Diet Library
- Subject Headingリチウム塩水溶液 / プール核沸騰 / 熱伝達特性 / 沸騰様相 / 溶液濃度 / 発泡点密度 / 離脱気泡径 / 気泡サイ...