2020年1月29日 CoqlogicMathematics 1/28 マルゼミ「論理学入門 I」ダイジェスト 1/28マルゼミ「論理学入門 I」の音声でのダイジェスト版です。 イントロ エンディング 講演資料 講演資料はこちらです。https://www.marulabo.net/docs/logic1/ 当日の様子です
2020年1月26日 logicMathematics 1月のセミナー「論理学入門 I」のお知らせ 丸山の1月のセミナーのお知らせです。 1/28 マルゼミ 「論理学入門 I — 命題論理の演繹ルール」 https://logic1.peatix.com/view