2017年度 横森ゼミ(3年次)

71. 概要

計算の理論について勉強します。ここでいう“計算”とは「コンピュータで行う計算」のことです。現在の高度情報化社会の中枢を担うデジタルコンピュータの計算メカニズムに関して、その基礎となる数学的計算モデルを学習し、“計算できるってどういうことだろう?”」という素朴な疑問について考えてみます。オートマトン、形式言語、形式文法、計算可能性、アルゴリズムなどの話題を含みます。(パソコンなどのコンピュータやプログラミングの知識は全く必要としません。)

2. テキスト

M.Sipser:Introduction to the Theory of Computation (2nd edition), PWS Publ.Co., 2005.

3. 開講時間

月曜日の4時限を予定しています。

4. 備考

以下のいずれかに該当する学生向けのゼミです。
・「応用数学、情報数学」を履修する人
・純粋数学に飽きたらない人
・他に適当なゼミが見つからない人
・喫煙しないor禁煙したい人

[注] 定員を超える場合は、原則として1年次の数学必修科目(6科目)の成績と面接を参考にして決定します。