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

著者

書誌事項

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

ジョン・マコーミック著 ; 長尾高弘訳

オライリー・ジャパン , オーム社 (発売), 2020.12

タイトル別名

What can be computed? : a practical guide to the theory of computation

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

タイトル読み

ケイサン デキル モノ、ケイサン デキナイ モノ : ジッセンテキ アプローチ ニヨル ケイサン リロン ニュウモン

大学図書館所蔵 件 / 全152件

注記

原著 (Princeton University Press, c2018) の翻訳

監訳: 松崎公紀

参考文献: p387-390

内容説明・目次

内容説明

プログラミングを通して手を動かしながら学ぶ計算理論の美しく深遠な概念。

目次

  • 全体像（はじめに：計算できるもの、できないものとは）
  • 第１部　計算可能性理論（コンピュータプログラムとは何か；不可能なＰｙｔｈｏｎプログラム；計算問題とは何か　ほか）
  • 第２部　計算量理論（計算量理論：効率が重視されるとき；クラスＰｏｌｙとクラスＥｘｐｏ：もっとも根本的な２つの計算量クラス；クラスＰｏｌｙＣｈｅｃｋとクラスＮＰｏｌｙ：簡単に検証できる難しい問題　ほか）
  • 第３部　起源と応用（もともとのチューリングマシン；正しいことをすべて証明できるとは限らない；カープの２１個の問題　ほか）

「BOOKデータベース」 より

詳細情報

ページトップへ