蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
資料の状態
各蔵書資料に関する詳細情報です。
No. |
資料番号 |
資料種別 |
請求記号 |
配架場所 |
状態 |
貸出
|
1 |
0011736857 | 図書一般 | 410.96/スマ13/ | 2F自然 | 貸出可 |
○ |
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌詳細
この資料の書誌詳細情報です。
書誌種別 |
図書 |
タイトル |
スマリヤン記号論理学 |
サブタイトル |
一般化と記号化 |
タイトルヨミ |
スマリヤン キゴウ ロンリガク |
サブタイトルヨミ |
イッパンカ ト キゴウカ |
人名 |
Raymond Smullyan/[著]
高橋 昌一郎/監訳
川辺 治之/訳
|
人名ヨミ |
Raymond Smullyan タカハシ ショウイチロウ カワベ ハルユキ |
出版者・発行者 |
丸善出版
|
出版者・発行者等ヨミ |
マルゼン シュッパン |
出版地・発行地 |
東京 |
出版・発行年月 |
2013.1 |
ページ数または枚数・巻数 |
7,150p |
大きさ |
21cm |
価格 |
¥2400 |
ISBN |
978-4-621-08572-1 |
ISBN |
4-621-08572-1 |
注記 |
原タイトル:Logical labyrinths |
分類記号 |
410.96
|
件名 |
記号論理学
|
内容紹介 |
入門的な論理パズルから専門的な論理学に至る“架け橋”として執筆された、スマリヤンの「ロジカル・ラビリンス」第Ⅰ部および第Ⅱ部の翻訳書。記号論理学の大学院レベルの学期コースに相当する知識が身につく。 |
言語区分 |
JPN |
タイトルコード |
1009811638523 |
目次 |
第Ⅰ部 一般化のすすめ |
|
第1章 正直者と噓つきの論理学/第2章 男性か女性か/第3章 沈黙する騎士と悪漢/第4章 マトモかイカれているか/第5章 二重の厄介さ/第6章 統一原理 |
|
第Ⅱ部 記号化のすすめ |
|
第7章 命題論理入門/第8章 正直者と噓つきの命題論理/第9章 日がわり噓つき/第10章 論理結合子と日がわり噓つき/第11章 タブロー法/第12章 「すべて」と「少なくとも一つ」/第13章 1階述語論理入門 |
目次
内容細目
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
Raymond Smullyan 高橋 昌一郎 川辺 治之
もどる