資料詳細

  • 1 件中、 1 件目

計算理論の基礎 ２ 計算可能性の理論 利用可

Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ／著 -- 共立出版 -- 2023.5 -- 007.1

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 一般 007.1/ｼﾌｻ-2/一般 122077756 一般 利用可

ページの先頭へ

資料詳細

タイトル 計算理論の基礎
書名ヨミ ケイサン　リロン　ノ　キソ
巻次 ２
巻書名 計算可能性の理論
巻書名 計算可能性の理論
著者名 Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ ／著, 田中　圭介 ／監訳, 藤岡　淳 ／監訳, 阿部　正幸 ／〔ほか〕訳  
著者ヨミ シプサ，マイケル , タナカ，ケイスケ , フジオカ，アツシ , アベ，マサユキ  
出版者 共立出版  
出版年 2023.5
ページ数等 ３２８，４０ｐ
大きさ ２１ｃｍ
原書名 原タイトル：Ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　ｔｈｅ　Ｔｈｅｏｒｙ　ｏｆ　Ｃｏｍｐｕｔａｔｉｏｎ　原著第３版の翻訳
一般件名 計算量理論  
ISBN 4-320-12562-2
ISBN13桁 978-4-320-12562-9
定価 ３４００円
問合わせ番号（書誌番号） 1120542532
NDC8版 007.1
NDC9版 007.1
NDC10版 007.1
著者紹介 【田中圭介】１９９７年、北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。東京工業大学大学院情報理工学研究科講師などを経て、現在、東京工業大学情報理工学院教授、サイバーセキュリティ研究教育センター長、博士（情報科学）。専門分野、暗号理論、計算の複雑さの理論。（本データはこの書籍が刊行された当時に掲載されていたものです） 
著者紹介 【藤岡淳】１９９０年、東京工業大学大学院理工学研究科博士課程修了。神奈川大学工学部情報システム創成学科教授などを経て、現在、神奈川大学情報学部システム数理学科教授、工学博士。専門分野、暗号理論、暗号応用。（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ

内容一覧

タイトル 著者名 ページ
３　Ｃｈｕｒｃｈ‐Ｔｕｒｉｎｇの提唱（Ｔｕｒｉｎｇ機械；Ｔｕｒｉｎｇ機械の変型　ほか）
４　判定可能性（判定可能な言語；判定不可能性）
５　帰着可能性（言語理論における判定不可能問題　計算履歴を用いた帰着；単純な判定不可能問題　ほか）
６　計算可能性の理論における先進的な話題（再帰定理；数理論理における判定可能性　ほか）

ページの先頭へ