資料詳細

  • 1 件中、 1 件目

計算理論の基礎 計算可能性の理論 2

Michael Sipser／著 田中 圭介／監訳

共立出版 2023.5

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 3Fビジネス－IT /007.1/ｼﾌ/2 1112035108 一般   利用可

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
オーテピア高知図書館 1 0 1

ページの先頭へ

資料詳細

タイトル 計算理論の基礎 2
著者 Michael Sipser ／著, 田中 圭介 ／監訳, 藤岡 淳 ／監訳, 阿部 正幸 ／訳, 植田 広樹 ／訳, 太田 和夫 ／訳, 田中 圭介 ／訳, 藤岡 淳 ／訳, 渡辺 治 ／訳  
出版者 共立出版
出版年 2023.5
ページ数 27p,p196～328 40p
大きさ 21cm
一般件名 オートマトン , 計算量理論
NDC分類(9版) 007.1
内容紹介 計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、計算理論の教科書。新たな図などを加えた原著第3版を分冊にしたもの。2は計算可能性の理論を収録。
ISBN 4-320-12562-9

ページの先頭へ

内容一覧

タイトル 著者名 ページ
3 Church‐Turingの提唱
4 判定可能性
5 帰着可能性
6 計算可能性の理論における先進的な話題

ページの先頭へ