本课程主要内容包括：集合论、可计算性理论、命题逻辑与一阶逻辑、推理与证明系统和Prolog编程；面向计算机科学与技术相关专业的研究生。
本课程为我校计算机科学与技术专业硕士的专业核心课，自2008年开课以来一直由李辉担任主讲教师，每学期学生人数基本保持在10-40人左右。以计算机科学与技术的学术硕士学生为主，同时也有我校其他学科的硕士生、博士生和留学生前来选课，专业包括：自动化、应用数学等。学生对本课程的教学效果非常认可，认为教学内容非常独特、有内涵、能引发深度思考，注重理论与实践的结合，教师上课循循善诱，认真负责，评教成绩均在90分以上。
课程优势在于理论结合实际，帮助学生循序渐进地提高逻辑判断和思考能力。劣势在于涉及的理论知识宽泛而深奥，要学好这门课，除了认真听讲，仍需大量阅读相关的研究文献。
