一、知识框架图  二、数理逻辑        1.命题符号化           命题：能判断真假的陈述句           命题包含两个要素：陈述句，能判断真假           命题题符号化的步骤：                                1 )对于不太好理解的联结词或表达方式，如有必要,做适当的文字翻译。                  2 )找出其中所有的原子命题并符号化。                  3 )用适当的联结词将原子命题连接起来，如有必要，在适当位置配上括号。       2.真值表          设A是一命题公式, P1,P2….

离散数学(全美经典学习指导系列)中文版国外经典教材

【应用C】C语言实现离散数学合式公式的递归判断-附件资源

代码实现论文任意阶的二维离散小波变换，正反变换。 代码实现论文任意阶的二维离散小波变换，正反变换。 代码实现论文任意阶的二维离散小波变换，正反变换。 代码实现论文任意阶的二维离散小波变换，正反变换。

这个项目致力于我关于图像压缩的研究生工作。 该算法基于离散小波变换（DWT）。 在这里你可以找到一些与离散小波变换、循环扩展、Haar 小波滤波器、LeGall 5/3 滤波器相关的代码。 这是幻灯片和我的文凭。 语言：俄语。 @另见了解更多小波和其他变换实现

一个简单的块，可以准确地测量单相电源相位。您只需将电路中的电压和电流连接到块上，它就会显示电压和电流之间的相位差。 此模块可用作实用程序模块，并可用作任何 simulink 模型中的子系统。 该模块是为离散仿真类型设计的。 为了在其他领域使用它，需要进行一些修改。

matlab—离散傅里叶变换，有助于学习离散傅里叶变换

离散控制Matlab代码使用离散时间滑模控制器运行仿真的少量代码。 该存储库具有两种实现：一种使用MATLAB，另一种使用Python。 MATLAB代码 MATLAB文件可用于在Simulink的``嵌入式MATLAB函数''内部实现这样的控制器。 也可以仅使用它们进行仿真。 目前，我们仅支持扭曲算法和带有对角CB矩阵的经典SMC控制器。 Python代码 Python代码广泛使用平台的绑定。 您需要先安装此依赖项，然后才能运行代码。 此处显示的文件使用了Siconos的控制模块。 可以直接将控制输入值公式化为仿射变化不等式（AVI）的解决方案，并使用数值模块中的求解器。 支持的控制器是： 经典SMC（有或没有等效部件） 扭曲控制器（有或没有进行修改以使其在有限时间内稳定）

使用MFC CString 对串的检测分析

在MATLAB中可以容易实现DFT/FFT的变换，但有时我们也希望得到DTFT的变换结果。时域上的数字信号直接经过Fourier变换，在频域上得到连续的周期频谱，而DFT/FFT只是对其的采样。本代码（模拟）实现了对序列DTFT的变换结果。