【菜鸡随笔】数理逻辑(一)

前言：        最近一直寻思着要不要把之前学过的通通都记下来比较好，毕竟人的记忆力有限，有些东西虽然简单但过一会就忘得一干二净了。所以决定再次内化一下知识体系，提炼主要内容编成快速阅览版记录下来(所以并不保证大家都能从零开始看懂哈哈)并且都归类在标题带【菜鸡随笔】的分组里。     实际上在这样总结的过程中，已经有好几次对原有的出现了新的认识，真的挺好的。那么就从现代计算机科学的核心，数理逻

>>阅读原文<<