資料詳細

  • 1 件中、 1 件目

計算理論の基礎   貸出可

Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ／著 -- 共立出版 -- ２０００．４ -- 007.1

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫０門 /007/Ｓｉ８/ 0010000064072 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ 計算理論の基礎 
著者１ Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ ／著, 渡辺治 ／監訳, 太田和夫 ／監訳, 阿部正幸 ／〔ほか〕訳  
出版年 ２０００．４
出版者 共立出版
一般件名 オ－トマトン , 計算量理論
ページ数 ４８３ｐ
大きさ ２４ｃｍ
ISBN 4-320-02948-8
NDC分類(10版) 007.1
内容紹介 計算の理論の主テ－マである、オ－トマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、学部上級・大学院初級向けの計算機理論の教科書。定理とその証明を中心に、主要な話題を数学的に扱う。

ページの先頭へ

著者紹介

著者紹介１－１ カリフォルニア大学バ－クレ－校で計算機科学の博士号取得。ＭＩＴ応用数学科教授・計算機科学研究所メンバ－。現在、「計算の複雑さの理論」の研究を進めている。