<図書>
キゴウ ロンリガク
記号論理学 / 加藤浩, 土屋俊著
(放送大学教材 ; 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』より
[目次]
論理学とは何か
記号を使う
記号・式・命題
命題の意味
推論の妥当性を厳密に定義する
タブローによる妥当性のチェック
多重量化
日本語から形式言語への翻訳
数を数える命題
日本語の推論の妥当性
タブローの方法の健全性と完全性
役立つ記号論理学
[目次]
論理学とは何か
記号を使う
記号・式・命題
命題の意味
推論の妥当性を厳密に定義する
タブローによる妥当性のチェック
多重量化
日本語から形式言語への翻訳
数を数える命題
日本語の推論の妥当性
タブローの方法の健全性と完全性
役立つ記号論理学
類似資料
この資料の利用統計
このページへのアクセス回数:14回
※2021年3月24日以降
全貸出数:1回
(1年以内の貸出:0回)
※2020年3月24日以降