講座詳細情報
申し込み締切日:2020-05-15 / 自然科学・環境 / 学内講座コード:”2011G005
有限オートマトンと正規文法入門 機械はなぜ文字列を器用に分類できるのか
主催:東京都立大学オープンユニバーシティ[東京都立大学 飯田橋キャンパス(東京都)]
問合せ先:
問合せ先:
東京都公立大学法人 東京都立大学
東京都立大学オープンユニバーシティ
TEL: 03-3288-1050
FAX: 03-3264-1863
ou-kouza@jmj.tmu.ac.jp
https://www.ou.tmu.ac.jp/web/
〒102-0072 東京都千代田区飯田橋3-5-1東京区政会館3階
- 開催日
- 5月16日(土)~6月6日(土)
- 講座回数
- 4回
- 時間
- 10:30~12:00
- 講座区分
- 前期
- 入学金
- 3,000円
- 受講料
- 10,100円
- 定員
- 20
- 補足
※この講座の申し込みは既に締め切りました。
関連講座
講座詳細
【講座内容】
有限オートマトンは、コンピュータの能力を制限して単純化した数学的モデルの一つです。有限オートマトンが文字列を「これは受理」「これは拒否」と、より分ける仕組みを数学的に解説します。高校数学の「集合と論理」「数列と漸化式」の知識を仮定しますが、微積分とプログラミング言語の知識はなくてもついていけるようにします。
【講座スケジュール】
第1回 05-16 10:30~12:00
第2回 05-23 10:30~12:00
第3回 05-30 10:30~12:00
第4回 06-06 10:30~12:00
有限オートマトンは、コンピュータの能力を制限して単純化した数学的モデルの一つです。有限オートマトンが文字列を「これは受理」「これは拒否」と、より分ける仕組みを数学的に解説します。高校数学の「集合と論理」「数列と漸化式」の知識を仮定しますが、微積分とプログラミング言語の知識はなくてもついていけるようにします。
【講座スケジュール】
第1回 05-16 10:30~12:00
第2回 05-23 10:30~12:00
第3回 05-30 10:30~12:00
第4回 06-06 10:30~12:00
備考
※教材はプリントを配布します。
単位数:1単位
単位数:1単位
講師陣
名前 | 鈴木 登志雄 |
---|---|
肩書き | 首都大学東京准教授 理学部 |
プロフィール | 専門は数理論理学、計算の理論、計算量理論。筑波大学大学院博士課程数学研究科中退。筑波大学博士(理学)。著書「論理リテラシー」(培風館)、共著に「数学のロジックと集合論」(培風館)、「ゲーデルと20世紀の論理学(1)」(東京大学出版会)。URL http://www.ac.auone-net.jp/~bellp/index-j.html |