資料詳細

  • 1 件中、 1 件目

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

照井 一成／著 -- 青土社 -- 2015.3 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 2F 一般図書 /410.9/5106/2015 7105569547 配架図 Digital BookShelf
2015/04/17 可能 利用可   0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

ISBN 4-7917-6851-6
ISBN13桁 978-4-7917-6851-6
タイトル コンピュータは数学者になれるのか?
タイトルカナ コンピュータ ワ スウガクシャ ニ ナレル ノカ
タイトル関連情報 数学基礎論から証明とプログラムの理論へ
タイトル関連情報読み スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ
著者名 照井 一成 ／著
著者名典拠番号

110006753850000

出版地 東京
出版者 青土社
出版者カナ セイドシャ
出版年 2015.3
ページ数 357p
大きさ 20cm
価格 ¥2800
内容紹介 19世紀末に興った数学基礎論と、20世紀中盤にそこから分岐したコンピュータ科学とを貫く物語。不完全性定理、無矛盾性証明、P対NP問題、カリー・ハワード対応といった多様な話題を取り上げる。
書誌・年譜・年表 文献:p345～352
一般件名 記号論理学-ndlsh-00565709,情報科学-ndlsh-00575008
一般件名カナ キゴウロンリガク-00565709,ジョウホウカガク-00575008
一般件名 記号論理学
一般件名カナ キゴウ ロンリガク
一般件名典拠番号

510630200000000

分類：都立NDC10版 410.96
資料情報1 『コンピュータは数学者になれるのか? 数学基礎論から証明とプログラムの理論へ』　照井 一成／著 　青土社　2015.3（所蔵館：中央　 請求記号：/410.9/5106/2015　 資料コード：7105569547）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152593374

ページの先頭へ