山形県立図書館
図書館ホーム
資料検索
資料紹介
Myライブラリ
レファレンス
漢字
ひらがな
English
ログイン
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
ジャンル検索
1 件中、 1 件目
【図書】 四色問題
貸出可
一松 信/著 -- 講談社 -- 2016.5 -- 415.7415.7 415.7 , 415.7
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
棚区分
請求記号
資料コード
資料区分
帯出区分
状態
WEB書棚
山形県立
一般開架
/415.7/ヒト/
108919463
一般和書
帯出可
在庫
ページの先頭へ
資料詳細
タイトル
四色問題
副書名
どう解かれ何をもたらしたのか
叢書名
ブルーバックス
著者
一松 信
/著
出版者
講談社
出版年
2016.5
ページ数
265p
大きさ
18cm
一般件名
グラフ理論
,
証明(数学)
NDC分類(9版)
415.7
NDC分類(10版)
415.7
内容紹介
四色問題は本当に解けたといえるのか? 人工知能があらゆる数学の難問を解決する時代が来るのか? 四色問題の誕生から最終的解決にいたるまでの歴史を踏まえ、計算機に依存した現代の数学的証明の意義をあらためて考える。
ISBN
4-06-257969-8
ISBN13桁
978-4-06-257969-8
ページの先頭へ