書誌事項

記号論理学

加藤浩, 辰己丈夫編著

(放送大学教材, 1579428-1-2411)

放送大学教育振興会, 2024.3

新訂

タイトル別名

新訂記号論理学

タイトル読み

キゴウ ロンリガク

大学図書館所蔵 件 / 46

この図書・雑誌をさがす

注記

"情報コース/専門科目"

テレビ教材

奥付に「インターネット配信限定で視聴する科目」とあり

参考文献あり

索引: p259-261

内容説明・目次

目次

  • 論理学とは何か・記号を使う
  • 記号・式・命題
  • 命題の意味
  • 推論の妥当性を厳密に定義する
  • タブローによる妥当性のチェック(1)
  • タブローによる妥当性のチェック(2)
  • 多重量化
  • 日本語から形式言語への翻訳
  • 個数を表す命題
  • 日本語の推論の妥当性(1)
  • 日本語の推論の妥当性(2)
  • 日本語の推論の妥当性(3)
  • タブローの方法の健全性と完全性
  • 論理学の応用
  • 論理学の歴史

「BOOKデータベース」 より

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

詳細情報

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