07月09日 傅皓政 台大：逻辑 作者：sokucc 分类：未命名 浏览：244 评论：0 傅皓政 台大：逻辑— 傅皓政 台大：逻辑 课程介绍 本课程是以学习初阶逻辑 (First-order Logic) 为目标。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate... Tag：陈毓文
