情報英語A・情報英語B (2011年度秋学期)
時間 | 火曜日3・4時間目 (13:15-16:00) |
場所 | 木村研究室 |
担当者 |
木村泰紀
|
使用テキスト
- 渡辺治, 北野晃朗, 木村泰紀, 谷口雅治, 『数学の言葉と論理』, 朝倉書店, 東京, 2008年.
- W. Takahashi, Introduction to Nonlinear and Convex Analysis, Yokohama Publishers, Yokohama, 2009.
開講日
- 第 0回 2011年10月25日 14:00-15:00
- 第 1回 2011年11月 1日 13:15-16:00
- 第 2回 2011年11月 8日 13:15-16:00
- 第 3回 2011年11月15日 13:15-14:50
- 第 4回 2011年11月29日 13:15-16:00
- 第 5回 2011年12月 6日 13:15-16:00
- 第 6回 2011年12月13日 13:15-16:00
- 第 7回 2011年12月14日 10:40-12:10
- 第 8回 2012年 1月10日 13:15-16:00
- 第 9回 2012年 1月17日 13:15-16:00
- 第10回 2012年 1月24日 13:00-15:45
- 第11回 2012年 1月31日 10:40-14:30
- 第12回 2012年 2月 8日 10:40-12:10
- 第13回 2012年 2月17日 10:40-14:30
- 第14回 2012年 2月21日 11:00-14:30
- 第15回 2012年 3月 1日 10:30-13:00
担当者
数学の言葉と論理
- 1.1 命題論理
- 連言と選言 まで (岡本)
- 含意 まで (橋本)
- 推論 まで (都甲)
- 1.2 述語論理
- 全称命題と存在命題 まで (出水)
- 述語論理での推論 まで (中川)
- 1.3 証明
- より複雑な論法 まで (尾形)
- 数学における表現 まで (岡本)
- 1.4. 集合
- 集合の表現 まで (橋本)
- 包含関係 まで (都甲)
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 4 Banach Spaces
- 4.1 Linear spaces (橋本)
- 4.2 Banach spaces (都甲)
- 4.3 Linear continuous mappings (出水)
- Chapter 5 Hilbert Spaces
- 5.1 Hilbert spaces (中川)
- 5.2 The nearest point theorem (尾形)
- 5.3 Separation theorems (岡本)
- 5.4 Opial's theorem (橋本)
- 5.5 Riesz's theorem and product spaces (都甲)
進行状況
- 第 0回 ガイダンス
- 第 1回 1.1 命題論理 まで
- 第 2回 1.3 証明 定理 1.33 まで
- 第 3回 1.4 集合 集合の表現 まで
- 第 4回 1.1 Elementary properties of real numbers まで
- 第 5回 1.2 Sequences which converges to 0 まで
- 第 6回 1.4 Superior limits and inferior limits, Example 1.4.2 の前まで
- 第 7回 1.4 Superior limits and inferior limits まで
- 第 8回 4.1 Linear spaces, Example 4.1.5 まで
- 第 9回 4.2 Linear spaces, Remark 4.2.6 まで
- 第10回 4.3 Linear continuous mappings, Theorem 4.3.3 まで
- 第11回 4.3 Linear continuous mappings まで
- 第12回 5.1 Hilbert spaces まで
- 第13回 5.2 Separation theorems, Theorem 5.2.2 まで
- 第14回 5.4 Opial's theorem まで
- 第15回 5.5 Riesz's theorem and product spaces まで
yasunori@is.sci.toho-u.ac.jp