情報数理A (2023年度春学期)
時間 | 火曜日3・4限 (11:00-12:50) |
場所 | 3304講義室 |
担当者 |
木村泰紀 |
注意
講義日時等が急遽変更される場合もありますので、掲示板やウェブページのチェックを忘れないようにしてください。
開講日
- 第 1回 2023年 4月11日: 集合の記法
- 第 2回 2023年 4月18日: 集合の演算
- 第 3回 2023年 4月25日: 連言と選言
- 第 4回 2023年 5月 2日: 否定と含意
- 第 5回 2023年 5月 9日: 推論規則
- 第 6回 2023年 5月16日: 述語論理
- 第 7回 2023年 5月23日: 命題の証明
- 中間試験 2023年 5月30日
- 第 8回 2023年 6月 6日: 集合族の演算
- 第 9回 2023年 6月13日: 冪集合と直積集合
- 第10回 2023年 6月20日: 写像
- 第11回 2023年 6月27日: 単射と全射
- 第12回 2023年 7月 4日: 濃度
- 第13回 2023年 7月11日 (オンライン) : 無限集合
- 期末試験 2023年 7月26日 (予定)
資料
演習問題と提出課題
演習問題とその解答および提出課題については
Moodle
で詳細を案内します。
yasunori@is.sci.toho-u.ac.jp