検索したい科目／教員名／キーワードを入力し「検索開始｣ボタンをクリックしてください。
※教員名では姓と名の間に１文字スペースを入れて、検索してください。
情報システム解析講究２
| 科目名 | 情報システム解析講究２ | ||||
|---|---|---|---|---|---|
| 旧カリキュラム名 | コンピュータ科学講究２ | ||||
| 教員名 | 戸田 誠之助 | ||||
| 単位数 | 2 | 学年 | 3 | 開講区分 | 文理学部 |
| 科目群 | 情報科学科 | ||||
| 学期 | 後期 | 履修区分 | 必修 | ||
| 授業テーマ | コンピュータ科学の基礎理論を理解する。 |
|---|---|
| 授業のねらい・到達目標 | 計算理論，アルゴリズム論，プログラム理論，計算量理論などのコンピュータ科学の基礎理論分野から一つの理論を選んで，それを専門的に学習する。以下に示すシラバスは，一つのモデルケース（計算理論を学習する場合）を表している。 |
| 授業の方法 | 教科書から各自の分担部分を決め，その部分の内容を授業時間内に発表する。授業開始時点で，それまでに学習した内容に関する小テストを行うこともある。 |
| 履修条件 | 学科内規による。 |
| 授業計画 | |
|---|---|
| 1 | 計算とは何か？ |
| 2 | whileプログラム |
| 3 | 原始帰納関数（１） |
| 4 | 原始帰納関数（２） |
| 5 | 帰納関数（１） |
| 6 | 帰納関数（２） |
| 7 | チューリング機械（１） |
| 8 | チューリング機械（２） |
| 9 | 計算不可能性（１） |
| 10 | 計算不可能性（２） |
| 11 | 計算不可能性（３） |
| 12 | 帰納的集合と帰納的可算集合 |
| 13 | ラムダ計算の基礎（１） |
| 14 | ラムダ計算の基礎（２） |
| 15 | ラムダ計算の基礎（３） |
| その他 | |
|---|---|
| 参考書 | 高橋正子 『計算論 （コンピュータサイエンス大学講座）』 近代科学社 1991年 第1版 |
| 成績評価の方法及び基準 | 平常点(100%) 発表内容、レポート、出席状況をもとに総合的に判定します。 |