EDB [2011/情報数学] (218712)

EID=218712

EID:218712, Map:0, LastModified:2010年11月29日(月) 10:34:41, Operator:[水本匡昭], Avail:TRUE, Censor:0, Owner:[[教務委員会委員長]/[徳島大学.総合科学部]], Read:継承, Write:継承, Delete:継承.

○種別 (必須):

□

総合科学部 (授業概要)

[継承]

○入学年度 (必須):

□

西暦 2011年 (平成 23年)

[継承]

○名称 (必須):

□

(英) (日) 情報数学 (読) じょうほうすうがく

[継承]

○コース (必須):

1.

2011/[徳島大学.総合科学部.総合理数学科.数理科学コース]/[学士課程]

[継承]

○担当教員 (必須):

1.

蓮沼徹 ([徳島大学.大学院社会産業理工学研究部.理工学域.数理科学系.数理情報分野]/[徳島大学.理工学部.理工学科.数理科学コース.数理情報講座])

○肩書 (任意):

[継承]

○単位 (必須):

□

2

[継承]

○目的 (必須):

□

(英) (日) 計算機科学の基礎理論である，オートマトン，言語理論，計算論についての理解を深めることを目的とする．

[継承]

○概要 (必須):

□

(英) (日) オートマトン，正則表現，文脈自由文法，プッシュダウン·オートマトン，Turing機械，判定不能問題，NP完全性

[継承]

○キーワード (推奨):

1.

(英) Automaton (日) オートマトン (読)

[継承]

2.

(英) Language (日) 言語 (読)

[継承]

3.

(英) Computation (日) 計算 (読)

[継承]

○先行科目 (推奨):

○関連科目 (推奨):

○注意 (任意):

○目標 (必須):

1.

(英) (日) 有限オートマトンの基本的事項(決定性，非決定性，正則表現)，文脈自由文法とプッシュダウンオートマトンの関係，Turing機械，決定不能性，NP完全性を理解する．

[継承]

○計画 (必須):

1.

(英) (日) 有限オートマトン

[継承]

2.

(英) (日) 決定性，非決定性

[継承]

3.

(英) (日) 正則表現

[継承]

4.

(英) (日) 非正則言語

[継承]

5.

(英) (日) 状態数最小化

[継承]

6.

(英) (日) 文脈自由文法

[継承]

7.

(英) (日) プッシュダウン·オートマトン

[継承]

8.

(英) (日) 言語とオートマトン

[継承]

9.

(英) (日) Turing 機械

[継承]

10.

(英) (日) Turing 可算言語

[継承]

11.

(英) (日) 決定不能問題

[継承]

12.

(英) (日) 計算量クラス

[継承]

13.

(英) (日) 還元可能性

[継承]

14.

(英) (日) NP完全性

[継承]

15.

(英) (日) 総括授業

[継承]

○評価 (必須):

□

(英) (日) 期末テスト，レポート課題，授業への取り組み等により総合的に評価する．

[継承]

○再評価 (必須):

□

(英) (日) 行う．

[継承]

○教科書 (必須):

○参考資料 (推奨):

1.

(英) (日) 参考書: 計算論の基礎，Michael Sipser 著，渡辺・太田監訳共立出版

[継承]

○URL (任意):

○連絡先 (推奨):

1.

蓮沼徹 ([徳島大学.大学院社会産業理工学研究部.理工学域.数理科学系.数理情報分野]/[徳島大学.理工学部.理工学科.数理科学コース.数理情報講座])

○オフィスアワー (任意):

[継承]

○科目コード (推奨):

○備考 (任意):

和文冊子 ●	情報数学 / 情報数学
欧文冊子 ●	情報数学 / 情報数学

この情報を参照している情報

【教育プログラム】…(1)

Number of session users = 0, LA = 0.83, Max(EID) = 415538, Max(EOID) = 1123640.

登録内容 (EID=218712)

標準的な表示

関連情報

この情報を参照している情報