資料詳細

コンピュータは数学者になれるのか？数学基礎論から証明とプログラムの理論へ貸出可

照井一成／著 -- 青土社 -- 2015.3

タグ

所蔵

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

所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
一般資料	410.9 /ﾃﾙ/	00111296422	図書	貸出可	利用可

ページの先頭へ

資料詳細

マーク種別	JPマーク
マーク番号	22545224
書名	コンピュータは数学者になれるのか？
書名ヨミ	ｺﾝﾋﾟｭｰﾀﾜｽｳｶﾞｸｼｬﾆﾅﾚﾙﾉｶ
副書名	数学基礎論から証明とプログラムの理論へ
著者名	照井一成／著
著者名ヨミ	ﾃﾙｲｶｽﾞｼｹﾞ
出版地	東京
出版者	青土社
出版年	2015.3
頁数・図版	３５７ｐ
大きさ	２０ｃｍ
一般注記	文献あり　索引あり
ISBN	4-7917-6851-5
ISBN(新)	978-4-7917-6851-6
本体価格	２８００円
NDC分類(8版)	410.9
NDC分類(9版)	410.96
件名	記号論理学
内容紹介	ヒルベルトら天才たちの挑戦は、今コンピュータ科学を経由して、世界に大転換をもたらしつつある。「不完全性定理」などの論争の歴史を最新アップデートし、「人工知能」の未来にまで架橋する数理論理学の決定版。
著者紹介	１９７１年生まれ。慶應義塾大学大学院文学研究科修了。国立情報学研究所助手・助教授などを経て、現在、京都大学数理解析研究所准教授。専門は数理論理学。著作に「計算と論理」など。

ページの先頭へ

※内容紹介、著者紹介は（株）日販図書館サービスおよび
（株）トーハンのデータです。