Mendeley出力
＜図書＞
論理学の基礎と演習
ロンリガク ノ キソ ト エンシュウ
| 責任表示 | ジョン・バーワイズ, ジョン・エチメンディ著 ; 大沢秀介 [ほか] 訳 |
|---|---|
| データ種別 | 図書 |
| 出版情報 | 東京 : 慶應義塾大学出版会 , 2006.9 |
| 本文言語 | 日本語 |
| 大きさ | xiii, 748p : 挿図 ; 23cm + CD-ROM1枚 |
| 目次 | 序論 第1部 命題論理(原子文 原子文の論理 ブール結合子 ブール結合子の論理 ブール論理の証明方法 形式的証明とブール論理 条件文 条件文の論理) 第2部 限量子(限量入門 限量子の論理 複数の限量子 限量子についての証明の方法 形式的証明と限量子 限量子についての捕足(オプション)) 第3部 応用とメタ理論(一階集合論 数学的帰納法 命題論理の更に進んだ話題 FOLの更に進んだ話題 完全性と不完全性) LPLソフトウェア・マニュアル(Submitを使う Tarski’s Worldを使う Fitchを使う Booleを使う)続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図1F 開架 | 116/B 25 | 2006 |
|
058112006054011 |
|
書誌詳細
| 別書名 | 原タイトル:Language, proof and logic |
|---|---|
| 一般注記 | その他の訳者: 白旗優, 中川大, 中戸川孝治, 橋本康二 原著共同作業者: ゲリー・アルウィン, デイブ・バーカー=プラマー, アルバート・リュウ 原著改訂版(CSLI publications 2003年刊)の翻訳 付属資料: CD-ROM(1枚 12cm) |
| 著者標目 | Barwise, Jon Etchemendy, John, 1952- 大沢, 秀介(1950-) <オオサワ, ヒデスケ> 白旗, 優(1961-) <シラハタ, マサル> 中川, 大(1961-) <ナカガワ, ハジメ> 中戸川, 孝治(1951-) <ナカトガワ, コウジ> 橋本, 康二(1962-) <ハシモト, コウジ> Allwein, Gerard, 1956- Barker-Plummer, Dave Liu, Albert |
| 件 名 | BSH:論理学 |
| 分 類 | NDC8:116 NDC9:116 |
| 書誌ID | 1001321015 |
| ISBN | 476641313X |
| NCID | BA78611017 |
| 巻冊次 | ISBN:476641313X ; PRICE:9800円 |
| 登録日 | 2009.09.18 |
| 更新日 | 2009.09.18 |