●代数学特論I
　　―計算論入門―

記数法、代数記法に関する歴史的な話から始め、論理関数、チューリング機械、帰納的関数等についての古典理論を紹介し、計算およびアルゴリズムという概念が数学的にどのように捉えられてきたのかを解説する。

１	序論、記数法・代数記法の歴史
２	計算機械の発展
３	計算機のしくみ、論理関数
４	チューリング機械の定義
５	チューリング機械の実例
６	アルゴリズムとは何か
７	原始帰納的関数と原始帰納的述語
８	算術化、ゲーデル数
９	多重帰納的関数
10	数学的理論の形式化

講義形式を基本とするが、必要ならば演習を行う。

何度かのレポートによる。

授業中に適宜紹介する。