資料詳細

  • 1 件中、 1 件目

自然な推論のための論理学 利用可

大出晁／著 -- 勁草書房 -- 199101 -- 116

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 116/ｵｵｲ/一般Ｈ 111132240 一般 利用可

ページの先頭へ

資料詳細

タイトル 自然な推論のための論理学
書名ヨミ シゼンナ　スイロン　ノ　タメノ　ロンリガク
著者名 大出晁 ／著  
著者ヨミ オオイデ，アキラ  
出版者 勁草書房  
出版年 199101
ページ数等 ２５１ｐ
大きさ ２２㎝
内容細目 参考文献：ｐ２３７～２３８
一般件名 論理学  
ISBN 4-326-10087-7
問合わせ番号（書誌番号） 1100068280
NDC8版 116
内容紹介 日常的な推論の方法に近いかたちで形式化された、直観主義論理と古典論理の中間のシステム。

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第１章　推論とは（論理の目覚め；論理学の誕生；推論の構造）
第２章　文を単位とする推論（推論の表わし方；推論の規則；排中律について；文の真・偽と推論規則；直観主義・古典論理のモデル；推論規則の応用例）
第３章　文の内部に立ち入る推論（文の内部構造；推論規則の使い方；モデルとタブロー；妥当性と健全性；完全性；集合論とその推論の例）
付録（他の論理系との関連；タブローの基本定理；量子論理その他；メタ定理の証明法についてのコメント）

ページの先頭へ