计算机科学中的逻辑学，是计算机科学的基础科学。有助于喜欢计算机理论的同学学习。