商品詳細 | Knowledge Worker

丸善のおすすめ度

スマリヤン記号論理学～一般化と記号化～

川辺　治之　翻訳
高橋　昌一郎　監修

在庫状況お取り寄せ	お届け予定日 10日間	数量冊
価格 \2,640（税込）

発行年月	2013年01月
出版社／提供元	丸善出版
言語	日本語
媒体	冊子
ページ数／巻数	7p,150p
大きさ	21cm
ジャンル	和書／理工学／数学／数学一般・その他
ISBN	9784621085721
商品コード	1012208962
NDC分類	410.96
基本件名	記号論理学
本の性格	テキスト
新刊案内掲載月	2013年03月1週
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1012208962

内容

入門的な論理パズルから専門的な論理学に至る“架け橋”として執筆された、スマリヤンの「ロジカル・ラビリンス」第Ⅰ部および第Ⅱ部の翻訳書。記号論理学の大学院レベルの学期コースに相当する知識が身につく。

第1部一般化のすすめ(正直者と嘘つきの論理学男性か女性か沈黙する騎士と悪漢マトモかイカれているか二重の厄介さ統一原理) 第2部記号化のすすめ(命題論理入門正直者と嘘つきの命題論理日がわり嘘つき論理結合子と日がわり嘘つきタブロー法「すべて」と「少なくとも一つ」第1階述語論理入門)

カート

カートに商品は入っていません。