計算理論と数理論理学 Mathematics of logic and computation

著者

書誌事項

計算理論と数理論理学 = Mathematics of logic and computation

田中一之著

共立出版, 2022.6

タイトル読み

ケイサン リロン ト スウリ ロンリガク

電子リソースにアクセスする 全1件

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

この図書・雑誌をさがす

注記

文献案内: p[261]-265

内容説明・目次

目次

  • 第１章　計算理論入門（オートマトンとモノイド；チューリング機械　ほか）
  • 第２章　命題論理と計算の複雑さ（トートロジーと証明；命題論理の完全性　ほか）
  • 第３章　１階論理と決定問題（１階論理とは；スコーレムの定理　ほか）
  • 第４章　２階論理と無限オートマトン（２階論理；２階算術と解析的階層　ほか）
  • 第５章　階層理論と許容集合（オラクル計算と相対化；ｍ還元と単純集合　ほか）

「BOOKデータベース」 より

詳細情報

ページトップへ