資料詳細

  • 1 件中、 1 件目

計算理論と数理論理学 利用可

田中　一之／著 -- 共立出版 -- 2022.6 -- 410.9

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 一般 410.9/ﾀﾅｶ/一般 121724192 一般 利用可

ページの先頭へ

資料詳細

タイトル 計算理論と数理論理学
書名ヨミ ケイサン　リロン　ト　スウリ　ロンリガク
著者名 田中　一之 ／著  
著者ヨミ タナカ，カズユキ  
出版者 共立出版  
出版年 2022.6
ページ数等 ２９９ｐ
大きさ ２２ｃｍ
一般注記 欧文タイトル：ＭＡＴＨＥＭＡＴＩＣＳ　ＯＦ　ＬＯＧＩＣ　ＡＮＤ　ＣＯＭＰＵＴＡＴＩＯＮ
一般件名 計算量理論 , 記号論理学  
ISBN 4-320-11472-8
ISBN13桁 978-4-320-11472-2
定価 ４２００円
問合わせ番号（書誌番号） 1120482714
NDC8版 410.9
NDC9版 410.9
NDC10版 410.9
著者紹介 １９７８年東京工業大学理学部卒業。１９８６年カリフォルニア大学バークレー校数学科博士課程修了（Ｐｈ．Ｄ．）。現在、東北大学名誉教授。専門は数理論理学、数学基礎論、計算理論。（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ

内容一覧

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

ページの先頭へ