情報英語A・情報英語B (2013年度秋学期)
時間 | 火曜日3・4時間目 (13:15-16:25) |
場所 | 木村研究室 |
担当者 |
木村泰紀
|
使用テキスト
- 木村泰紀, 『数学の論理』, プレプリント, 2013年.
- W. Takahashi, Introduction to Nonlinear and Convex Analysis, Yokohama Publishers, Yokohama, 2009.
開講日
- 第 0回 2013年10月22日 13:10-16:00
- 第 1回 2013年10月29日
- 第 2回 2013年11月 5日
- 第 3回 2013年11月12日
- 第 4回 2013年11月19日
- 第 5回 2013年11月26日
- 第 6回 2013年12月 3日
- 第 7回 2013年12月10日
- 第 8回 2013年12月17日
- 第 9回 2014年 1月 7日
担当者
数学の論理
- 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 4 Banach Spaces
- 4.1 Linear spaces (岸)
- 4.2 Banach spaces (中村)
- 4.3 Linear continuous mappings (伊藤)
進行状況
- 第 0回 ガイダンス
- 第 1回 1.4 否定 まで
- 第 2回 1.7 複雑な推論 まで
- 第 3回 1.1 Elementary properties of real numbers, supremumとinfimumの定義まで
- 第 4回 1.2 Sequences which converges to 0, Theorem 1.2.2 まで
- 第 5回 1.3 Limits, Remark 1.3.5 まで
- 第 6回 1.4 Superior limits and inferior limits, Theorem 1.4.3 まで
- 第 7回 1.5 The completeness of the real line, Theorem 1.5.1 まで
- 第 8回 4.1 Linear spaces まで
- 第 9回 4.3 Linear continuous mappings, Remark 4.3.5 まで
yasunori@is.sci.toho-u.ac.jp