2018-06-05から1日間の記事一覧
補講予定日の投票のお願い 以下のリンクから、希望日にご投票下さい。 https://doodle.com/poll/dz2gu8ivezii6knv 内容:問題演習(述語論理) 授業内容 授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。 前…
補講予定日の投票のお願い 以下のリンクから、希望日にご投票下さい。 https://doodle.com/poll/dz2gu8ivezii6knv 内容:問題演習(述語論理) 授業内容 授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。 前…