2008年度 情報数学の連絡事項
2008年度の授業は次の日程で行う予定です。
小林先生の授業が、4月12日、4月19日、4月26日、5月12日、
6月9日、6月16日、6月23日、6月30日、7月7日、7月14日の10回の予定です。
後藤滋樹の授業が5月19日(月)、5月26日(月)、6月2日(月)の3回の予定です。
いずれも月曜日の2限。
小林先生は教科書を指定しています。
富田悦次・横森貴「オートマトン・言語理論」森北出版, 1992.
ISBN-10: 4627805500, ISBN-13: 978-4627805507
また小林先生の講義資料が、
ここに置いてあります。
後藤滋樹担当分では教科書を指定しません。
参考書は授業中に紹介します。教室でスライドを提示します。
そのスライドの資料のPDFファイルを、下に掲載します。
この資料を各自でプリントして復習に活用してください。
- 5月19日(月) ブール代数と命題論理 (資料 pdf 5頁, 5/18版)
- 5月26日(月) 述語論理と∀∃ (資料 pdf 4頁, 5/24版)
- 6月2日(月) 完全性と不完全性 (資料 pdf 5頁, 6/2訂正版)
6月2日の授業中にレポート課題の説明をしました。
レポートの提出方法、締切日時についてはCourseN@viを参照してください。
2007年度以前の 情報数学を再履修している諸君へ
情報数学を再履修している諸君は、上田先生のＷＥＢページ
(このURL)
を参照してください。
そのページの冒頭の説明を引用します。
「本科目の受講者は，情報理工学科の「情報数学」（２単位）への出席・レポート提出・
定期試験受験のほかに，本ページに指示する課題（１単位分）を提出する必要があります
．」
具体的な課題の内容はWEBページを読んでください。
Waseda netのメールでエラーが発生している諸君は次の事項に注意をしてくださ
い。
- Waseda netからhotmailに転送するとエラーになります。この詳しい説明は
次を参照してください。(
説明)
- Quota (学生一人当り5MB)をオーバーしているとメールを受信できません。
☆ このページは随時更新します。ブラウザの「再読み込み、更新」などの
機能を活用して最新の情報を閲覧してください。
Updated on June 2, 2008