学习办公 【傅皓政】台大：逻辑 开放课程培训课程视频讲座简介： 【傅皓政】台大：逻辑 课程介绍 本课程是以学习初阶逻辑 (First-order Logic) 为目标。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate logic)， ...
