NCID | BB18264240 |
タイトル | コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著||コンピュータ ワ スウガクシャ ニ ナレルノカ? : スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ |
出版者 | 東京 : 青土社 , 2015.3 |
形態 | 357p : 挿図 ; 20cm |
別書名 | コンピュータは数学者になれるのか : 数学基礎論から証明とプログラムの理論へ
|
注記 | 文献一覧: p345-352 |
分類 | NDC8:410.96 NDC9:410.96 |
件名 | BSH:記号論理学
NDLSH:情報科学
|
著者情報 | 照井, 一成(1971-) (テルイ, カズシゲ)
|
和洋区分 | 和 |
標題言語 | 日本語 |
本文言語 | 日本語 |
出版国 | 日本 |
ISBN | 9784791768516
|
番号 | OTHN : TRC:15010194 |