著者・出版社・関連アーティスト
関連記事
収録内容
1 | 第1章 計算理論入門(オートマトンとモノイド |
2 | チューリング機械 ほか) |
3 | 第2章 命題論理と計算の複雑さ(トートロジーと証明 |
4 | 命題論理の完全性 ほか) |
5 | 第3章 1階論理と決定問題(1階論理とは |
6 | スコーレムの定理 ほか) |
7 | 第4章 2階論理と無限オートマトン(2階論理 |
8 | 2階算術と解析的階層 ほか) |
9 | 第5章 階層理論と許容集合(オラクル計算と相対化 |
10 | m還元と単純集合 ほか) |