検索結果書誌詳細

蔵書情報

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

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

書誌情報

書名

JITAN CLASSIC     

著者名 TSUKEMEN/演
出版者 キングレコード
出版年月 2020.5


この資料に対する操作

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

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

  

この資料に対する操作

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


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


資料情報

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

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 清田5540156527DM46/ツ/図書室29視CD一般貸出在庫  

関連資料

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

2020
M46 M46
数学基礎論 証明(数学)

書誌詳細

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

タイトルコード 3008000144260
書誌種別 視聴覚CD
書名 JITAN CLASSIC     
書名ヨミ ジタン クラシック 
著者名 TSUKEMEN/演
著者名ヨミ ツケメン
出版者 キングレコード
出版年月 2020.5
ページ数 1枚
大きさ 12cm
分類記号 M46
分類記号 M46
内容紹介 TSUKEMEN(TAIRIK/ヴァイオリン・ビオラ、SUGURU/ピアノ、KENTA/ヴァイオリン)/演   1.運命    2.新世界   3.ツィゴイネルワイゼン   4.トルコ天国地獄行進曲   5.ラ・ラ・カノン   6.The Nights   7.Starlight Ocean   8.5 Red Chateau   9.小さな奇跡   10.All For One   11.DANCE!ベートーヴェン・シンフォニー ※SpecialTrack
言語区分 日本語

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


内容細目表

1 運命
ルートヴィヒ・ヴァン・ベートーヴェン/作曲 長生 淳/編曲 TSUKEMEN/演
2 新世界
アントニーン・ドヴォルザーク/作曲 長生 淳/編曲 TSUKEMEN/演
3 ツィゴイネルワイゼン
パブロ・デ・サラサーテ/作曲 長生 淳/編曲 TSUKEMEN/演
4 トルコ天国地獄行進曲
ヴォルフガング・アマデウス・モーツァルト/作曲 ジャック・オッフェンバック/作曲 阿久津 健太郎/編曲 TSUKEMEN/演
5 ラ・ラ・カノン
ヨハン・パッヘルベル/作曲 ジャスティン・ハーウィッツ/作曲 山崎 燿/編曲 TSUKEMEN/演
6 The Nights
ニコラス・ファーロング/作曲 ジョーダン・スーコフ/作曲 阿久津 健太郎/編曲 TSUKEMEN/演
7 Starlight Ocean
SUGURU/作曲 阿久津 健太郎/編曲 TSUKEMEN/演
8 5 Red Chateau
KENTA/作曲 阿久津 健太郎/編曲 TSUKEMEN/演
9 小さな奇跡
TAIRIK/作曲 阿久津 健太郎/編曲 TSUKEMEN/演
10 All For One
TAIRIK/作曲 阿久津 健太郎/編曲 TSUKEMEN/演
11 ※Special Track
12 DANCE!ベートーヴェン・シンフォニー
ルートヴィヒ・ヴァン・ベートーヴェン/作曲 山崎 燿/編曲 TSUKEMEN/演
前のページへ

本文はここまでです。


ページの終わりです。