情報英語A・情報英語B (2012年度秋学期)
時間 | 火曜日3・4時間目 (13:15-16:00) |
場所 | 木村研究室 |
担当者 |
木村泰紀
|
使用テキスト
- 渡辺治, 北野晃朗, 木村泰紀, 谷口雅治, 『数学の言葉と論理』, 朝倉書店, 東京, 2008年.
- W. Takahashi, Introduction to Nonlinear and Convex Analysis, Yokohama Publishers, Yokohama, 2009.
開講日
- 第 0回 2012年10月23日 13:30-14:30
- 第 1回 2012年10月30日 13:15-16:00
- 第 2回 2012年11月 6日 13:15-16:00
- 第 3回 2012年11月20日 13:15-16:00
- 第 4回 2012年11月27日 13:15-16:00
- 第 5回 2012年12月 4日 13:15-16:00
- 第 6回 2012年12月11日 13:15-16:00
- 第 7回 2013年 1月16日 14:00-16:00
- 第 8回 2013年 1月22日 13:15-16:00
- 第 9回 2013年 1月29日 13:15-16: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 (和田)
進行状況
- 第 0回 ガイダンス
- 第 1回 1.1 命題論理 含意 まで
- 第 2回 1.2 述語論理 まで
- 第 3回 1.3 証明 まで
- 第 4回 1.4 集合 包含関係 まで
- 第 5回 1.1 Elementary properties of real numbers まで
- 第 6回 1.2 Sequences which converges to 0 まで
- 第 7回 1.3 Limits, Theorem 1.3.4 まで
- 第 8回 1.4 Superior limits and inferior limits, Theorem 1.4.1 まで
- 第 9回 1.5 The completeness of the real line まで
yasunori@is.sci.toho-u.ac.jp