記号論理学、集合論、代数系、測度論などの基礎事項の演習を行う。
記号論理学、集合論、代数系、測度論などの基礎事項を、演習を通じて身につける。
第 1 週(4/10) 講義計画の説明
第 2 週(4/17) 記号論理学:命題と真理表
第 3 週(4/24) 記号論理学:命題の代数、論法
第 4 週(5/1) 記号論理学:述語論理
第 5 週(5/8) 記号論理学:証明
第 6 週(5/15) 集合論:集合
第 7 週(5/22) 集合論:集合の演算
第 8 週(5/29) 集合論:関係
第 9 週(6/5) 集合論:関数
第 10 週(6/12) 微分積分学:数列、数列の収束
第 11 週(6/19) 微分積分学:関数、関数の収束
第 12 週(6/26) 微分積分学:関数の連続性と微分可能性
第 13 週(7/3) 微分積分学:関数
第 14 週(7/10) 確率と統計:確率
(7/17 は金曜日の授業の日、本講義はなし)
第 15 週(7/24) 確率と統計:統計
必要に応じて資料を配付する。
本科目は、「合意形成学特別教育研究コース(コース長:猪原健弘准教授、コースWebサイト:http://www.ipcob.org/course/)」のコース指定科目であり、このコースの履修生のみが履修可能である。このコースの履修方法や修了認定方法など詳細については、コースWebサイトを参照のこと。さらに不明な点がある場合は、courses@valdes.titech.ac.jp 宛に問い合わせること。また、価値システム専攻の学生は、特別演習として履修可能なので、詳しくは担当教員に問い合わせること。
演習への参加による。
数学の基礎事項を学びます。受講生の皆さんの積極的な参加を期待します。