M.Sipser教授によるMIT屈指の名講義“Theory of Computation”の講義ノートを基にまとめた教科書。

MIT屈指の名講義の講義ノートをまとめた書

計算機理論の学部上級~大学院での教科書

MIT屈指の名講義“Theory of Computation”をまとめた教科書。2分冊目は、計算可能性の理論について解説。

数学系の「数理論理学」と計算機系の「計算理論」に長年携わってきた著者が,両分野の話題をうまく交えながら巧みな筆致で解説する。

アルゴリズムと計算量理論 西村治道. 1.1 文字列,計算問題アルファベット(alphabet)とは,少なくとも 1 つの要素を含む有限集合のことをいいます注1 .本書では,特に断らない場合はアルファベットとして 2 進 ... 計算理論の基礎事項 1.1 文字列,計算問題.

... 基礎論理構造」で提供された論理プログラミングを用いてプッシュダウンオートマトンやチューリングマシンのインタプリタを作成して実験的に理解できるように工夫されているのも本書の特徴です。本書を読破することで計算理論について興味を播き立てられた ...

計算幾何の理論の成果をどのように活用するか

計算機モデルを理解し使えるのを目的に解説