記号論理学

加藤浩, 土屋俊 著

[目次]

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

「BOOKデータベース」より

この本の情報

書名 記号論理学
著作者等 加藤 浩
土屋 俊
書名ヨミ キゴウ ロンリガク
書名別名 Kigo ronrigaku
シリーズ名 放送大学教材
出版元 放送大学教育振興会 : NHK出版
刊行年月 2014.3
ページ数 249p
大きさ 21cm
ISBN 978-4-595-31496-4
NCID BB15013109
※クリックでCiNii Booksを表示
全国書誌番号
22389127
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想