━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
以前のお知らせ
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

「証明支援システム Coq で学ぶ証明法」を載せました．(2025.7.29)
チャレンジ問題「自然演繹による証明」を載せました．(2025.7.23)
「彩色問題の論理解法」を載せました．(2025.7.16)
「例題集」を載せました．(2025.4.23)
確認問題の解答と解説を毎回の授業後に追加します．(2025.4.16)
補助資料集を載せました．(2025.4.9)
講義の実施要領などの詳細は Moodle コースを見てください． (2025.4.9)
初回の講義日は 4月16日(水) です．(2025.4.1)

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
授業のホームページ

山田 俊行
https://www.cs.info.mie-u.ac.jp/~toshi/