情報数理IA (2020年度春学期)

注意

講義日時等が急遽変更される場合もありますので、掲示板やウェブページのチェックを忘れないようにしてください。

開講日

政府による緊急事態宣言の発令に伴い、本講義はMoodleによる遠隔講義で開講されます。

• 第 1回 2020年 4月20日 公開: 集合の記法
• 第 2回 2020年 4月27日 公開: 集合の演算
• 第 3回 2020年 5月11日 公開: 連言と選言
• 第 4回 2020年 5月18日 公開: 否定と含意
• 第 5回 2020年 5月25日 公開: 推論規則
• 第 6回 2020年 6月 1日 公開: 述語論理
• 第 7回 2020年 6月 8日 公開: 命題の証明
• 中間試験 2020年 6月15日 公開
• 第 8回 2020年 6月22日 公開: 集合族の演算
• 第 9回 2020年 6月29日 公開: 冪集合と直積集合
• 第10回 2020年 7月 6日 公開: 写像
• 第11回 2020年 7月13日 公開: 単射と全射
• 第12回 2020年 7月20日 公開: 濃度
• 第13回 2020年 7月27日 公開: 無限集合
• 期末試験 2020年 7月27日 公開

資料

演習問題解答

演習問題及びその解答の配付は終了しました。