記号論理学 一般化と記号化
- 著者: レイモンド スマリヤン 監訳: 高橋昌一郎
- 書籍
- 出版社:丸善出版
- 発売日: 2013年1月
- Information
- 特典に関するお知らせとご注意
- 中古・ユーズドに関するご注意
【著者プロフィール】(「BOOK著者紹介情報」より) 高橋 昌一郎(タカハシ ショウイチロウ) ウエスタンミシガン大学数学科および哲学科卒業後、ミシガン大学大学院哲学研究科修士課程修了。現在は國學院大學教授。専門は論理学・哲学 川辺 治之(カワベ ハルユキ) 東京大学理学部数学科卒業。現在、日本ユニシス株式会社上席研究員。入社以来、主にプログラミング言語およびミドルウェアの企画・設計・開発に従事(本データはこの書籍が刊行された当時に掲載されていたものです) |
この商品の説明
著者/アーティスト
著者: レイモンド スマリヤン 、 監訳: 高橋昌一郎 、 訳者: 川辺治之
目次
第1部 一般化のすすめ(正直者と嘘つきの論理学;男性か女性か;沈黙する騎士と悪漢;マトモかイカれているか;二重の厄介さ;統一原理);第2部 記号化のすすめ(命題論理入門;正直者と嘘つきの命題論理;日がわり嘘つき;論理結合子と日がわり嘘つき;タブロー法;「すべて」と「少なくとも一つ」;第1階述語論理入門)
商品仕様
- アイテム名:書籍
- ページ数:150p
- 大きさ:21cm(A5)
- 出版社:丸善出版
- ISBN-10:4621085727
- ISBN-13:9784621085721
【お届けの際のご注意】
▼発送時期について
BOOK予約商品のお届けにつきましては直送・店舗受取りにかかわらず、弊社倉庫に届き次第、発送手配を行います。
また、原則として、発売日に弊社の倉庫に到着するため一般の書店よりも数日お届けが遅れる場合がございます。
なお、書籍と書籍以外の商品(DVD、CD、ゲーム、GOODSなど)を併せてご購入の場合、商品のお届けに時間がかかる場合があります。あらかじめご了承ください。
▼本・コミックの価格表示について
本サイト上で表示されている商品の価格(以下「表示価格」といいます)は、本サイト上で当該商品の表示を開始した時点の価格となります。
この価格は、売買契約成立時までに変動する可能性があります。
利用者が実際に商品を購入するために支払う金額は、ご利用されるサービスに応じて異なりますので、
詳しくはオンラインショッピングサービス利用規約をご確認ください。
なお、価格変動による補填、値引き等は一切行っておりません。
■オンラインショッピングサービス利用規約
(1) 宅配サービス:第2章【宅配サービス】第6条において定めます。
(2) TOLピックアップサービス:第3章【TOLピックアップサービス】第12条において定めます。
【サイト表記の書籍カバーについて】
書籍のカバーは、期間限定で変更する場合がございます。
そのためサイト上で表記されたものとお届けした作品のカバーが異なる場合がございます。
カバー違いによる交換は行っておりません。