情報科学セミナーA・情報科学セミナーB (2021年度秋学期)
時間 | 火曜日3・4時間目 (13:15-16:10) |
場所 | 4430 木村(泰)研究室 |
担当者 |
木村泰紀
|
使用テキスト
- 木村泰紀, 『数学の論理』, プレプリント, 2013年.
- W. Takahashi, Introduction to Nonlinear and Convex Analysis, Yokohama Publishers, Yokohama, 2009.
開講日
- 研究室紹介 2021年9月28日
- 第 0回 2021年10月19日 (火) 13:15-15:00
- 第 1回 2021年10月26日
- 第 2回 2021年11月 2日
- 第 3回 2021年11月 9日
- 第 4回 2021年11月16日
- 第 5回 2021年11月30日
- 第 6回 2021年12月 7日
- 第 7回 2021年12月14日
- 第 8回 2021年12月21日 13:15-15:00 (予定)
- 第 9回 2022年 1月 4日
- 第10回 2022年 1月11日
- 第11回 2022年 1月18日
- 第12回 2022年 1月25日
担当者
数学の論理
- 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 (谷下)
- 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.5 含意 まで
- 第 2回 2.2 述語論理の推論規則 まで
- 第 3回 1.1 Elementary properties of real numbers まで
- 第 4回 1.2 Sequences which converges to 0 まで
- 第 5回 1.3 Limits まで
- 第 6回 1.4 Superior limits and inferior limits まで
- 第 7回 1.5 The completeness of the real line まで
- 第 8回 4.1 Linear spaces まで
- 第 9回 4.2 Banach spaces まで
- 第10回 4.3 Linear continuous mappings, Theorem 4.3.7 証明(i)まで
- 第11回 5.1 Hilbert spaces, Remark 5.1.8 まで
- 第12回 5.2 The nearest point theorem まで
yasunori@is.sci.toho-u.ac.jp