資料詳細

  • 1 件中、 1 件目

計算できるもの、計算できないもの 貸出可

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

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
本館(和歌山市) 書庫D /007.1/ﾏｺ/ 324519164 一般 在庫
本館(和歌山市) 書庫E /007.1/ﾏｺ/ 324519610 一般 在庫

ページの先頭へ

資料詳細

タイトル 計算できるもの、計算できないもの 
副書名 実践的アプローチによる計算理論入門
言語 日本語
著者 John MacCormick ／著, 松崎 公紀 ／監訳, 長尾 高弘 ／訳  
出版者 オライリー・ジャパン
出版年 2020.12
ページ数 18,400p
大きさ 24cm
一般件名 オートマトン , 計算量理論 , プログラミング(コンピュータ)
内容紹介 結果の証明にPythonプログラムを利用する実践的なアプローチにより、計算可能問題と計算不能問題などを、アラン・チューリングとリチャード・カープの論文の抜粋とともに解明する。サンプルコードがダウンロード可能。
ISBN 4-87311-933-5
ISBN13桁 978-4-87311-933-5

ページの先頭へ