照井 一成/著 -- 青土社 -- 2015.3 -- 410.96

  • 総合評価
    5段階評価の0.0
    (0)
  • レビュー
    0

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 書庫 /410/96/24 1108224563 一般   在架 iLisvirtual

資料詳細

タイトルコンピュータは数学者になれるのか?
タイトルカナコンピュータ ワ スウガクシャ ニ ナレル ノカ
副書名数学基礎論から証明とプログラムの理論へ
副書名カナスウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ
著者 照井 一成 /著  
著者カナテルイ カズシゲ
出版地東京
出版者青土社
出版年2015.3
ページ数357p
大きさ20cm
書誌年譜年表文献:p345~352
内容紹介19世紀末に興った数学基礎論と、20世紀中盤にそこから分岐したコンピュータ科学とを貫く物語。不完全性定理、無矛盾性証明、P対NP問題、カリー・ハワード対応といった多様な話題を取り上げる。
一般件名記号論理学
NDC分類(8版) 410.96
ISBN13978-4-7917-6851-6
本文の言語jpn
書誌番号1111129356

レビュー一覧

レビューが登録されていません。