記号論理学

Author(s)

• 加藤, 浩 カトウ, ヒロシ
• 土屋, 俊 ツチヤ, シュン

Bibliographic Information

記号論理学

加藤浩, 土屋俊著

（放送大学教材, 1570064-1-1411）

放送大学教育振興会, 2014.3

Title Transcription

キゴウ ロンリガク

Note

テレビ教材

索引あり

Description and Table of Contents

Table of Contents

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

by "BOOK database"

Details

• NCID: BB15013109
• ISBN:
  • 9784595314964
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: 249p
• Size: 21cm
• Classification:
  • NDC8 : 410.96
  • NDC9 : 410.96
• Subject Headings:
  • NDLSH : 記号論理学
• Parent Bibliography ID:
  • BN00491972