記号論理学
著者
書誌事項
記号論理学
(放送大学教材, 1570064-1-1411)
放送大学教育振興会, 2014.3
- タイトル読み
-
キゴウ ロンリガク
大学図書館所蔵 全105件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
テレビ教材
索引あり
内容説明・目次
目次
- 論理学とは何か
- 記号を使う
- 記号・式・命題
- 命題の意味
- 推論の妥当性を厳密に定義する
- タブローによる妥当性のチェック
- 多重量化
- 日本語から形式言語への翻訳
- 数を数える命題
- 日本語の推論の妥当性
- タブローの方法の健全性と完全性
- 役立つ記号論理学
「BOOKデータベース」 より