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