中国科学技术大学 陈小平教授 数理逻辑讲义笔记

高等数理逻辑课件，2018复习资料，utf8面向计算机的数理逻辑电子版

感觉现在的人都太急功近利。身边很多朋友都不重视计算机科学的基础理论以及数学基础，大家常常只喜欢学习语言，认为能更快的转化成Money。不过，我觉得想要深入理解计算机科学还是需要扎实的理论基础的。如果不

handbookofmodallogic；Introductiontologicforcomputerscience；logicanddiscretemathmaticsforcomputerscie

MathLogic Model Checking

高级数理逻辑课件，有关公式公理什么的~学计算机的同学可能用到，研究生阶段的课程

中国科学技术大学-机器学习与知识发现-陈恩红-期末考试16-17年

中国科学技术大学研究生课程数据科学导论IntroductiontoDataScience课件PPT主讲刘琪

高级数理逻辑相关的课程中的模糊逻辑，对模糊逻辑有了大致的分析

详细介绍了命题逻辑的基本知识，比课本上的要好些

中国科学技术大学2010年计算机软件技术基础考研真题