平成15年度 計算の理論I担当教官: 大月 美佳 対象学生:知能情報システム学科3年 前期必修2単位 |
[お知らせ] |
[はじめに]
|
[教科書・参考書]
|
[講義資料]
|
[連絡先]
|
お知らせお知らせは、特にありません。 [上へ戻る] |
はじめにコンピュータに何か仕事をさせるということは、コンピュータに「計算」をさせるということである。ここでいう「計算」とはなんであろうか。 コンピュータに「計算」を行わせるためにはそのために「言語」を用いる。ここでいう「言語」とはなんであろうか。 オートマトンは「言語」を受理する抽象的な機械のことであり、コンピュータの「計算」のモデルの一つである。そう言われてわかるだろうか。 本講義では、現在のコンピュータの数学的・論理的背景である形式言語・オートマトン・計算量といった基本的概念の理解を目的とする。これらは、プログラミング言語論や暗号論などの基礎にあたるので、よく理解しておく必要がある。 【JABEE評価基準】 C:計算の理論,情報理論 (3) チューリングマシン/オートマトン、言語クラス、文法の相互関係 を理解している。 C:計算の理論,情報理論 (4) 与えられた言語または正規文法に基づいて最小の有限オートマトン を設計できる。 C:計算の理論,情報理論 (5) 字句解析および構文解析の基礎を理解している。 [上へ戻る] |
教科書・参考書教科書:
参考書:
[上へ戻る] |
講義資料第01回 04/14 講義資料:[PowerPoint] [PDFファイル] [ミニテスト] [シラバステキスト] 第02回 04/21 講義資料:[PowerPoint] [PDFファイル] [ミニテスト] 第03回 04/28 講義資料:[PowerPoint] [PDFファイル] [ミニテスト] [DFA.pm] [DFATest.pm] お休み 05/05 [小レポート] 第04回 05/12 講義資料:[PowerPoint] [PDFファイル] [ミニテスト] 第05回 05/19 講義資料:[PowerPoint] [PDFファイル] [ミニテスト] 第06回 05/26 講義資料:[PowerPoint] [PDFファイル] [ミニテスト] 第07回 06/02 講義資料:[PowerPoint] [PDFファイル] [ミニテスト] 第08回 06/09 講義資料:[PowerPoint] [PDFファイル] [ミニテスト] 第09回 06/16 講義資料:[PowerPoint] [PDFファイル] [ミニテスト] 第10回 06/23 講義資料:[PowerPoint] [PDFファイル] [ミニテスト] [中レポート] 第11回 06/30 講義資料:[PowerPoint] [PDFファイル] [ミニテスト] 第12回 07/07 講義資料:[PowerPoint] [PDFファイル] [ミニテスト] 第13回 07/14 講義資料:[PowerPoint] [PDFファイル] 第14回 07/16 講義資料:[PowerPoint] [PDFファイル] 試 験 07/28 前期定期試験 [上へ戻る] |
連絡先部屋:7号館(情報棟) 207号室 (0952-28-8858 内線:8858) 電子メール: mika@is.saga-u.ac.jp WWW掲示板: 「計算の理論I及びII 質問掲示板」 レポート提出アドレス: mika@is.saga-u.ac.jp [上へ戻る] |
Copyright 2001 Mika Ohtsuki