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

Isbn 10: 4873119332

Isbn 13: 978-4873119335

ダウンロード 計算できるもの、計算できないもの ―実践的アプローチによる計算理論入門 epub 本

から

フォーマットを選択:

フォーマットを選択:

zip 8.4 Mb ダウンロード
rar 9.4 Mb ダウンロード
pdf 6.5 Mb ダウンロード
mobi 10.7 Mb ダウンロード
fb2 7.6 Mb ダウンロード
epub 6.1 Mb ダウンロード

本の説明

計算機による計算とは何か、計算できるものとできないものの境界はどこにあるのか―それを明らかにする計算理論は、計算機科学においてもっとも基本的、かつ重要なものです。本書では、概念の説明や、結果の証明にPythonプログラムを利用する実践的なアプローチにより、計算可能問題と計算不能問題、扱いやすい問題と扱いにくい問題があること、文章では簡単に表現できても計算機には解けない重要な問題が数多くあること、効率よく解ける問題と解けない問題があることなどを、計算理論の礎を築いたアラン・チューリングとリチャード・カープの論文の抜粋とともに解明します。チューリングマシン、有限オートマトン、万能計算、非決定性、チューリング還元、計算量クラス、NP完全性などのトピックをカバーしています。

著者 :John MacCormick 松崎 公紀
Isbn 10 :4873119332
Isbn 13 :978-4873119335
によって公開 :2020/12/24
ページ数 :420ページ
出版社 計算できるもの、計算できないもの ―実践的アプローチによる計算理論入門:オライリージャパン