FM802 OTOSHOP
記号論理学(放送大学教材)
加藤浩/編著 辰己丈夫/編著

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


出荷: メーカー在庫見込あり:1-3週間

詳細ページ
ジャケット画像
商品説明

商品検索
ヘルプ

TOP

OTOSHOP
powered by Neowing