CS402计算机科学逻辑概论，KAIST，2021年Spring 这是2021年Spring在KAIST CS部门提供的“ CS402计算机科学逻辑导论”课程的网页。该网页将包含与课程相关的材料和公告的链接。 CS402是一门有关逻辑的课程，重点是其在计算机科学中的用途。 其目的是使学生了解逻辑的计算方面，尤其是现代SAT求解器和定理证明背后的关键数学结果和算法。 该课程涉及大量的数学和理论计算机科学，尤其是计算复杂性，验证和编程语言。 我们假设学生精通阅读和证明数学定理，并且他们从可计算性和