検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

書誌情報サマリ

書名	計算理論と数理論理学
著者名	田中一之／著
著者名ヨミ	タナカカズユキ
出版者	共立出版
出版年月	2022.6

この資料に対する操作

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

資料情報

各蔵書資料に関する詳細情報です。

No.	所蔵館	配架場所	請求記号	資料番号	資料種別	状態	個人貸出	在庫
1	西部図書館	一般開架	4109/99/	1102662529	一般	在庫	可	○

書誌詳細

この資料の書誌詳細情報です。

タイトルコード	1000100993675
書誌種別	図書
書名	計算理論と数理論理学
書名ヨミ	ケイサンリロントスウリロンリガク
言語区分	日本語
著者名	田中一之／著
著者名ヨミ	タナカカズユキ
出版地	東京
出版者	共立出版
出版年月	2022.6
本体価格	￥４２００
ISBN	978-4-320-11472-2
ISBN	4-320-11472-2
数量	8,299p
大きさ	22cm
分類記号	410.9
件名	計算量理論　記号論理学
注記	文献:p264〜265
内容紹介	「計算理論」と「数理論理学」を同時に学ぶための学部上級から大学院初年級レベルの独習書。両分野の話題をうまく交えながら、巧みな筆致で解説する。問題、文献案内、用語・記号索引付き。
著者紹介	カリフォルニア大学バークレー校数学科博士課程修了(Ph.D.)。東北大学名誉教授。著書に「数学基礎論序説」「ゲーデルの定理」「逆数学」など。
目次タイトル	第1章計算理論入門
	1.1 オートマトンとモノイド　1.2 チューリング機械　1.3 計算可能な関数と原始再帰的関数　1.4 計算可能性と不可能性　1.5 再帰的部分関数とCE集合　1.6 ライスの定理と多対一還元
	第2章命題論理と計算の複雑さ
	2.1 トートロジーと証明　2.2 命題論理の完全性　2.3 NP完全問題　2.4 グラフに関するNP完全問題　2.5 時間限定と領域限定のクラス　2.6 階層定理　2.7 PSPACE完全とTQBF
	第3章 1階論理と決定問題
	3.1 1階論理とは　3.2 スコーレムの定理　3.3 エーレンフォイヒト・フライセのゲーム　3.4 プレスバーガー算術の決定可能性　3.5 1階算術と論理式の階層　3.6 計算可能性理論と第一不完全性定理　3.7 第二不完全性定理
	第4章 2階論理と無限オートマトン
	4.1 2階論理　4.2 2階算術と解析的階層　4.3 無限列上のオートマトン　4.4 ωオートマトンとS1S　4.5 木オートマトンとS2S　4.6 有限モデル論　4.7 パリティゲームの無記憶決定性
	第5章階層理論と許容集合
	5.1 オラクル計算と相対化　5.2 m還元と単純集合　5.3 T還元とポストの問題　5.4 算術的階層と多項式時間階層　5.5 解析的階層と記述集合論　5.6 クリプキ・プラテックの集合論　5.7 α再帰理論と再帰的巨大順序数