検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

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

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

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

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

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

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

No.	所蔵館	資料番号	資料種別	請求記号	配架場所	帯出区分	付録区分	状態	貸出
1	総合館	0010907541	一般	410.9//	自然科学	帯出可		在庫	○

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

書誌種別	図書
タイトル	コンピュータは数学者になれるのか?
タイトルヨミ	コンピュータワスウガクシャニナレルノカ
サブタイトル	数学基礎論から証明とプログラムの理論へ
著者名	照井一成／著
著者名ヨミ	テルイカズシゲ
出版者	青土社
出版年月	2015.3
ページ数、枚数	357p
大きさ	20cm
価格	￥２８００
言語区分	日本語
ISBN13桁	978-4-7917-6851-6
ISBN	4-7917-6851-6
分類10版	410.96
分類9版	410.96
ジャンル（図書）	自然科学
件名	記号論理学
内容紹介	19世紀末に興った数学基礎論と、20世紀中盤にそこから分岐したコンピュータ科学とを貫く物語。不完全性定理、無矛盾性証明、P対NP問題、カリー・ハワード対応といった多様な話題を取り上げる。
利用対象	一般