通过代码编译出的程序帮助用户求出其输入的命题公式的真值表以及主析取范式和主合取范式。 要求：能够列出含三个以内变量的合式公式的真值表，并给出相应的主析取和主合取范式。

应用主析取范式分析和解决实际问题 例2.12　某科研所要从3名科研骨干A,B,C中挑选1～2名出国进修。由于工作原因，选派时要满足以下条件： (1)若A去，则C同去。 (2)若B去，则C不能去。 (3)若C不去，则A或B可以去。 问应如何选派他们去？ 分析： (1) 将简单命题符号化 (2) 写出各复合命题 (3) 写出由(2)中复合命题组成的合取式（前提） (4) 将(3)中公式化成析取式（最好是主析取范式） (5) 这样每个小项就是一种可能产生的结果。 去掉不符合题意的小项，即得结论。

离散数学_耿素云、屈婉玲、张立昂，清华大学出版社

离散数学第二版课后答案

傅 彦：离散数学及其应用习题解析。选傅彦老师的孩纸们快下载吧。哈哈。

合理提起微分信号，就能够提高许多实用型的控制器的性能。并且能大大的简化控制器的设计。

3.一维离散傅立叶变换(DFT) 第七章：频域处理 快速傅立叶变换 傅立叶变换 离散余弦变换 图像的频率域增强 *

已知所给集合 A 和 B，求 A 与 B 的并集 C（C=A∪B）。 使学生更深刻理解集合中并运算定义，并掌握通过计算机语言实现集合并运算的基本方法。 主要仪器设备及耗材 PC，Dev-C++

离散数学 课后习题 答案 有助于各位同学准备期末考 或是想自我提升也是有帮助的哦

离散优化程序，内含枚举法，蒙特卡洛法、线性整数规划，最小生成树、动态规划等等， %*enum - 枚举法 % *monte - 蒙特卡洛法 % *lpint (BranchBound)- 线性整数规划 % *L01p_e - 0-1整数规划枚举法 % *L01p_ie - 0-1整数规划隐枚举法 % *bnb18 - 非线性整数规划(在MATLAB5.3使用) % *bnbgui - 非线性整数规划图形工具(在MATLAB5.3使用) % *mintreek - 最小生成树kruskal算法 % *minroute - 最短路dijkstra算法 % *krusk - 最小生成树kruskal算法mex程序 % *dijkstra - 最短路dijkstra算法mex程序 % *dynprog - 动态规划