資料詳細

一松 信 著 -- 講談社 -- 2016.5 -- 415.7

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

資料コード 請求記号 所蔵館 所蔵場所 資料区分 状態
106447238 X/415.7/17/ 県立図書館 文庫新書 和書
状態の表記について
   在:「所蔵場所」にあります。
   貸出中:館外へ貸出中です。

   館内閲覧:館内でご利用ください。館外貸出はできません。
   図書館用:館内でご利用ください。図書館(団体)向けに貸し出す資料です。

タイトル 四色問題
副書名 どう解かれ何をもたらしたのか
叢書名 ブルーバックス
著者 一松 信 著  
出版者 東京  講談社
出版年 2016.5
ページ数 265p
大きさ 18cm
一般注記 1978年刊の改訂
一般件名 グラフ理論 , 証明(数学)
NDC分類 415.7
内容紹介 四色問題は本当に解けたといえるのか? 人工知能があらゆる数学の難問を解決する時代が来るのか? 四色問題の誕生から最終的解決にいたるまでの歴史を踏まえ、計算機に依存した現代の数学的証明の意義をあらためて考える。
ISBN 4-06-257969-8
ISBN13桁 978-4-06-257969-8
定価 ¥980
本体価格 ¥980