感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて－インターネットで予約するには」をご覧ください。

蔵書情報

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

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

書誌情報サマリ

書名

スマリヤン数理論理学講義　上巻 　不完全性定理の理解のために

著者名 レイモンド・M.スマリヤン／著 田中一之／監訳 川辺治之／訳
出版者 日本評論社
出版年月 2017.9
請求記号 4109/00070/１

この資料に対する操作

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

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

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

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

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 鶴舞0237198700一般和書２階開架自然・工学在庫 

関連資料

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

書誌詳細

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

請求記号 4109/00070/１
書名 スマリヤン数理論理学講義　上巻 　不完全性定理の理解のために
著者名 レイモンド・M.スマリヤン／著 　 田中一之／監訳 　 川辺治之／訳
出版者 日本評論社
出版年月 2017.9
ページ数 3,363p
大きさ 22cm
ISBN 978-4-535-78772-8
原書名 原タイトル:A beginner's guide to mathematical logic
分類 41096
一般件名 記号論理学
書誌種別 一般和書
内容紹介 数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。上巻は、命題論理、一階述語論理などを収録。解説も掲載。
書誌・年譜・年表 文献:p352〜354
タイトルコード 1001710047053

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


内容細目表：

前のページへ
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。