資料詳細

  • 1 件中、 1 件目

【図書】 記号論理学

放送大学教材 --
加藤浩 ／著, 土屋俊 ／著   -- 放送大学教育振興会 -- ２０１４．３ -- ２１ｃｍ -- ２４９ｐ

資料詳細

タイトル 記号論理学
シリーズ名 放送大学教材
著者名等 加藤浩 ／著, 土屋俊 ／著  
出版 放送大学教育振興会 ２０１４．３
大きさ等 ２１ｃｍ ２４９ｐ
分類 410.96
件名 記号論理学
注記 索引あり
目次 論理学とは何か；記号を使う；記号・式・命題；命題の意味；推論の妥当性を厳密に定義する；タブローによる妥当性のチェック；多重量化；日本語から形式言語への翻訳；数を数える命題；日本語の推論の妥当性；タブローの方法の健全性と完全性；役立つ記号論理学
ISBN(13)、ISBN 978-4-595-31496-4　　 4-595-31496-5
書誌番号 1113137482

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2051974860 iLisvirtual

ページの先頭へ