授業
要求工学第3回
中谷 多哉子(放送大学教授)
計算と論理
情報に関する学問は極めて幅広いが、その基本的な部分は計算(コンピューティング)という概念で把握することができる。本科目では、計算を定式化し記述するための計算モデルに関して、数理的な性質等の基礎的な部分から計算機械(コンピュータ)による実現までを扱う。また、今後のコンピューティングの中核となる人工知能技術について概観し、その実現において重要となる計算モデルについても紹介する。最後に、自然現象を活用する計算モデルについて触れる。