ようこそ!
文庫
新書・選書
文芸
教養
人文
教育
芸術
児童
趣味
生活
地図・ガイド
就職・資格
語学
小学学参
中学学参
高校学参
辞典
コミック
ゲーム攻略本
エンターテイメント
日記手帳
社会
法律
経済
経営
ビジネス
理学
工学
コンピュータ
医学
看護学
薬学
出版社名:日本評論社
出版年月:2017年9月
ISBN:978-4-535-78772-8
363P 22cm
スマリヤン数理論理学講義 上巻/不完全性定理の理解のために
レイモンド・M・スマリヤン/著 田中一之/監訳 川辺治之/訳
組合員価格 税込 4,180
(通常価格 税込 4,400円)
割引率 5%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
論理パズルの著書で知られるスマリヤンの集大成となる数理論理学の入門書。パズルも交えながらやさしく解説する。全2巻。
論理パズルの著書で知られるスマリヤンの集大成となる数理論理学の入門書。パズルも交えながらやさしく解説する。全2巻。
内容紹介・もくじなど
スマリヤン論理学の集大成・決定版。数学者レイモンド・M.スマリヤン(1919‐2017)。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学(数学基礎論)の入門書。得意のパズルも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。
もくじ情報:第1部 一般的な予備知識(数理論理学の起源;無限集合;問題発生!;数学の基礎知識);第2部 命題論理(命題論理事始め;命題論理のタブロー;公理論的命題論理);第3部 一階述語論理(一階述語論理事始め;重要な結果);第4部 体系の不完全性(一般的状況での不完全性;一階算術;形式体系;ペアノ算術;進んだ話題)
スマリヤン論理学の集大成・決定版。数学者レイモンド・M.スマリヤン(1919‐2017)。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学(数学基礎論)の入門書。得意のパズルも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。
もくじ情報:第1部 一般的な予備知識(数理論理学の起源;無限集合;問題発生!;数学の基礎知識);第2部 命題論理(命題論理事始め;命題論理のタブロー;公理論的命題論理);第3部 一階述語論理(一階述語論理事始め;重要な結果);第4部 体系の不完全性(一般的状況での不完全性;一階算術;形式体系;ペアノ算術;進んだ話題)
著者プロフィール
スマリヤン,レイモンド・M.(スマリヤン,レイモンドM.)
1919年、ニューヨーク生まれ。1959年、プリンストン大学にてPh.D.を取得。数学者、専門は数理論理学。パズルの書籍を多数執筆。ピアニスト、奇術師としての顔も持つ。2017年、97歳で逝去
スマリヤン,レイモンド・M.(スマリヤン,レイモンドM.)
1919年、ニューヨーク生まれ。1959年、プリンストン大学にてPh.D.を取得。数学者、専門は数理論理学。パズルの書籍を多数執筆。ピアニスト、奇術師としての顔も持つ。2017年、97歳で逝去