検索結果書誌詳細

  • 書誌の詳細です。 現在、予約は 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

論理学の基礎と演習 

著者名 ジョン・バーワイズ/著
著者名ヨミ ジョン バーワイズ
出版者 慶應義塾大学出版会
出版年月 2006.9


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


登録するリストログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 配架場所 請求記号 資料番号 資料種別 状態 個人貸出 在庫
1 西部図書館一般開架116/4/1102040233一般在庫 

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1000000172767
書誌種別 図書
書名 論理学の基礎と演習 
書名ヨミ ロンリガク ノ キソ ト エンシュウ
言語区分 日本語
著者名 ジョン・バーワイズ/著   ジョン・エチメンディ/著   大沢 秀介/訳   白旗 優/訳   中川 大/訳   中戸川 孝治/訳   橋本 康二/訳
著者名ヨミ ジョン バーワイズ ジョン エチメンディ オオサワ ヒデスケ シラハタ マサル ナカガワ ハジメ ナカトガワ コウジ ハシモト コウジ
著者名原綴 Barwise Jon Etchemendy John
出版地 東京
出版者 慶應義塾大学出版会
出版年月 2006.9
本体価格 ¥9800
ISBN 4-7664-1313-X
数量 13,748p
大きさ 23cm
分類記号 116
件名 論理学
資料種別 複合媒体資料
付属資料 CD-ROM(1枚 12cm)
注記 原タイトル:Language,proof and logic 原著改訂版の翻訳
内容紹介 スタンフォード大学CSLIで執筆された論理学テキストの名著。初歩の命題論理から限量子、ゲーデルの不完全性定理に至るまでを丁寧に解説する。付属CD-ROM収録のソフトを使った練習問題も豊富に収録。
著者紹介 論理学の世界的権威。スタンフォード大学言語情報センターの初代所長を務めた。2000年逝去。



内容細目

No. 内容タイトル 内容著者1 内容著者2 内容著者3 内容著者4
1 第Ⅰ部 命題論理
2 第1章 原子文
3 第2章 原子文の論理
4 第3章 ブール結合子
5 第4章 ブール結合子の論理
6 第5章 ブール論理の証明方法
7 第6章 形式的証明とブール論理
8 第7章 条件文
9 第8章 条件文の論理
10 第Ⅱ部 限量子
11 第9章 限量入門
12 第10章 限量子の論理
13 第11章 複数の限量子
14 第12章 限量子についての証明の方法
15 第13章 形式的証明と限量子
16 第14章 限量子についての補足(オプション)
17 第Ⅲ部 応用とメタ理論
18 第15章 一階集合論
19 第16章 数学的帰納法
20 第17章 命題論理の更に進んだ話題
21 第18章 FOLの更に進んだ話題
22 第19章 完全性と不完全性
23 形式的証明規則の要約
24 用語解説
25 LPL ソフトウェア・マニュアル
26 1 はじめに
27 2 Submitを使う
28 3 Tarski's Worldを使う
29 4 Fitchを使う
30 5 Booleを使う

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

ジョン・バーワイズ ジョン・エチメンディ 大沢 秀介 白旗 優 中川 大 中戸川 孝治 橋本 康二
2006
116
論理学
前のページへ

本文はここまでです。


ページの終わりです。