放送大学附属図書館

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

照井一成著. -- 青土社, 2015. <BB10105888>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 本部 2階一般図書 410.9/Te76 11119375908 0件

No. 0001
巻号
所蔵館 本部
配置場所 2階一般図書
請求記号 410.9/Te76
資料ID 11119375908
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
コンピュータ ワ スウガクシャ ニ ナレルノカ? : スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ
出版・頒布事項 東京 : 青土社 , 2015.3
形態事項 357p : 挿図 ; 20cm
巻号情報
ISBN 9784791768516
その他の標題 異なりアクセスタイトル:コンピュータは数学者になれるのか : 数学基礎論から証明とプログラムの理論へ
コンピュータ ワ スウガクシャ ニ ナレル ノカ : スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ
注記 文献一覧: p345-352
学情ID BB18264240
本文言語コード 日本語
著者標目リンク 照井, 一成(1971-)||テルイ, カズシゲ <AU10085530>
分類標目 数学 NDC8:410.96
分類標目 数学 NDC9:410.96
件名標目等 記号論理学||キゴウロンリガク
件名標目等 情報科学||ジョウホウカガク