奈良先端科学技術大学院大学附属図書館

ヘルプ English
ログイン 終了

検索結果詳細 : ビデオ

数え上げ可能な無限と計算可能性の世界 MPMeister

カゾエアゲ カノウ ナ ムゲン ト ケイサン カノウセイ ノ セカイ

大崎人士

生駒 : 奈良先端科学技術大学院大学, 2011.1

この資料の関連情報

所蔵:
  巻号 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数
1 MPMeister   電子化情報 LA-I-R M007578   0
内容紹介 : 本講義は,情報科学でもっとも古典的な学問分野の「計算論」の基礎について,初学者向けの一話完結の講演です.講演では,ショートトーク「数え上げ可能な無限」で可算無限と構成的証明について簡単に解説します.講演の後半では,計算論の言葉を用いて,チューリングマシン,決定不可能性の本質などを解説します.
刊年 : 2011
形態 : 電子化映像資料(1時間53分58秒)
シリーズ名 :

情報科学研究科・ゼミナール講演 ; 平成22年度

注記 :

講演者所属: 教育連携プログラミング科学講座・産業技術総合研究所

講演日: 平成23年1月24日

講演場所: 情報科学研究科大講義室

標題言語 : (jpn)
本文言語 : (jpn)
著者情報 :

大崎, 人士 (オオサキ,ヒトシ)