検索結果資料の内容

図書
ログインすると表紙画像を
ご覧になれます
ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索

この資料の情報へのリンク：

蔵書情報

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

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

資料の状態

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

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0014103329図書一般410.96/ｽﾏ17/12F自然貸出可  ○

この資料に対する操作

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

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

この資料に対する操作

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

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

書誌情報サマリ

タイトル

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

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

書誌詳細

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

書誌種別 図書
タイトル スマリヤン数理論理学講義　上巻　
サブタイトル 不完全性定理の理解のために
タイトルヨミ スマリヤン スウリ ロンリガク コウギ
サブタイトルヨミ フカンゼンセイ テイリ ノ リカイ ノ タメ ニ
人名 レイモンド・M.スマリヤン／著 　 田中 一之／監訳 　 川辺 治之／訳
人名ヨミ レイモンド M スマリヤン　タナカ カズユキ　カワベ ハルユキ
出版者・発行者 日本評論社
出版者・発行者等ヨミ ニホン ヒョウロンシャ
出版地・発行地 東京
出版・発行年月 2017.9
ページ数または枚数・巻数 3,363p
大きさ 22cm
価格 ￥４０００
ISBN 978-4-535-78772-8
ISBN 4-535-78772-8
注記 原タイトル:A beginner's guide to mathematical logic
注記 文献:p352〜354
分類記号 410.96
件名 記号論理学
内容紹介 数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。上巻は、命題論理、一階述語論理などを収録。解説も掲載。
著者紹介 1919〜2017年。ニューヨーク生まれ。プリンストン大学でPh.D.を取得。数学者。専門は数理論理学。著書に「パズルランドのアリス」「スマリヤンのゲーデル・パズル」など。
言語区分 JPN
タイトルコード 1009812151834



目次


内容細目

関連資料

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

