このページのリンク

<図書>
キゴウ ロンリガク
記号論理学 / 加藤浩, 土屋俊著
(放送大学教材 ; 1570064-1-1411)

データ種別 図書
出版者 東京 : 放送大学教育振興会
出版年 2014.3

所蔵情報を非表示



湘南図書館(3F一般書架) 410.96||Ka86 2211086407

書誌詳細を非表示

出版年 2014.3
大きさ 249p : 挿図 ; 21cm
一般注記 テレビ教材
索引あり
本文言語 日本語
著者標目  加藤, 浩(1962-) <カトウ, ヒロシ>
 土屋, 俊(1952-) <ツチヤ, シュン>
分 類 NDC8:410.96
NDC9:410.96
件 名 NDLSH:記号論理学
ISBN 9784595314964
NCID BB15013109
書誌ID B000783189
目次/あらすじ
日外アソシエーツ『BOOKPLUS』より

[目次]
論理学とは何か
記号を使う
記号・式・命題
命題の意味
推論の妥当性を厳密に定義する
タブローによる妥当性のチェック
多重量化
日本語から形式言語への翻訳
数を数える命題
日本語の推論の妥当性
タブローの方法の健全性と完全性
役立つ記号論理学

 類似資料