2017年度 横森ゼミ(3年次)
71. 概要
計算の理論について勉強します。ここでいう“計算”とは「コンピュータで行う計算」のことです。現在の高度情報化社会の中枢を担うデジタルコンピュータの計算メカニズムに関して、その基礎となる数学的計算モデルを学習し、“計算できるってどういうことだろう?”」という素朴な疑問について考えてみます。オートマトン、形式言語、形式文法、計算可能性、アルゴリズムなどの話題を含みます。(パソコンなどのコンピュータやプログラミングの知識は全く必要としません。)
2. テキスト
M.Sipser:Introduction to the Theory of Computation (2nd edition), PWS Publ.Co., 2005.
3. 開講時間
月曜日の4時限を予定しています。
4. 備考
以下のいずれかに該当する学生向けのゼミです。
・「応用数学、情報数学」を履修する人
・純粋数学に飽きたらない人
・他に適当なゼミが見つからない人
・喫煙しないor禁煙したい人
[注] 定員を超える場合は、原則として1年次の数学必修科目(6科目)の成績と面接を参考にして決定します。
|