検索結果書誌詳細

  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 「資料情報」から書誌を予約かごに入れるページに移動します。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報(基本)

書名

コンピュータは数学者になれるのか?   

著者名 照井一成/著
著者名ヨミ テルイ カズシゲ
出版者 青土社
出版年月 2015.3


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


マイブックリストに記録ログインするとマイブックリストを利用できます。


資料情報

各蔵書資料に関する詳細情報です。

No. 種別 資料番号 所蔵館 請求記号 取扱区分 状態 配架場所 特記 貸出
1 一般書1910167160中央図書館410.9/テ/ 在架 5F一般開架 

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2015
2015
410.9
数学基礎論 コンピュータ

書誌情報(詳細)

この資料の書誌詳細情報です。

タイトルコード 1000002002677
種別 図書
著者名 照井一成/著
著者名ヨミ テルイ カズシゲ
出版者 青土社
出版年月 2015.3
ページ数 357p
大きさ 20cm
ISBN 4-7917-6851-5
分類記号 410.9
書名 コンピュータは数学者になれるのか?   
書名ヨミ コンピュータ ワ スウガクシャ ニ ナレルノカ
副書名 数学基礎論から証明とプログラムの理論へ
副書名ヨミ スウガク キソ ロン カラ ショウメイ ト プログラム ノ リロン エ
内容紹介 ヒルベルトら天才たちの挑戦は、今コンピュータ科学を経由して、世界に大転換をもたらしつつある。「不完全性定理」などの論争の歴史を最新アップデートし、「人工知能」の未来にまで架橋する数理論理学の決定版。
著者紹介 1971年生まれ。慶應義塾大学大学院文学研究科修了。国立情報学研究所助手・助教授などを経て、現在、京都大学数理解析研究所准教授。専門は数理論理学。著作に「計算と論理」など。
件名1 数学基礎論
件名2 コンピュータ



内容細目

もどる

本文はここまでです。


ページの終わりです。