蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
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を使う |
|
|
|
|
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
ジョン・バーワイズ ジョン・エチメンディ 大沢 秀介 白旗 優 中川 大 中戸川 孝治 橋本 康二
うえをむいて名探偵
杉山 亮/作,中…
ミルキー杉山のあなたも名探偵ガイド…
杉山 亮/作,中…
おかげさまで名探偵
杉山 亮/作,中…
アメリカ憲法と民主政
大沢 秀介/編,…
あいがあれば名探偵
杉山 亮/作,中…
まちがいなく名探偵
杉山 亮/作,中…
こんどこそは名探偵
杉山 亮/作,中…
ゲーム学の新時代 : 遊戯の原理 …
中沢 新一/編著…
あいことばは名探偵
杉山 亮/作,中…
変容するテロリズムと法 : 各国に…
大沢 秀介/編著…
にちようびは名探偵
杉山 亮/作,中…
アメリカ憲法と公教育
大沢 秀介/編,…
現代ゲーム全史 : 文明の遊戯史観…
中川 大地/著
あらしをよぶ名探偵
杉山 亮/作,中…
判例憲法
大石 眞/編,大…
判例アシスト憲法
大沢 秀介/編,…
ふりかえれば名探偵
杉山 亮/作,中…
入門・安全と情報
大沢 秀介/監修…
とっておきの名探偵
杉山 亮/作,中…
アメリカ憲法判例の物語
大沢 秀介/編,…
規則の力 : ウィトゲンシュタイン…
ジャック・ブーヴ…
しあわせなら名探偵
杉山 亮/作,中…
社会の安全と法
大沢 秀介/編,…
サケ学大全
帰山 雅秀/編著…
理性・真理・歴史 : 内在的実在論…
ヒラリー・パトナ…
てんやわんや名探偵
杉山 亮/作,中…
判例憲法
大石 眞/編,大…
目で見る憲法
初宿 正典/編著…
司法による憲法価値の実現
大沢 秀介/著
トレジャ…どんぐりやまねこのなぞの巻
杉山 亮/作,中…
司法積極主義の神話 : アメリカ最…
カーミット・ルー…
せかいいちの名探偵
杉山 亮/作,中…
自由と安全 : 各国の理論と実務
大沢 秀介/編,…
ひるもよるも名探偵
杉山 亮/作,中…
よーいどんで名探偵
杉山 亮/作,中…
東アジアにおけるアメリカ憲法 : …
大沢 秀介/編著…
市民生活の自由と安全 : 各国のテ…
大沢 秀介/編,…
あめあがりの名探偵
杉山 亮/作,中…
かえってきた名探偵
杉山 亮/作,中…
都市アメニティの経済学 : 環境の…
青山 吉隆/著,…
前へ
次へ
前のページへ