logic21 源码

CS402计算机科学逻辑概论,KAIST,2021年Spring 这是2021年Spring在KAIST CS部门提供的“ CS402计算机科学逻辑导论”课程的网页。该网页将包含与课程相关的材料和公告的链接。 CS402是一门有关逻辑的课程,重点是其在计算机科学中的用途。 其目的是使学生了解逻辑的计算方面,尤其是现代SAT求解器和定理证明背后的关键数学结果和算法。 该课程涉及大量的数学和理论计算机科学,尤其是计算复杂性,验证和编程语言。 我们假设学生精通阅读和证明数学定理,并且他们从可计算性和复杂性课程中了解基本概念,例如可判定性,NP完备性和归约性。 1.重要公告 [2月22日]处理迟交的政策。 我们将采用以下方案来处理作业和关键调查的逾期提交。 该方案假定总分数为100。 <=延迟一天(第二天午夜之前):-10 <=延迟两天:-20 <=延迟三天:-30 <=延迟四天:-4