2010-02-12から1日間の記事一覧
初春な日。一日、だいたい、ロジック。研究会は直観主義論理さわり。ひさしぶりに自然演繹をやった。研究会後、感覚が鈍っているので、復習がてら問題を解いていく。簡単。いくつか別証明ができたり、感覚は取り戻したようだけど、だからといって、何の足し…
初春な日。一日、だいたい、ロジック。研究会は直観主義論理さわり。ひさしぶりに自然演繹をやった。研究会後、感覚が鈍っているので、復習がてら問題を解いていく。簡単。いくつか別証明ができたり、感覚は取り戻したようだけど、だからといって、何の足し…