計算論

計算可能性の理論とラムダ計算を扱う教科書。帰納的関数、チューリング機械、決定不能性を押さえたうえで、ラムダ計算の簡約と型の理論に進み、プログラミング言語の理論的な基礎を示す。

この本が好きなら

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

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

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

理論・基礎

情報科学における論理

情報科学における論理

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

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

理論・基礎

情報理論の基礎

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

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

理論・基礎

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

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

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

理論・基礎

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

大堀淳 / 共立出版 / 2019年

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

理論・基礎

ゲームプログラミングのための3Dグラフィックス数学

ゲームプログラミングのための3Dグラフィックス数学

エリック・レンジェル(訳: 狩野智英) / ボーンデジタル / 2003年 / 翻訳書

技術: 数学・コンピュータグラフィックス

理論・基礎

この本からもっと探す →

書誌(近代科学社、1991年)は国立国会図書館サーチAPI(opensearch)の検索結果で確認。著者・訳者は同APIの責任表示「高橋正子 著」による。