ゼミナールI講演

日時: 2011(平成23)年1月24日(月)3限 (13:30 -- 15:00)
場所: L1

講演者: 大崎人士(教育連携プログラミング科学講座・産業技術総合研究所)
題目: 数え上げ可能な無限と計算可能性の世界
概要: 本講義は,情報科学でもっとも古典的な学問分野の「計算論」の基礎について,初学者向けの一話完結の講演です.講演では,ショートトーク「数え上げ可能な無限」で可算無限と構成的証明について簡単に解説します.講演の後半では,計算論の言葉を用いて,チューリングマシン,決定不可能性の本質などを解説します.

ゼミナール I, II ページへ