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