記号論理学
著者
書誌事項
記号論理学
（放送大学教材, 1579428-1-2411）
放送大学教育振興会, 2024.3
新訂
- タイトル別名
-
新訂記号論理学
- タイトル読み
-
キゴウ ロンリガク
大学図書館所蔵 件 / 全49件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
"情報コース/専門科目"
テレビ教材
奥付に「インターネット配信限定で視聴する科目」とあり
参考文献あり
索引: p259-261
内容説明・目次
目次
- 論理学とは何か・記号を使う
- 記号・式・命題
- 命題の意味
- 推論の妥当性を厳密に定義する
- タブローによる妥当性のチェック（１）
- タブローによる妥当性のチェック（２）
- 多重量化
- 日本語から形式言語への翻訳
- 個数を表す命題
- 日本語の推論の妥当性（１）
- 日本語の推論の妥当性（２）
- 日本語の推論の妥当性（３）
- タブローの方法の健全性と完全性
- 論理学の応用
- 論理学の歴史
「BOOKデータベース」 より