说明：  这是亚利桑那州立大学计算机课程Logic for Computer Scientists 的原版教程。教程中重点讲述了propositional logic和逻辑编程语言（ASP）Answer set programming. 这是一种非常快速在国外刚兴起的逻辑编程语言。
(This is the Arizona State University computer courses Logic for Computer Scientists in the original tutorial. Tutorial focus on the propositional logic and logic programming languages Answer set programming. This is just a very rapid rise in foreign logic programming language.)