ようこそ!
マイページ
ご利用ガイド
組合員情報の変更
メールアドレスの変更
ログイン
サイトトップ
e
フレンズトップ
すべて
本
雑誌
CD
DVD・Blu-ray
クリア
本 こだわり検索
書名
著者名
商品説明
出版社名
出版年月
―
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
年
―
1
2
3
4
5
6
7
8
9
10
11
12
月
以前
のみ
以降
ジャンル
選択してください
文庫
新書・選書
文芸
教養
人文
教育
芸術
児童
趣味
生活
地図・ガイド
就職・資格
語学
小学学参
中学学参
高校学参
辞典
コミック
ゲーム攻略本
エンターテイメント
日記手帳
社会
法律
経済
経営
ビジネス
理学
工学
コンピュータ
医学
看護学
薬学
ISBNコード
予約商品を表示しない
検索
クリア
本 >
理学
>
数学
>
数学一般
出版社名:日本評論社
出版年月:2017年9月
ISBN:978-4-535-78772-8
363P 22cm
スマリヤン数理論理学講義 上巻/不完全性定理の理解のために
レイモンド・M・スマリヤン/著 田中一之/監訳 川辺治之/訳
組合員価格 税込
3,960
円
(通常価格 税込 4,400円)
割引率 10%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
論理パズルの著書で知られるスマリヤンの集大成となる数理論理学の入門書。パズルも交えながらやさしく解説する。全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歳で逝去
同じ著者名で検索した本
スマリヤン数理論理学講義 下巻/不完全性定理の先へ
レイモンド・M・スマリヤン/著 田中一之/監訳 川辺治之/訳
タオは笑っている 愉快な公案集
レイモンド・M.スマリヤン/著 桜内篤子/訳
スマリヤンのゲーデル・パズル 論理パズルから不完全性定理へ
レイモンド・M・スマリヤン/著 川辺治之/訳
スマリヤンの決定不能の論理パズル ゲーデルの定理と様相理論
レイモンド・スマリヤン/著 田中朋之/訳 長尾確/訳
スマリヤンの究極の論理パズル 数の不思議からゲーデルの定理へ
レイモンド・スマリヤン/著 長尾確/訳 長尾加寿恵/訳
スマリヤンの無限の論理パズル ゲーデルとカントールをめぐる難問奇問
レイモンド・スマリヤン/著 長尾確/訳
もくじ情報:第1部 一般的な予備知識(数理論理学の起源;無限集合;問題発生!;数学の基礎知識);第2部 命題論理(命題論理事始め;命題論理のタブロー;公理論的命題論理);第3部 一階述語論理(一階述語論理事始め;重要な結果);第4部 体系の不完全性(一般的状況での不完全性;一階算術;形式体系;ペアノ算術;進んだ話題)
もくじ情報:第1部 一般的な予備知識(数理論理学の起源;無限集合;問題発生!;数学の基礎知識);第2部 命題論理(命題論理事始め;命題論理のタブロー;公理論的命題論理);第3部 一階述語論理(一階述語論理事始め;重要な結果);第4部 体系の不完全性(一般的状況での不完全性;一階算術;形式体系;ペアノ算術;進んだ話題)
1919年、ニューヨーク生まれ。1959年、プリンストン大学にてPh.D.を取得。数学者、専門は数理論理学。パズルの書籍を多数執筆。ピアニスト、奇術師としての顔も持つ。2017年、97歳で逝去
1919年、ニューヨーク生まれ。1959年、プリンストン大学にてPh.D.を取得。数学者、専門は数理論理学。パズルの書籍を多数執筆。ピアニスト、奇術師としての顔も持つ。2017年、97歳で逝去