樱花雪
请自动化1101庞庆元到到综合楼北广场参加fasi队列 
《离散数学》作者参考了若干国内外相关教材，并结合十多年的教学体会，编写了本教材。全书主要特色如下：《离散数学》较全面地介绍了离散数学的各知识点。在讲解的过程中尽量结合实例，避免抽象和枯燥的论述不仅强调基本内容、基本概念及其实际背景，以及各概念间相互关系，而且强化了证明的思想和方法的介绍，以培养学生的数学思维能力在内容组成方面，图论部分通过图模型的引入来加强解决实际问题的能力，代数结构部分则强调了在计算机系统和编码技术中有着重要作用的本原元和本原多项式的内容，而数理逻辑则是通过泛代数引入，和代教部分一气呵成总之，《离散数学》结构合理、内容丰富，讲解由浅入深，体现知识点的连贯性、完整性，有利于读者得到离散数学思维方法的训练，为从事计算学科的学习和研究提供必要的理论储备。《离散数学》的作者长期从事离散教学的课程教学，具有较丰富的教学经验，并在算法理论，密码与信息安全和信息论与 编码等研究领域取得许多有影响的成果，发表了较高学术水平的论文。计算学科的重要数学基础，教学实践的多年系统总结，知识体系的完美提炼组合。
P : 超人能防止邪恶Q : 超人愿意防止邪恶R：超人阻止邪恶成功S：超人无能T：超人邪恶U：超人存在条件：（1）P∩Q -> R（2）┐P->S（3）┐Q->T（4）┐R（5）U -> ┐T ∩ ┐S结论: ┐U证明:∵ ┐R = 1，∴ R = 0又∵ P∩Q -> R是真 且 R = 0， ∴ P∩Q = 0 即 ┐P∪┐Q = 1又∵┐P->S， ┐Q->T， ∴ ┐P∪┐Q -> S ∪ T 为真又∵┐P∪┐Q = 1， 所以 S U T = 1┐T∩┐S = 0， 而U -> ┐T∩┐S 是1， 所以 U = 0， 即┐U
