田中一之

Individuals/organizations Page

Books

計算とロジック

田中一之

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Sciences&Physics
ISBN/Catalogue Number
：
ISBN 13 : 9784320114722
ISBN 10 : 4320114728
Format
：
Books
Publisher
：
共立出版
Release Date
：
June/2022
Release Country
：
Japan

Content Description

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

【著者紹介】
田中一之 : １９７８年東京工業大学理学部卒業。１９８６年カリフォルニア大学バークレー校数学科博士課程修了（Ｐｈ．Ｄ．）。現在、東北大学名誉教授。専門、数理論理学、数学基礎論、計算理論（本データはこの書籍が刊行された当時に掲載されていたものです）

（「BOOK」データベースより）

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
Write you own review

Recommend Items

Sell This Item