資料詳細

コンピュータは数学者になれるのか？貸出可

照井一成／著 -- 青土社 -- ２０１５．３ -- 410.9

所蔵

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
久喜	貸閲公開	/410.9/ｺﾝ/	102876232	一般和書	帯出可	在館中

※外部書庫の資料につきましては取り寄せとなるため、お時間がかかります。
※帯出区分が「禁帯出」、「禁帯保存」の資料については取り寄せできるものもあります。所蔵館にお問い合わせください。

館名	所蔵数	貸出中数	貸出可能数
久喜	1	0	1

タイトル	コンピュータは数学者になれるのか？
書名カナ	コンピュータ　ワ　スウガクシャ　ニ　ナレルノカ
副書名	数学基礎論から証明とプログラムの理論へ
副書名カナ	スウガク　キソ　ロン　カラ　ショウメイ　ト　プログラム　ノ　リロン　エ
著者	照井一成／著
著者カナ	テルイ，カズシゲ
出版者	青土社
出版年	２０１５．３
ページ数	３５７ｐ
大きさ	２０ｃｍ
一般件名	数学基礎論 , コンピュータ
NDC分類(9版)	410.9
内容紹介	ヒルベルトら天才たちの挑戦は、今コンピュータ科学を経由して、世界に大転換をもたらしつつある。「不完全性定理」などの論争の歴史を最新アップデートし、「人工知能」の未来にまで架橋する数理論理学の決定版。
ISBN	4-7917-6851-5
特定資料種別	一般和書