cheader

シラバス詳細照会

シラバス詳細照会

  • 講義要項やWebシラバスの記載内容は、登録された受講生の人数や理解度に応じて、授業開始後に変更となる可能性があります。

main start

授業情報

開講年度 2019年度 開講箇所 教育学部
科目名
応用数学3

担当教員 横森 貴
学期曜日時限 春学期  月3時限
科目区分 数学科 配当年次 2年以上 単位数 2
使用教室 14-717A数学演習室(1) キャンパス 早稲田
科目キー 150600000E 科目クラスコード 01
授業で使用する言語 日本語
  コース・コード MATX253L
大分野名称 数学
中分野名称 数学
小分野名称 応用数学
レベル 中級レベル(発展・応用) 授業形態 講義

シラバス情報

最終更新日時:2019/03/01 16:07:34

授業概要  コンピュータの歴史はほんの半世紀であるにも関わらず現代人の生活に不可欠であり,その発展ぶりも目を見張るものがあるが,また同時にその現実的な限界も認識されつつある。この能力の限界を正しく理解し,それを克服し改良していくためには,理論的な基礎知識・背景となる関連知識の習得が必要となる。本講では,離散数学的素養を基盤に計算機のための数学として,「オートマトンと言語理論」に関する以下の項目を講述する。
授業の到達目標 本講では,離散数学的素養(特に、計算機のための情報数学)を基礎として,種々の計算モデルとそれらの能力の限界を正しく理解する。
授業計画 [第 1回]オートマトンと言語(数学的概念と記法などの準備)
[第 2回]自動機械としての順序機械
[第 3回]有限オートマトンと正則言語
[第 4回]等価性判定アルゴリズム
[第 5回]非決定性有限オートマトン
[第 6回]ε動作を許す有限オートマトン
[第 7回]言語演算と閉包性
[第 8回]正則言語と正則表現
[第 9回]形式文法とその言語族
[第10回]正則文法と有限オートマトン
[第11回]文脈自由文法
[第12回]標準形定理
[第13回]プッシュダウンオートマトンと文脈自由言語
[第14回]構文解析アルゴリズム
[第15回]総復習(試験を含む)

教科書 オートマトン・言語理論:第2版 (富田他著:森北出版)
参考文献 オートマトン言語理論 計算論I,II (野崎他訳:サイエンス社)
基礎 情報数学(横森・小林:サイエンス社)
成績評価方法
割合 評価基準
試験: 100% 15回目の授業時間内に試験を行う。(試験問題の解説も同時間内で行う。)
その他: 授業中に適時だす演習問題への回答、授業における受講態度の積極性も、加点の評価対象となる。
備考・関連URL 関連URL:
(横森研)http://www.edu.waseda.ac.jp/~yokomori/index.html

ページの先頭へ戻る

Copyright © Media Network Center,Waseda University 2006-2019.All rights reserved.

read