書誌事項

記号論理学

加藤浩, 土屋俊著

(放送大学教材, 1570064-1-1411)

放送大学教育振興会, 2014.3

タイトル読み

キゴウ ロンリガク

大学図書館所蔵 件 / 103

注記

テレビ教材

索引あり

内容説明・目次

目次

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

「BOOKデータベース」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BB15013109
  • ISBN
    • 9784595314964
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 出版地
    東京
  • ページ数/冊数
    249p
  • 大きさ
    21cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