离散数学第一章

为了感兴趣而学。 1.1  主要内容（集合论和图论）         1.2 命题逻辑         定义原子命题，而后原子命题的各种结合，可以满足某些定理。就像定义数字以及其运算规则一样，比如乘法交换律等等啥，不过这里数字换成了命题。而我所欠缺的是形式化所遇到的东西，将其规约某个理论之下，借助这个理论数学的所有公立假设定理，得到一些性质帮助我解决问题。我必须系统学习NP难问题、图论、离散数学。

>>阅读原文<<