計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門
Author(s)
Bibliographic Information
計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門
オライリー・ジャパン , オーム社 (発売), 2020.12
- Other Title
-
What can be computed? : a practical guide to the theory of computation
計算できるもの計算できないもの : 実践的アプローチによる計算理論入門
- Title Transcription
-
ケイサン デキル モノ、ケイサン デキナイ モノ : ジッセンテキ アプローチ ニヨル ケイサン リロン ニュウモン
Available at / 152 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
- 全体像（はじめに：計算できるもの、できないものとは）
- 第１部 計算可能性理論（コンピュータプログラムとは何か；不可能なＰｙｔｈｏｎプログラム；計算問題とは何か ほか）
- 第２部 計算量理論（計算量理論：効率が重視されるとき；クラスＰｏｌｙとクラスＥｘｐｏ：もっとも根本的な２つの計算量クラス；クラスＰｏｌｙＣｈｅｃｋとクラスＮＰｏｌｙ：簡単に検証できる難しい問題 ほか）
- 第３部 起源と応用（もともとのチューリングマシン；正しいことをすべて証明できるとは限らない；カープの２１個の問題 ほか）
by "BOOK database"
