資料詳細

  • 1 件中、 1 件目

【図書】 コンピュータは数学者になれるのか? 貸出可

照井 一成／著 -- 青土社 -- 2015.3 -- 410.96410.96 410.96 , 410.96

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 棚区分 請求記号 資料コード 資料区分 帯出区分 状態 WEB書棚
山形県立 一般開架 /410.96/ﾃﾙ/ 108814530 一般和書 帯出可 在庫 iLisvirtual

ページの先頭へ

資料詳細

タイトル コンピュータは数学者になれるのか?
副書名 数学基礎論から証明とプログラムの理論へ
著者 照井 一成 ／著  
出版者 青土社
出版年 2015.3
ページ数 357p
大きさ 20cm
一般件名 記号論理学
NDC分類(9版) 410.96
NDC分類(10版) 410.96
内容紹介 19世紀末に興った数学基礎論と、20世紀中盤にそこから分岐したコンピュータ科学とを貫く物語。不完全性定理、無矛盾性証明、P対NP問題、カリー・ハワード対応といった多様な話題を取り上げる。
ISBN 4-7917-6851-6 国立国会図書館 カーリル
ISBN13桁 978-4-7917-6851-6

ページの先頭へ