計算理論と数理論理学

田中 一之【著】

共立出版（2022/06/24発売）

• サイズ A5判／ページ数 299p／高さ 22cm
• 商品コード 9784320114722
• NDC分類 410.9
• Cコード C3041

出版社内容情報

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

目次

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

著者等紹介

田中一之［タナカカズユキ］
１９７８年東京工業大学理学部卒業。１９８６年カリフォルニア大学バークレー校数学科博士課程修了（Ｐｈ．Ｄ．）。現在、東北大学名誉教授。専門、数理論理学、数学基礎論、計算理論（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。