記号論理学

Author(s)

• 加藤, 浩 カトウ, ヒロシ
• 辰己, 丈夫 タツミ, タケオ

Bibliographic Information

記号論理学

加藤浩, 辰己丈夫編著

（放送大学教材, 1579428-1-2411）

放送大学教育振興会, 2024.3

新訂

Other Title

新訂記号論理学

Title Transcription

キゴウ ロンリガク

Note

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

テレビ教材

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

参考文献あり

索引: p259-261

Description and Table of Contents

Table of Contents

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

by "BOOK database"

Details

• NCID: BD05791510
• ISBN:
  • 9784595324819
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: 261p
• Size: 21cm
• Classification:
  • NDC8 : 410.96
  • NDC9 : 410.96
  • NDC10 : 410.96
  • NDLC : MA41
• Subject Headings:
  • NDLSH : 記号論理学
  • BSH : 記号論理学
• Parent Bibliography ID:
  • BN00491972