このページのリンク

利用統計

  • このページへのアクセス:31回

  • 貸出数:13回
    (1年以内の貸出数:2回)

<図書>
スマリヤン記号論理学 : 一般化と記号化
スマリヤン キゴウ ロンリガク : イッパンカ ト キゴウカ

責任表示 Raymond Smullyan [著] ; 川辺治之訳
データ種別 図書
出版者 東京 : 丸善出版
出版年 2013.1
本文言語 日本語
大きさ vii, 150p ; 21cm
目次 第1部 一般化のすすめ(正直者と嘘つきの論理学
男性か女性か
沈黙する騎士と悪漢
マトモかイカれているか
二重の厄介さ
統一原理)
第2部 記号化のすすめ(命題論理入門
正直者と嘘つきの命題論理
日がわり嘘つき
論理結合子と日がわり嘘つき
タブロー法
「すべて」と「少なくとも一つ」
第1階述語論理入門)
続きを見る

所蔵情報


中央図 4A 032112013031581 410.96/Sm 8 2013

理系図3F 数理独自 033112012001590 SMUL/10/7 2013

書誌詳細

別書名 原タイトル:Logical labyrinths
異なりアクセスタイトル:記号論理学 : スマリヤン : 一般化と記号化
一般注記 監訳: 高橋昌一郎
原著 (New York : A.K. Peters, 2009) の前半 (part Iとpart II) の全訳
スマリヤンの著作: p145-146
著者標目 Smullyan, Raymond M., 1919-
川辺, 治之 <カワベ, ハルユキ>
高橋, 昌一郎(1959-) <タカハシ, ショウイチロウ>
件 名 NDLSH:記号論理学
分 類 NDC7:410.12
NDC8:410.96
書誌ID 1001499790
ISBN 9784621085721
NCID BB11573316
巻冊次 ISBN:9784621085721 ; PRICE:2400円+税
登録日 2013.02.26
更新日 2013.12.20

類似資料

この資料を見た人はこんな資料も見ています

この資料を借りた人はこんな資料も借りています