計算理論・形式言語

分野・概念 / 14冊

何が計算できて何ができないかを扱う理論分野。オートマトンと形式言語、チューリング機械、計算複雑性、そして型理論までを含む。

この技術の本

計算理論の基礎

マイケル・サイプサー(訳: 田中圭介・藤岡淳・阿部正幸) / 共立出版 / 2023年(第3版) / 翻訳書

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

理論・基礎古典・名著

情報理論の基礎

小沢一雅 / オーム社 / 2019年

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

理論・基礎

プログラミング言語の基礎理論

大堀淳 / 共立出版 / 2019年

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

理論・基礎

みんなのコンピュータサイエンス

みんなのコンピュータサイエンス

ウラジストン・フェレイラ・フィリョ(訳: 小山裕司) / 翔泳社 / 2019年 / 翻訳書

技術: アルゴリズム・データ構造・計算理論・形式言語・数学

理論・基礎入門書

量子プログラミングの基礎

インミンシェン(訳: 川辺治之) / 共立出版 / 2017年 / 翻訳書

技術: 量子コンピュータ・計算理論・形式言語

理論・基礎

はじめて学ぶオートマトンと言語理論

はじめて学ぶオートマトンと言語理論

藤原暁宏 / 森北出版 / 2015年

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

理論・基礎入門書

型システム入門

型システム入門

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

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

理論・基礎古典・名著

シャノンの情報理論入門

高岡詠子 / 講談社 / 2012年

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

理論・基礎入門書

プログラミング言語の基礎概念

五十嵐淳 / サイエンス社 / 2011年

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

理論・基礎

数理情報科学事典

大矢雅則 / 朝倉書店 / 2005年

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

リファレンス

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

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

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

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

理論・基礎古典・名著

情報科学における論理

情報科学における論理

小野寛晰 / 日本評論社 / 1994年

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

理論・基礎

やさしいコンピュータ科学

やさしいコンピュータ科学

アラン・W・ビアマン(訳: 和田英一) / アスキー・メディアワークス / 1993年 / 翻訳書

技術: 計算理論・形式言語・アルゴリズム・データ構造

理論・基礎入門書

計算論

計算論

高橋正子 / 近代科学社 / 1991年

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

理論・基礎

当サイトは Amazon.co.jp アソシエイトおよび楽天アフィリエイトのプログラム参加者です。書籍ページの購入リンクから商品が購入された場合、当サイトが紹介料を受け取ることがあります。