[ ホーム | 講義 ]

2004年度前期・計算機数学集中講義

プログラミング言語と計算可能性

第1回 6月9日 チューリング機会
講義メモ
第2回 6月16日 万能チューリング機会
講義メモ
第3回 6月23日 判定が不可能な問題
講義メモ
第4回 6月30日 休講

第5回 7月7日 帰納的関数
講義メモ

最終更新2005.06.23