資料詳細

  • 1 件中、 1 件目

記号論理学 利用可

加藤浩／著 -- 放送大学教育振興会 -- 2014.3 -- 410.96

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ｶﾄｳ/一般Ｈ 121234911 一般 利用可

ページの先頭へ

資料詳細

タイトル 記号論理学
書名ヨミ キゴウ　ロンリガク
シリーズ名 放送大学教材
著者名 加藤浩 ／著, 土屋俊 ／著  
著者ヨミ カトウ，ヒロシ , ツチヤ，シュン  
出版者 放送大学教育振興会  
出版年 2014.3
ページ数等 ２４９ｐ
大きさ ２１ｃｍ
内容細目 索引あり
一般件名 記号論理学 , Af  
ISBN 4-595-31496-5
ISBN13桁 978-4-595-31496-4
定価 ３０００円
問合わせ番号（書誌番号） 1102000694
NDC8版 410.96
NDC9版 410.96

ページの先頭へ

内容一覧

タイトル 著者名 ページ
論理学とは何か
記号を使う
記号・式・命題
命題の意味
推論の妥当性を厳密に定義する
タブローによる妥当性のチェック
多重量化
日本語から形式言語への翻訳
数を数える命題
日本語の推論の妥当性
タブローの方法の健全性と完全性
役立つ記号論理学

ページの先頭へ