■
記号論理学(放送大学教材)
■
加藤浩/編著 辰己丈夫/編著
目次
論理学とは何か・記号を使う
記号・式・命題 命題の意味 推論の妥当性を厳密に定義する タブローによる妥当性のチェック(1) タブローによる妥当性のチェック(2) 多重量化 日本語から形式言語への翻訳 個数を表す命題 日本語の推論の妥当性(1) 日本語の推論の妥当性(2) 日本語の推論の妥当性(3) タブローの方法の健全性と完全性 論理学の応用 論理学の歴史
出荷:
メーカー在庫見込あり:1-3週間
■
詳細ページ
■
ジャケット画像
■
商品説明
女
商品検索
令
ヘルプ
TOP
J-WAVE CD&BOOK ONLINE
powerd by Neowing