情報科学セミナーA・情報科学セミナーB (2022年度秋学期)
時間 | 火曜日3・4時間目 (13:15-16:10) |
場所 | 4430 木村(泰)研究室 |
担当者 |
木村泰紀
|
使用テキスト
- 木村泰紀, 『数学の論理』, プレプリント, 2013年.
- W. Takahashi, Introduction to Nonlinear and Convex Analysis, Yokohama Publishers, Yokohama, 2009.
開講日
- 研究室紹介 2022年9月27日
- 第 0回 2022年10月18日 13:15-14:00
- 第 1回 2022年10月25日 13:15-14:45
- 第 2回 2022年11月 1日
- 第 3回 2022年11月 8日
- 第 4回 2022年11月15日
- 第 5回 2022年11月22日
- 第 6回 2022年11月29日
- 第 7回 2022年12月 6日
- 第 8回 2022年12月20日
- 第 9回 2023年 1月10日
- 第10回 2023年 1月17日
担当者
数学の論理
- 1 命題論理
- 1.1 命題(小西)
- 1.2 連言(浜野)
- 1.3 選言(高市)
- 1.4 否定(内田)
- 1.5 含意(池田)
- 1.6 推論(小西)
- 1.7 複雑な推論 (浜野)
- 2 述語論理
- 2.1 量化記号 (高市)
- 2.2 述語論理の推論規則 (内田)
Introduction to Nonlinear and Convex Analysis
- Chapter 1 Real Numbers
- 1.1 Elementary properties of real numbers (木村)
- 1.2 Sequences which converges to 0 (浜野)
- 1.3 Limits (小西)
- 1.4 Superior limits and inferior limits (高市)
- 1.5 The completeness of the real line (内田)
- Chapter 2 Metric spaces
- 2.1 The definition and closed sets (内田)
- 2.2 Open sets (小西)
- 2.3 Continuous mappings (浜野)
- 2.4 Complete metric spaces (高市)
- 2.5 Compactness (池田)
進行状況
- 第 0回 ガイダンス
- 第 1回 1.2 連言 まで
- 第 2回 1.6 推論 まで
- 第 3回 2.2 述語論理の推論規則 まで
- 第 4回 1.2 Sequences which converges to 0, Theorem 1.2.2 まで
- 第 5回 1.3 Limits, Theorem 1.3.7 まで
- 第 6回 1.4 Superior limits and inferior limits, Remark 1.4.4 まで
- 第 7回 1.5 The completeness of the real line まで
- 第 8回 2.1 The definition and closed sets, Theorem 2.1.8 まで
- 第 9回 2.2 Open sets まで
- 第10回 2.3 Continuous mappings まで
yasunori@is.sci.toho-u.ac.jp