講座系 【数学】証明のための「命題と論理」 今、シリーズでオートマトンと言語に関する話を書いている。初回は以下だ。さて、前回から必要な知識の補足を書いている。前回は、集合とは何ぞやというところを解説した。本当に基礎の部分しか解説していないが、一旦集合が何者かは理解できたと思う。以下が... 2020.12.18 講座系