サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

10/1【HB】読みたい本がもらえるかも?!ほしい本登録キャンペーン(~10/31)

アウトレットポイント5倍キャンペーン 10/31

  1. hontoトップ
  2. 本の通販
  3. 自然科学・環境の通販
  4. 数学の通販
  5. 日本評論社の通販
  6. スマリヤン数理論理学講義 下巻 不完全性定理の先への通販

電子書籍化お知らせメール

商品が電子書籍化すると、メールでお知らせする機能です。
「メールを登録する」ボタンを押して登録完了です。
キャンセルをご希望の場合は、同じ場所から「メール登録を解除する」を押してください。

電子書籍化したら知らせてほしい

スマリヤン数理論理学講義 下巻 不完全性定理の先へ
スマリヤン数理論理学講義 下巻 不完全性定理の先へ スマリヤン数理論理学講義 下巻 不完全性定理の先へ
  • みんなの評価 5つ星のうち 5
  • あなたの評価 評価して"My本棚"に追加 評価ありがとうございます。×
  • カテゴリ:一般
  • 発売日:2018/09/20
  • 出版社: 日本評論社
  • サイズ:22cm/312p
  • 利用対象:一般
  • ISBN:978-4-535-78851-0
  • 国内送料無料
専門書

紙の本

スマリヤン数理論理学講義 下巻 不完全性定理の先へ新刊

著者 レイモンド・M.スマリヤン (著),田中 一之 (監訳),川辺 治之 (訳)

数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。下巻は、再帰的関数論、コンビネ...

もっと見る

スマリヤン数理論理学講義 下巻 不完全性定理の先へ

4,104(税込)

ワンステップ購入とは

ワンステップ購入とは、ボタンを1回押すだけでカートを通らずに電子書籍を購入できる機能です。

こんな方にオススメ

  • とにかくすぐ読みたい
  • 購入までの手間を省きたい
  • ポイント・クーポンはご利用いただけません。
  • 間違えて購入しても、完了ページもしくは購入履歴詳細から簡単にキャンセルができます。
  • 初めてのご利用でボタンを押すと会員登録(無料)をご案内します。購入する場合はクレジットカード登録までご案内します。

キャンセルについて詳しく見る

新刊お知らせメール登録

この著者の新着情報

一覧を見る

あわせて読みたい本

この商品に興味のある人は、こんな商品にも興味があります。

前へ戻る

  • 対象はありません

次に進む

このセットに含まれる商品

前へ戻る

  • 対象はありません

次に進む

商品説明

数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。下巻は、再帰的関数論、コンビネータ論理などを収録。解説も掲載。【「TRC MARC」の商品解説】

機知に富む多くの著作で知られるスマリヤンの最後の著作。下巻には再帰的関数論、コンビネータ論理など進んだ話題を収める。【商品解説】

目次

  • 第1部 命題論理と一階述語論理の進んだ話題
  •   第1章 命題論理の進んだ話題
  •   第2章 一階述語論理の進んだ話題
  • 第2部 再帰的関数論とメタ数学
  •   第3章 再帰的関数論、決定不能性、不完全性
  •   第4章 初等形式体系と再帰的枚挙可能性
  •   第5章 再帰的関数論

著者紹介

レイモンド・M.スマリヤン

略歴
〈レイモンド・M.スマリヤン〉1919〜2017年。ニューヨーク生まれ。プリンストン大学でPh.D.を取得。数学者。専門は数理論理学。著書に「パズルランドのアリス」「スマリヤンのゲーデル・パズル」など。

関連キーワード

この著者・アーティストの他の商品

前へ戻る

  • 対象はありません

次に進む

みんなのレビュー0件

みんなの評価5.0

評価内訳

  • 星 5 (0件)
  • 星 4 (0件)
  • 星 3 (0件)
  • 星 2 (0件)
  • 星 1 (0件)

数学 ランキング

数学のランキングをご紹介します一覧を見る

前へ戻る

次に進む