Amazonで購入楽天ブックスで購入

計算理論の基礎

原題: Introduction to the Theory of Computation

マイケル・サイプサー(訳: 田中圭介・藤岡淳・阿部正幸)

共立出版 / 2023年(第3版) / 原著1996年

技術: 計算理論・形式言語・数学

理論・基礎古典・名著

計算とは何かを厳密に扱う標準的な教科書。オートマトンと形式言語から、決定可能性、そして時間と空間の計算複雑性、NP完全性、近似アルゴリズムまでを一貫した記法で進む。証明の書き方そのものが丁寧に示されており、独学にも向く。

この本が好きなら

オートマトン言語理論計算論

オートマトン言語理論計算論

ジョン・ホップクロフト(訳: 野崎昭弘) / サイエンス社 / 2003年(第2版) / 翻訳書

技術: 計算理論・形式言語

理論・基礎古典・名著

コンピュータの数学

ロナルド・L・グレアム・ドナルド・E・クヌース・オーレン・パタシュニク(訳: 有澤誠・安村通晃・萩野達也・石畑清) / 共立出版 / 2020年(第2版) / 翻訳書

技術: 数学・アルゴリズム・データ構造

理論・基礎古典・名著

リレーショナルデータベース入門

増永良文 / サイエンス社 / 2017年(第3版)

技術: リレーショナルデータベース・SQL・数学

理論・基礎古典・名著

数値計算の常識

数値計算の常識

伊理正夫 / 共立出版 / 1985年

技術: 数学・アルゴリズム・データ構造

理論・基礎古典・名著

型システム入門

型システム入門

ベンジャミン・C・ピアース(訳: 住井英二郎) / オーム社 / 2013年 / 翻訳書

技術: 計算理論・形式言語・コンパイラ・言語処理系

理論・基礎古典・名著

わかりやすいパターン認識

石井健一郎 / オーム社 / 2022年(第2版)

技術: 機械学習・数学

理論・基礎古典・名著

この本からもっと探す →

邦訳版の書誌(共立出版、2023年、ISBN 9784320125612)は国立国会図書館サーチAPI(opensearch)の検索結果で確認。著者・訳者は同APIの責任表示「Michael Sipser 著,田中圭介, 藤岡淳 監訳,阿部正幸 [ほか] 訳」による。原著の初版年1996年はOpenLibrary/英語版Wikipediaの書誌による。