コンピューティング

情報に関する学問は極めて幅広いが、その基本的な部分は計算（コンピューティング）という概念で把握することができる。 本書では、計算を定式化し記述するための計算モデルに関して、数理的な性質等の基礎的な部分から計算機械（コンピュータ）による実現までを扱っている。 また、今後のコンピューティングの中核となる人工知能技術について概観し、その実現において重要となる計算モデルについても紹介する。 1.計算モデル概論1　2.計算モデル概論2　3.計算モデル概論3　4.現実のコンピュータ　5.ラムダ計算　6.関数プログラミング　7.計算と論理　8.オートマトン　9.チューリング機械　10.状態と様相　11.並列・分散計算　12.コンピューティングの展開　13.人工知能概論　14.生物に触発された計算モデル　15.自然現象を活用する計算モデル