John MacCormick/著 -- オライリー・ジャパン -- 2020.12 --

所蔵

所蔵は 1 件です。

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

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

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

資料詳細 閉じる

ISBN 4-87311-933-5
ISBN13桁 978-4-87311-933-5
タイトル 計算できるもの、計算できないもの
タイトルカナ ケイサン デキル モノ ケイサン デキナイ モノ
タイトル関連情報 実践的アプローチによる計算理論入門
タイトル関連情報読み ジッセンテキ アプローチ ニ ヨル ケイサン リロン ニュウモン
著者名 John MacCormick /著, 松崎 公紀 /監訳, 長尾 高弘 /訳
著者名典拠番号

120002668590000 , 110005897690000 , 110001326630000

出版地 東京,東京
出版者 オライリー・ジャパン,オーム社(発売)
出版者カナ オライリー ジャパン
出版年 2020.12
ページ数 18, 400p
大きさ 24cm
原タイトル注記 原タイトル:What can be computed?
価格 ¥4600
内容紹介 結果の証明にPythonプログラムを利用する実践的なアプローチにより、計算可能問題と計算不能問題などを、アラン・チューリングとリチャード・カープの論文の抜粋とともに解明する。サンプルコードがダウンロード可能。
書誌・年譜・年表 文献:p387~390
一般件名 計算量理論-ndlsh-00576481
一般件名 オートマトン , 計算量理論 , プログラミング(コンピュータ)
一般件名カナ オートマトン,ケイサンリョウ リロン,プログラミング(コンピュータ)
一般件名典拠番号

510128900000000 , 510702300000000 , 510348100000000

分類:都立NDC10版 007.1
資料情報1 『計算できるもの、計算できないもの 実践的アプローチによる計算理論入門』 John MacCormick/著, 松崎 公紀/監訳 , 長尾 高弘/訳 オライリー・ジャパン 2020.12(所蔵館:中央  請求記号:/007.1/5890/2020  資料コード:7113776224)
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1153751826