32130 数理科学演習I
|
必 |
|
通年 |
|
4 |
|
3 |
|
佐々木 克巳 |
他の科目との関連 | 数理論理学 |
他学科履修 | 不可 |
副題 | |
講義内容 | 学生の希望する専門領域について、小人数教育で指導する。今まで学んできた基礎を応用させながら文献学習などの自主的研究に取り組ませる。学生の積極的な発表・討論が要求される。 |
講義計画 | 数理論理学の分野からいくつかの話題をとりあげ、その基礎的な部分の演習を行う。とくに、シークエントを用いて、「証明」「推論」というものを整理する方法を学ぶ。 |
評価方法 | |
テキスト | 以下を用いるが、購入の必要はない。 小野寛晰、「情報科学における論理」、日本評論社 |
その他 |