計算理論と数理論理学

田中 一之 共立出版ケイサンリロントスウリロンリガク タナカ カズユキ 発行年月：2022年06月24日 予約締切日：2022年04月07日 ページ数：312p サイズ：単行本 ISBN：9784320114722 田中一之（タナカカズユキ） 1978年東京工業大学理学部卒業。1986年カリフォルニア大学バークレー校数学科博士課程修了（Ph．D．）。現在、東北大学名誉教授。専門、数理論理学、数学基礎論、計算理論（本データはこの書籍が刊行された当時に掲載されていたものです） 第1章　計算理論入門（オートマトンとモノイド／チューリング機械　ほか）／第2章　命題論理と計算の複雑さ（トートロジーと証明／命題論理の完全性　ほか）／第3章　1階論理と決定問題（1階論理とは／スコーレムの定理　ほか）／第4章　2階論理と無限オートマトン（2階論理／2階算術と解析的階層　ほか）／第5章　階層理論と許容集合（オラクル計算と相対化／m還元と単純集合　ほか） 本 科学・技術 数学

【重要】本商品は委託品となり、取次店から直接手配となります。当店のお買い物ガイド(販売条件・支払い方法・送料について)をよくご確認の上、ご注文下さいますようお願い致します。■ISBN:978-4-320-11472-2 ■タイトル:計算理論と数理論理学　田中一之/著 ■ふりがな:けいさんりろんとすうりろんりがく ■著者名:田中一之/著 ■出版社:共立出版 ■出版年月:202206