資料詳細

【図書】 計算理論の基礎２

計算可能性の理論 --
Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ／著, 田中圭介／監訳, 藤岡淳／監訳, 阿部正幸／〔ほか〕訳 -- 共立出版 -- ２０２３．５ -- ２１ｃｍ -- ３２８，４０ｐ

タイトル	計算理論の基礎２
各巻タイトル	計算可能性の理論
著者名等	Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ／著, 田中圭介／監訳, 藤岡淳／監訳, 阿部正幸／〔ほか〕訳
出版	共立出版２０２３．５
大きさ等	２１ｃｍ３２８，４０ｐ
分類	410.9
件名	計算量理論
注記	原タイトル：Ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　ｔｈｅ　Ｔｈｅｏｒｙ　ｏｆ　Ｃｏｍｐｕｔａｔｉｏｎ　原著第３版の翻訳
注記	文献あり　索引あり
目次	３　Ｃｈｕｒｃｈ‐Ｔｕｒｉｎｇの提唱（Ｔｕｒｉｎｇ機械；Ｔｕｒｉｎｇ機械の変型　ほか）；４　判定可能性（判定可能な言語；判定不可能性）；５　帰着可能性（言語理論における判定不可能問題　計算履歴を用いた帰着；単純な判定不可能問題　ほか）；６　計算可能性の理論における先進的な話題（再帰定理；数理論理における判定可能性　ほか）
ISBN(13)、ISBN	978-4-320-12562-9　　 4-320-12562-2
書誌番号	1122052299
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1122052299

所蔵

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