complogic s21:所有人的计算逻辑 源码

此回购 此回购包含Kevin Sullivan的Engineering Logic课程的课程材料。 作业文件夹是发布作业的位置 inClassNotes目录包含为类产生,呈现并经常在类中进行编辑的注释。 这些文件应准确反映学生在课堂上看到的内容。 profNotes目录随后包含这些文件的清理版本和带注释的版本。 zzz_junk目录是教师的临时区域。 我将永远不会要求您进行探索,也没有真正的理由这样做,但是,嘿,如果您感到无聊,请尝试一下。