計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門
Author(s)
Bibliographic Information
計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門
オライリー・ジャパン , オーム社 (発売), 2020.12
- Other Title
-
What can be computed? : a practical guide to the theory of computation
計算できるもの計算できないもの : 実践的アプローチによる計算理論入門
- Title Transcription
-
ケイサン デキル モノ、ケイサン デキナイ モノ : ジッセンテキ アプローチ ニヨル ケイサン リロン ニュウモン
Available at / 153 libraries
-
Prefectural University of Hiroshima Library and Academic Information Center
007.1/Ma13110086279
-
University of Tsukuba Library, Library on Library and Information Science
007.1-Ma1310020014787
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
原著 (Princeton University Press, c2018) の翻訳
監訳: 松崎公紀
参考文献: p387-390
Description and Table of Contents
Description
プログラミングを通して手を動かしながら学ぶ計算理論の美しく深遠な概念。
Table of Contents
- 全体像(はじめに:計算できるもの、できないものとは)
- 第1部 計算可能性理論(コンピュータプログラムとは何か;不可能なPythonプログラム;計算問題とは何か ほか)
- 第2部 計算量理論(計算量理論:効率が重視されるとき;クラスPolyとクラスExpo:もっとも根本的な2つの計算量クラス;クラスPolyCheckとクラスNPoly:簡単に検証できる難しい問題 ほか)
- 第3部 起源と応用(もともとのチューリングマシン;正しいことをすべて証明できるとは限らない;カープの21個の問題 ほか)
by "BOOK database"