資料詳細

  • 1 件中、 1 件目

計算できるもの、計算できないもの 実践的アプローチによる計算理論入門

John MacCormick／著 松崎 公紀／監訳

オライリー・ジャパン 2020.12

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 3Fビジネス－IT /007.1/ﾏｺ/ 1111134670 一般   利用可

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
オーテピア高知図書館 1 0 1

ページの先頭へ

資料詳細

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

ページの先頭へ