資料詳細

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

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
1階中央図書 /007.1/ネ0Z/ 13690102 一般 帯出可 配架中 iLisvirtual

資料詳細

タイトル 計算できるもの、計算できないもの
副書名 実践的アプローチによる計算理論入門
責任表示 John MacCormick /著, 松崎 公紀 /監訳, 長尾 高弘 /訳  
出版者 オライリー・ジャパン
出版年 2020.12
ページ数 18,400p
大きさ 24cm
一般件名 オートマトン , 計算量理論 , プログラミング(コンピュータ)
NDC分類(10版) 007.1
NDC分類(9版) 007.1
内容紹介 結果の証明にPythonプログラムを利用する実践的なアプローチにより、計算可能問題と計算不能問題などを、アラン・チューリングとリチャード・カープの論文の抜粋とともに解明する。サンプルコードがダウンロード可能。
ISBN 4-87311-933-5
ISBN13桁 978-4-87311-933-5 国立国会図書(別タブで開きます) カーリル(別タブで開きます) WebcatPlus(別タブで開きます) CiNiiBooks(別タブで開きます) アマゾン(別タブで開きます) ブクログ(別タブで開きます)
本体価格 ¥4600