...
記号論理学 加藤 浩(著/文) - 放送大学教育振興会 : NHK出版
書店員向け情報 HELP
記号論理学
縦210mm
249ページ
価格情報なし
- 初版年月日
- 2014年3月
- 登録日
- 2016年9月12日
- 最終更新日
- 2016年9月12日
目次
論理学とは何か
記号を使う
記号・式・命題
命題の意味
推論の妥当性を厳密に定義する
タブローによる妥当性のチェック
多重量化
日本語から形式言語への翻訳
数を数える命題
日本語の推論の妥当性
タブローの方法の健全性と完全性
役立つ記号論理学
上記内容は本書刊行時のものです。
