資料詳細

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

所蔵

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

資料コード 請求記号 所蔵館 所蔵場所 資料区分 状態
106706674 /007.1/290/ 県立図書館 一般開架 和書
状態の表記について
   在:「所蔵場所」にあります。
   貸出中:館外へ貸出中です。

   館内閲覧:館内でご利用ください。館外貸出はできません。
   図書館用:館内でご利用ください。図書館(団体)向けに貸し出す資料です。

タイトル 計算できるもの、計算できないもの
副書名 実践的アプローチによる計算理論入門
著者 John MacCormick 著 , 松崎 公紀 監訳 , 長尾 高弘 訳  
出版者 東京  オライリー・ジャパン
出版者 東京  オーム社(発売)
出版年 2020.12
ページ数 18,400p
大きさ 24cm
翻訳原書名注記 原タイトル:What can be computed?
書誌年譜年表 文献:p387~390
一般件名 オートマトン , 計算量理論 , プログラミング(コンピュータ)
NDC分類 007.1
内容紹介 結果の証明にPythonプログラムを利用する実践的なアプローチにより、計算可能問題と計算不能問題などを、アラン・チューリングとリチャード・カープの論文の抜粋とともに解明する。サンプルコードがダウンロード可能。
ISBN 4-87311-933-5
ISBN13桁 978-4-87311-933-5
定価 ¥4600
本体価格 ¥4600