2025/05/20
| 資料の種別｡ |
図書｡
 資料情報のコピー
|
| タイトル｡ |
コンピュータは数学者になれるのか?(コンピュータ ワ スウガクシャ ニ ナレルノカ)｡
外部サイトで調べる: 
|
| 副書名｡ |
数学基礎論から証明とプログラムの理論へ(スウガク キソ ロン カラ ショウメイ ト プログラム ノ リロン エ)｡
|
| 著者名等｡ |
照井一成∥著(テルイ,カズシゲ)｡
|
| 出版者｡ |
青土社／東京｡
|
| 出版年｡ |
2015.3｡
|
| ページと大きさ｡ |
357p／20cm｡
|
| 件名｡ |
数学基礎論｡
|
| コンピュータ｡
|
| 分類｡ |
NDC8 版：410.9｡
|
| NDC9 版：410.9｡
|
| ISBN｡ |
978-4-7917-6851-6｡
|
| 4-7917-6851-5｡
|
| 価格｡ |
2800円｡
|
| タイトルコード｡ |
1110087485｡
|
| 内容紹介｡ |
ヒルベルトら天才たちの挑戦は、今コンピュータ科学を経由して、世界に大転換をもたらしつつある。「不完全性定理」などの論争の歴史を最新アップデートし、「人工知能」の未来にまで架橋する数理論理学の決定版。｡
|
| 著者紹介｡ |
1971年生まれ。慶應義塾大学大学院文学研究科修了。国立情報学研究所助手・助教授などを経て、現在、京都大学数理解析研究所准教授。専門は数理論理学。著作に「計算と論理」など。｡
|
| 所蔵数｡ |
館内でのみ利用可能な資料｡ |
貸出可能な資料｡ |
貸出中の資料｡ |
予約数｡ |
- 所蔵数
- 1 冊
|
- 館内でのみ利用可能な資料
- 0 冊
|
- 貸出可能な資料｡
- 1 冊
|
- 貸出中の資料
- 0 冊
|
- 予約数
- 0 件
|
| 番号｡ |
資料番号｡ |
所蔵館｡ |
配架場所（配架案内）｡ |
請求記号｡ |
状態｡ |
| 1｡ |
- 資料番号：
- 2012516106｡
|
- 所蔵館：
- 若狭図書学習センター｡
|
- 配架場所：
- 棚番号１０棚番号１０｡
|
- 請求記号：
- 410.9/ﾃﾙｲ｡
|
- 状態：
- 在架｡
|
このページのURL：http://www.library-archives.pref.fukui.lg.jp/wo/opc_srh/srh_detail/1110087485