検索結果書誌詳細

和書
ログインすると表紙画像を
ご覧になれます
レファレンス情報は0件です

蔵書情報

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

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

書誌情報サマリ

書名

公理と証明　　証明論への招待　　　ちくま学芸文庫　イ37-2　　

著者名 彌永 昌吉／著 　 赤 攝也／著
著者名ヨミ イヤナガ ショウキチ　セキ セツヤ
出版者 筑摩書房
出版年月 2012.9

書誌詳細

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

タイトル番号 1002000253640
書誌種別 和書
書名 公理と証明　　証明論への招待　　　ちくま学芸文庫　イ37-2　　
副書名 証明論への招待
著者名 彌永 昌吉／著 赤 攝也／著
書名ヨミ コウリ ト ショウメイ　ショウメイロン エノ ショウタイ　チクマ ガクゲイ ブンコ　
著者名ヨミ イヤナガ ショウキチ
叢書名 ちくま学芸文庫
叢書巻次 イ37-2
出版者 筑摩書房
出版地 東京
出版年月 2012.9
ページ数 184p
大きさ 15cm
価格 ￥１０００
言語区分 日本語
ISBN 4-480-09481-0
ISBN13 978-4-480-09481-0
分類 410.9
件名 数学基礎論　証明(数学)
内容紹介 公理とは、証明とは何か? あらゆる数学の基礎となる公理系のしくみ、そして数学全体を見渡す理論である証明論の初歩を、具体例をもとに平易に解説する。



内容細目

この資料に対する操作

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

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

この資料に対する操作

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

資料情報

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

No. 資料番号 所蔵館 請求番号 配架場所 資料種別 帯出区分 状態 貸出
1 0022415814県立図書館080/ﾁｸ/書庫１一般和書貸可資料　在庫　　　  ○

マイ本棚へ追加ログインするとマイ本棚を利用できます。

関連資料

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

410.9　410.9
数学基礎論　証明(数学)
【証明の読み方・考え方　：　数学的思…】 証明の読み方・考え方　：　数学的思…
Daniel S… 【証明作法　：　論理の初歩から証明の…】 証明作法　：　論理の初歩から証明の…
石原 哉／著 【数学基礎論】 数学基礎論
新井 敏康／著 【数学にとって証明とはなにか　：　ピ…】 数学にとって証明とはなにか　：　ピ…
瀬山 士郎／著 【数論・論理・意味論その原型と展開　…】 数論・論理・意味論その原型と展開　…
野本 和幸／著 【逆数学　：　定理から公理を「証明」…】 逆数学　：　定理から公理を「証明」…
ジョン・スティル… 【Coq/SSReflect/Mat…】 Coq/SSReflect/Mat…
萩原 学／共著,… 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【数学基礎論】 数学基礎論
前原 昭二／著,… 【四色問題　：　どう解かれ何をもたら…】 四色問題　：　どう解かれ何をもたら…
一松 信／著 【数学における証明と真理　：　様相論…】 数学における証明と真理　：　様相論…
菊池 誠／編,佐… 【なっとくする数学の証明】 なっとくする数学の証明
瀬山 士郎／著 【集合・写像・論理　：　数学の基本を…】 集合・写像・論理　：　数学の基本を…
中島 匠一／著 【数学基礎論】 数学基礎論
新井 敏康／著 【不可能、不確定、不完全　：　「でき…】 不可能、不確定、不完全　：　「でき…
ジェイムズ・D.… 【不可能を証明する　：　現代数学の挑…】 不可能を証明する　：　現代数学の挑…
瀬山 士郎／著 【ゲーデルと20世紀の論理学(ロジ…4】 ゲーデルと20世紀の論理学(ロジ…4
田中 一之／編 【論理と計算のしくみ】 論理と計算のしくみ
萩谷 昌己／著,… 【ゲーデルと20世紀の論理学(ロジ…3】 ゲーデルと20世紀の論理学(ロジ…3
田中 一之／編 【ゲーデルと20世紀の論理学(ロジ…2】 ゲーデルと20世紀の論理学(ロジ…2
田中 一之／編 【不完全性定理】 不完全性定理
ゲーデル／[著]… 【ゲーデルと20世紀の論理学(ロジ…1】 ゲーデルと20世紀の論理学(ロジ…1
田中 一之／編 【Q.E.D.　：　証明が生みだす美…】 Q.E.D.　：　証明が生みだす美…
バーカード・ポル… 【証明の楽しみ　：　数学を使い…応用編】 証明の楽しみ　：　数学を使い…応用編
ゲアリー・チャー… 【証明の楽しみ　：　数学を使い…基礎編】 証明の楽しみ　：　数学を使い…基礎編
ゲアリー・チャー…
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。