情報科学セミナーA・情報科学セミナーB (2023年度秋学期)

使用テキスト

1. 木村泰紀, 『数学の論理』, プレプリント, 2013年.
2. Y. Kimura, Real numbers, preprint, 2023.
3. W. Takahashi, Introduction to Nonlinear and Convex Analysis, Yokohama Publishers, Yokohama, 2009.

開講日

• 研究室紹介 2023年 9月26日
• 第 0回 2023年10月17日 14:00-15:00
• 第 1回 2023年10月24日
• 第 2回 2023年10月31日
• 第 3回 2023年11月 7日
• 第 4回 2023年11月14日
• 第 5回 2023年11月21日
• 第 6回 2023年11月28日
• 第 7回 2023年12月 5日
• 第 8回 2023年12月19日
• 第 9回 2024年 1月 9日（予定）

担当者

数学の論理

• 1 命題論理
  • 1.1 命題 (米川)
  • 1.2 連言 (今井)
  • 1.3 選言 (實川)
  • 1.4 否定 (島野)
  • 1.5 含意 (米川)
  • 1.6 推論 (今井)
  • 1.7 複雑な推論 (實川)
• 2 述語論理
  • 2.1 量化記号 (島野)
  • 2.2 述語論理の推論規則 (實川)

Real numbers

• pp1-2 (今井)
• pp3-4 (實川)
• pp5-6 (島野)
• pp7-8 (米川)
• p9-p11 Th3.15 証明完了まで (今井)
• p11 "A sequence (a_n) is"-p13 Th4.3 証明完了まで (實川)
• p13 Th4.4-p15 Th4.6 証明完了まで (島野)
• p15 Th4.7-p17 Th4.9 証明完了まで (米川)
• p17 Th4.10-p19 Th5.2 証明完了まで (今井)
• p19 Th5.3-p21 Th5.8 証明完了まで (實川)
• p21 Th5.9-p22 (島野)
• p23 (米川)

進行状況

• 第 0回 ガイダンス
• 第 1回 1.5 含意 まで
• 第 2回 2.2 述語論理の推論規則 まで
• 第 3回 p3 Theorem 2.3 まで
• 第 4回 p6 Example 2.10 まで
• 第 5回 p8 Theorem 3.8 まで
• 第 6回 p11 Example 3.17 まで
• 第 7回 p15 Theorem 4.6 まで
• 第 8回 p20 Theorem 5.4 まで