12月26日は、これまでの宿題の回答、および古典論理での証明に関する問題演習とします。問題は当日配布します。

今週こそは授業できますします！！ 後期授業第六回目の今回は、前回学んだ直観主義論理の性質と、古典論理と排中律の紹介を行います。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに排中律を付…

直前で申し訳ありませんが、12/12の授業は、会社の都合により、休講とさせて頂きます。

授業中にお知らせしたとおり、12月5日は休講です。よろしくお願いいたします。