検索結果書誌詳細

  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

スマリヤン数理論理学講義 上巻

著者名 レイモンド・M.スマリヤン/著
著者名ヨミ レイモンド M スマリヤン
出版者 日本評論社
出版年月 2017.9


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


登録するリストログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 資料番号 請求記号 帯出区分 状態 配架場所 貸出
1 0107154817410.9/スマ/1貸閲複可在庫 2階一般

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2017
記号論理学

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1009951657805
書誌種別 和図書(一般)
著者名 レイモンド・M.スマリヤン/著   田中 一之/監訳   川辺 治之/訳
著者名ヨミ レイモンド M スマリヤン タナカ カズユキ カワベ ハルユキ
出版者 日本評論社
出版年月 2017.9
ページ数 3,363p
大きさ 22cm
ISBN 4-535-78772-8
分類記号 410.96
分類記号 410.96
書名 スマリヤン数理論理学講義 上巻
書名ヨミ スマリヤン スウリ ロンリガク コウギ
内容紹介 数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。上巻は、命題論理、一階述語論理などを収録。解説も掲載。
著者紹介 1919〜2017年。ニューヨーク生まれ。プリンストン大学でPh.D.を取得。数学者。専門は数理論理学。著書に「パズルランドのアリス」「スマリヤンのゲーデル・パズル」など。
不完全性定理の理解のために

(他の紹介)内容紹介 スマリヤン論理学の集大成・決定版。数学者レイモンド・M.スマリヤン(1919‐2017)。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学(数学基礎論)の入門書。得意のパズルも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。
(他の紹介)目次 第1部 一般的な予備知識(数理論理学の起源
無限集合
問題発生!
数学の基礎知識)
第2部 命題論理(命題論理事始め
命題論理のタブロー
公理論的命題論理)
第3部 一階述語論理(一階述語論理事始め
重要な結果)
第4部 体系の不完全性(一般的状況での不完全性
一階算術
形式体系
ペアノ算術
進んだ話題)
(他の紹介)著者紹介 スマリヤン,レイモンド・M.
 1919年、ニューヨーク生まれ。1959年、プリンストン大学にてPh.D.を取得。数学者、専門は数理論理学。パズルの書籍を多数執筆。ピアニスト、奇術師としての顔も持つ。2017年、97歳で逝去(本データはこの書籍が刊行された当時に掲載されていたものです)
田中 一之
 1955年生まれ。カリフォルニア大学バークレー校でPh.D.を取得。現在、東北大学大学院理学研究科数学専攻教授。専門は数学基礎論(本データはこの書籍が刊行された当時に掲載されていたものです)
川辺 治之
 1985年、東京大学理学部数学科卒業。現在、日本ユニシス株式会社上席研究員(本データはこの書籍が刊行された当時に掲載されていたものです)


目次


内容細目

前のページへ

本文はここまでです。


ページの終わりです。