計算理論と数理論理学 Mathematics of logic and computation
Author(s)
Bibliographic Information
計算理論と数理論理学 = Mathematics of logic and computation
共立出版, 2022.6
- Title Transcription
-
ケイサン リロン ト スウリ ロンリガク
Access to Electronic Resource 1 items
-
-
計算理論と数理論理学 .
2022.6.
-
計算理論と数理論理学 .
Available at / 107 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
文献案内: p[261]-265
Description and Table of Contents
Table of Contents
- 第１章 計算理論入門（オートマトンとモノイド；チューリング機械 ほか）
- 第２章 命題論理と計算の複雑さ（トートロジーと証明；命題論理の完全性 ほか）
- 第３章 １階論理と決定問題（１階論理とは；スコーレムの定理 ほか）
- 第４章 ２階論理と無限オートマトン（２階論理；２階算術と解析的階層 ほか）
- 第５章 階層理論と許容集合（オラクル計算と相対化；ｍ還元と単純集合 ほか）
by "BOOK database"
