カゾエアゲ カノウ ナ ムゲン ト ケイサン カノウセイ ノ セカイ
大崎人士
生駒 : 奈良先端科学技術大学院大学, 2011.1
Lecture Archive本講義は，情報科学でもっとも古典的な学問分野の「計算論」の基礎について，初学者向けの一話完結の講演です．講演では，ショートトーク「数え上げ可能な無限」で可算無限と構成的証明について簡単に解説します．講演の後半では，計算論の言葉を用いて，チューリングマシン，決定不可能性の本質などを解説します．
| No. | Printing year | Location | Call Number | Material ID | Circulation class | Status | Waiting |
|---|---|---|---|---|---|---|---|
|
1 |
|
|
M007578 |
|
|
|
2011
電子化映像資料(1時間53分58秒)
情報科学研究科・ゼミナール講演 ; 平成22年度
講演者所属: 教育連携プログラミング科学講座・産業技術総合研究所
講演日: 平成23年1月24日
講演場所: 情報科学研究科大講義室
Japan
Japanese (jpn)
Japanese (jpn)
大崎, 人士 (オオサキ,ヒトシ)
