コンピューティング

情報に関する学問は極めて幅広いが、その基本的な部分は計算（コンピューティング）という概念で把握することができる。
本書では、計算を定式化し記述するための計算モデルに関して、数理的な性質等の基礎的な部分から計算機械（コンピュータ）による実現までを扱っている。
また、今後のコンピューティングの中核となる人工知能技術について概観し、その実現において重要となる計算モデルについても紹介する。