レイモンド・M.スマリヤン　田中 一之　川辺 治之
【活躍する圏論　：　具体例からのアプ…】 活躍する圏論　：　具体例からのアプ…
Brendan … 【K理論】 K理論
M.F.アティヤ… 【ボロバシュ数学の技法　：　メンフィ…】 ボロバシュ数学の技法　：　メンフィ…
B.ボロバシュ／… 【みんなの圏論　：　演習中心アプロー…】 みんなの圏論　：　演習中心アプロー…
David I.… 【数学そぞろ歩き　：　学者だけに任せ…】 数学そぞろ歩き　：　学者だけに任せ…
Brian Ha… 【スマリヤン不完全性定理】 スマリヤン不完全性定理
Raymond … 【山の上のロジック学園　：　不完全性…】 山の上のロジック学園　：　不完全性…
田中 一之／著,… 【数学基礎論序説　：　数の体系への論…】 数学基礎論序説　：　数の体系への論…
田中 一之／著 【逆数学　：　定理から公理を「証明」…】 逆数学　：　定理から公理を「証明」…
ジョン・スティル… 【組合せ数学】 組合せ数学
ロビン・ウィルソ… 【ディック・ヘスの圧倒的パズルワール…】 ディック・ヘスの圧倒的パズルワール…
Dick Hes… 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【圏論による量子計算のモデルと論理】 圏論による量子計算のモデルと論理
Chris He… 【無限】 無限
イアン・スチュア… 【哲学の奇妙な書棚　：　パズル,パラ…】 哲学の奇妙な書棚　：　パズル,パラ…
Roy Sore… 【対称性　：　不変性の表現】 対称性　：　不変性の表現
Ian Stew… 【量子プログラミングの基礎】 量子プログラミングの基礎
Mingshen… 【100人の囚人と1個の電球　：　知…】 100人の囚人と1個の電球　：　知…
ハンス・ファン・… 【Aha!ひらめきの幾何学　：　アル…】 Aha!ひらめきの幾何学　：　アル…
Tom M.Ap… 【ENIAC　：　現代計算技術のフロ…】 ENIAC　：　現代計算技術のフロ…
Thomas H… 【ひとけたの数に魅せられて】 ひとけたの数に魅せられて
マーク・チャンバ… 【ロジックの世界　：　論理学の哲人た…】 ロジックの世界　：　論理学の哲人た…
ダン・クライアン… 【迷路の中のウシ　：　数学探検コレク…】 迷路の中のウシ　：　数学探検コレク…
イアン・スチュア… 【スマリヤンのゲーデル・パズル　：　…】 スマリヤンのゲーデル・パズル　：　…
レイモンド・M.… 【箱詰めパズルポリオミノの宇宙】 箱詰めパズルポリオミノの宇宙
ソロモン・ゴロム…
410.96　410.96
【記号論理学】 記号論理学
山本 新／著,入… 【ろんりの相談室　：　大学1年生の真…】 ろんりの相談室　：　大学1年生の真…
鈴木 登志雄／著 【まるさんかく論理学　：　数学的セン…】 まるさんかく論理学　：　数学的セン…
野崎 昭弘／著 【論理学への数学的手引き】 論理学への数学的手引き
Herbert … 【幾何的モデル理論入門】 幾何的モデル理論入門
板井 昌典／著 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【「ならば」騒乱】 「ならば」騒乱
本橋 信義／著 【情報理論のための数理論理学】 情報理論のための数理論理学
板井 昌典／著 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【新・論理考究　：　論理がはじめてわ…】 新・論理考究　：　論理がはじめてわ…
本橋 信義／著 【コンピュータは数学者になれるのか?…】 コンピュータは数学者になれるのか?…
照井 一成／著 【ピジョンの誘惑　：　論理力を鍛える…】 ピジョンの誘惑　：　論理力を鍛える…
根上 生也／著 【スマリヤン数理論理学　：　述語論理…】 スマリヤン数理論理学　：　述語論理…
Raymond … 【数理論理学　：　合理的エージェント…】 数理論理学　：　合理的エージェント…
加藤 暢／共著,… 【今度こそわかる論理　：　数理論理学…】 今度こそわかる論理　：　数理論理学…
本橋 信義／著 【学んでみよう!記号論理】 学んでみよう!記号論理
高崎 金久／著 【記号論理学講義　：　基礎理論 束論…】 記号論理学講義　：　基礎理論 束論…
清水 義夫／著 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【数学的推論が世界を変える　：　金融…】 数学的推論が世界を変える　：　金融…
小島 寛之／著 【フレーゲ哲学の全貌　：　論理主義と…】 フレーゲ哲学の全貌　：　論理主義と…
野本 和幸／著 【数理論理学】 数理論理学
戸次 大介／著 【数理論理学の基礎・基本】 数理論理学の基礎・基本
坪井 明人／著 【数理論理学序説】 数理論理学序説
前原 昭二／著
記号論理学
【記号論理学】 記号論理学
山本 新／著,入… 【ろんりの相談室　：　大学1年生の真…】 ろんりの相談室　：　大学1年生の真…
鈴木 登志雄／著 【まるさんかく論理学　：　数学的セン…】 まるさんかく論理学　：　数学的セン…
野崎 昭弘／著 【論理学への数学的手引き】 論理学への数学的手引き
Herbert … 【山の上のロジック学園　：　不完全性…】 山の上のロジック学園　：　不完全性…
田中 一之／著,… 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【論理と分析　：　文系のための記号論…】 論理と分析　：　文系のための記号論…
金子 裕介／著 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【「ならば」騒乱】 「ならば」騒乱
本橋 信義／著 【「論理」を分析する】 「論理」を分析する
八木沢 敬／著 【記号論】 記号論
吉田 夏彦／著 【情報理論のための数理論理学】 情報理論のための数理論理学
板井 昌典／著 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【新・論理考究　：　論理がはじめてわ…】 新・論理考究　：　論理がはじめてわ…
本橋 信義／著 【コンピュータは数学者になれるのか?…】 コンピュータは数学者になれるのか?…
照井 一成／著 【ピジョンの誘惑　：　論理力を鍛える…】 ピジョンの誘惑　：　論理力を鍛える…
根上 生也／著 【スマリヤン数理論理学　：　述語論理…】 スマリヤン数理論理学　：　述語論理…
Raymond … 【数理論理学　：　合理的エージェント…】 数理論理学　：　合理的エージェント…
加藤 暢／共著,… 【今度こそわかる論理　：　数理論理学…】 今度こそわかる論理　：　数理論理学…
本橋 信義／著 【学んでみよう!記号論理】 学んでみよう!記号論理
高崎 金久／著 【論理と集合のはなし　：　正しい思考…】 論理と集合のはなし　：　正しい思考…
大村 平／著 【記号論理学講義　：　基礎理論 束論…】 記号論理学講義　：　基礎理論 束論…
清水 義夫／著 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【数学的推論が世界を変える　：　金融…】 数学的推論が世界を変える　：　金融…
小島 寛之／著
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。