Search results 33
Paper図書
National Diet LibraryOther Libraries in Japan
- Toc / Article... 証明可能性 参考書 第１部 様相論理入門（佐野勝彦） 第１章 正規様相論理の構文論・意味論・ヒルベルト式公理系 1.1 様相論理の構文論・意味論・フレーム定義可能性 1.2 正規様相論理とそのクリプキ意味論に対する健全性 1.3 正規様相論理の強完全性証明 第２章 正規様相論理の有限フレーム性・決定可能性 ......L の有限フレーム性 第３章 様相論理の発展と歴史的背景 3.1 シ......体系とカット除去定理 3.2 様相論理のいくつかの現代的発展 3.3 様相論理の関係意味論の歴史 参考文献 ......相述語論理への拡張 6.3 多様相論理への拡張 第３部 強制法と様相論理（薄葉季路） 第７章 公理的集......概要 7.1 多元宇宙論と強制様相論理の概要 7.2 集合論の基礎 ......8.3 強制関係 第９章 強制様相論理 9.1 強制様相論理 MLF 9.2 S4.2 とハムキンズ‐レーヴェの定理 9...
- Summary, etc.本書は数理論理学の基礎的な知識を持つ読者を対象として，様相論理の構文論と意味論，ならびに，数......発展までを紹介するものである。様相論理を紹介する第１部は，その部分のみを取り出してコンパクトな様相論理の入門書または教科書として読むことができるように書かれている...
- Contents数理論理学の基礎 ／ 菊池誠著 様相論理入門 佐野勝彦著 証明可能性論理 倉橋太志著 強制法と様相論理 薄葉季路著 真理と様相 黒川英徳著 文献部末 菊池誠 著 ...
Paper図書
National Diet Library
- Subject Headingシェイプ解析 / 静的解析 / 停止性解析 / モデル検査 / 様相論理
Paper図書
National Diet Library
- Subject Heading時相論理 / イベントの論理 / 様相論理 / 信念改訂 / 信念融合
Paper図書障害者向け資料あり
National Diet LibraryOther Libraries in Japan
Paper図書
National Diet Library
- Subject Heading非古典論理 / 様相論理 / 認識論理 / Kripke意味論 / 代数的意味論 /...
Paper図書
National Diet Library
- Subject Heading種 / 実体 / コプラ / 四カテゴリー存在論 / 形式存在論 / 種的論理 / 様相論理 / 部分論理
Paper図書
National Diet Library
- Subject HeadingKripke意味論 / 様相論理 / 認識論理 / ゲーム理論的意思決定過程 / 超直感主義...
Paper図書
National Diet Library
- Subject Headingユニバーサルデザイン / 対話型人工物 / 緩やかな拘束 / アフォーダンス / 制約充足問題 / 認知的課題の変化 / 様相論理 / 設計支援
Paper図書
National Diet Library
- Subject Heading様相論理 / 意味的場 / 画像データベース / クリプキ・モデル ...
Paper図書
National Diet Library
- Subject Heading形式的検証 論理設計検証 様相論理 並列アルゴリズム 分散アルゴリズム 記号モデル検査 BDD
Paper図書
National Diet Library
- Subject Heading異文化間コミユニケーシヨン 価値システム 心理言語学的プロセス 論理学 様相論理学 言語機能 発話行為理論 言語シラバス
Paper図書
National Diet Library
- Subject Heading高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高階並行プログラミング言語 等価性 言語処...
Paper図書
National Diet Library
- Subject Heading高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高階並行プログラミング言語 等価性 言語処...