検索結果書誌詳細

蔵書情報

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

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

書誌情報

書名

北海道を安全に走るために 北海道版    

著者名 北海道警察本部交通部/監修
出版者 北海道交通安全協会(北海道交通安全活動推進センター)
出版年月 2023.4


この資料に対する操作

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

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

※この書誌は予約できません。   

この資料に対する操作

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


マイ本棚へ追加ログインメモ


資料情報

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

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0181140146KR681.3/ホ/書庫6郷土資料貸出禁止在庫   ×

関連資料

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

北海道警察本部交通部
2023
681.3 681.3
数学基礎論 証明(数学)

書誌詳細

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

タイトルコード 1008001795870
書誌種別 図書
書名 北海道を安全に走るために 北海道版    
書名ヨミ ホッカイドウ オ アンゼン ニ ハシル タメ ニ 
著者名 北海道警察本部交通部/監修
著者名ヨミ ホッカイドウ ケイサツ ホンブ コウツウブ
出版者 北海道交通安全協会(北海道交通安全活動推進センター)
出版年月 2023.4
ページ数 36p
大きさ 21cm
分類記号 681.3
分類記号 681.3
件名 交通安全
言語区分 日本語

(他の紹介)内容紹介 数学は学問のなかでもっとも確実なもの、疑えないものと考えられている。数学の確かさは、出発点となる命題、つまり「公理」から、「証明」によって新しいことを導き出すという推論のしくみによって保証される。しかし公理や証明それ自体の確からしさは、いかにして基礎づけられるのだろうか?カントールの創りだした集合論が実は矛盾含みであることをラッセルが明らかにすると、数学者たちはこの問題に目を向けざるをえなくなったのだった。公理とは、証明とは何か?本書はあらゆる数学の基礎となる公理系のしくみ、そして数学全体を見渡す理論である証明論の初歩を、具体例をもとに平易に解説した「数学の基礎」入門である。
(他の紹介)目次 第1章 公理(公理とは何か
ギリシアの数学
プラトン、アリストテレス、エウクレイデス ほか)
第2章 数学の基礎(数学の基礎
論理主義
直観主義 ほか)
第3章 証明論(形式的体系
無矛盾性の証明
結び)
(他の紹介)著者紹介 彌永 昌吉
 1906年生まれ。1929年東京帝国大学理学部数学科卒業。東京大学教授を経て同大学名誉教授。2006年没(本データはこの書籍が刊行された当時に掲載されていたものです)
赤 攝也
 1926年生まれ。1949年東京大学理学部数学科卒業。立教大学、東京教育大学、放送大学教授を歴任(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。