离散数学的演绎法证明能给小弟详细的解释一下吗，我不懂演绎法，谢谢

按照三段论、假言推理等推理规则构造由前提到结论的证明过程，熟悉了推理规则就容易写过程了，与日常生活中的逻辑推理类似

离散数学主要是应用在哪里？

离散数学里面牵扯到很多东西像是布尔代数，命题逻辑什么的，一方面对底层实现比如组成原理有帮助，另一方面在人工智能上面会有运用，当然还有很多别的地方，和逻辑相关多少会扯到一点。近世代数什么的，后面组合数学会有涉及（染色的方案数和置换群什么的），还有数论（整除关系的格恩），这些玩意到算法复杂度分析，和密码学又会有用的。像图论什么的，图论的算法本身就对解决很多实际问题很有用了。在后面来说，编译中的很多优化分析都是图论算法，像数据流分析或者寄存器分配之类的。至少数据结构和算法会用到，然后再深层次，数学决定了你在程序上能走多远

耿素云 离散数学 第五版 习题答案

　《离散数学题解(第五版)》是《离散数学(第五版)》(耿素云、屈婉玲、张立昂编著，清华大学出版社出版)一书的配套题解．
　　全书含数理逻辑、集合论、图论、组合分析初步、代数结构以及形式语言与自动机初步6个部分．每部分均包含内容提要、与本部分配套的习题、习题解答三方面内容．对每道题都做了较详细的解答与分析，对某些题还给出了不同的解法或指出容易犯的错误及犯错误的原因．
　　《离散数学题解(第五版)》可作为与《离散数学(第五版)》配套的辅助教材，也可以作为其他离散数学教材的参考书．