摘要： 时效性 本篇撰写时间为2021.12.9，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 本篇前置： ExpRe[3] python[0] Anaconda配置python环境 htt 阅读全文

摘要： 10 有限长脉冲响应滤波器和窗函数 10.1 理想滤波器及其存在的问题 Q: 对于抽样间隔$\Delta$，理想低通滤波器频谱范围为（），但时域出现了（）的问题。 A: \([-1/2\Delta,1/2\Delta]\)，需要无限长的信号 注：这里的频谱其实都相当于周期函数。 Q: 既然时域无限长 阅读全文

摘要： 时效性 本篇撰写时间为2021.12.6，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 本篇前置： ExpRe[12] Docker[1] 镜像修改、保存、复用。附：ssh连接物理机 阅读全文

摘要： 未完成 8 相关分析 8.1 相关的基本概念，相关与褶积的关系 Q: “相关”和“褶积”的数学表达式很类似，那什么方面比较不同呢？ A: 物理意义往往不同。褶积是滤波或者“平移对称性”，相关是直观上（波形）“相似性” 相关的两个信号没有“属性”差别。相比之下卷积经常在物理意义上区分“卷积”和“被卷积 阅读全文

摘要： 名称含义 IncRe是ExpRe的姊妹篇，取Incentive, Read, Increment之意。 由于计算机大部头书籍往往难以大跃进式读完（即使强行读也很容易遗忘）。所以我采取遇到特定Incentive才阅读相关章节的方式，这样读、用、思考结合，不易遗忘，能持续获取Increment. 当然， 阅读全文

摘要： 5 数学基础 5.1 数学系统 Q: 一阶系统和模型分别和数学领域有什么关系？ A: 一阶系统不涉及具体语义（数学领域）。适当一阶系统，再选择特定模型作为解释，能够表达某数学领域的许多数学定理、逻辑定理。 Q: 形式主义和逻辑主义有何区别？ A: 形式主义：公理不一定是逻辑的公理（不强调一切系统都由 阅读全文

摘要： 4 一阶逻辑：证明论 4.5 完全性定理 预备 Q: 完全性定理是说“真值为真推出是定理”还是“重言式是定理”？ A: 对于FOL，两者都不对。是“逻辑有效（任何解释真值为真）”推出是定理。 Q: 命题逻辑完全性定理Henkin证法：$\mathscr A$不是定理则其否定$\sim\mathscr 阅读全文

摘要： 未校对，未加习题 8 上下文无关语言 8.1 上下文无关文法 Q: 描述算术表达式文法中，“项”“因子”“表达式”三者以什么顺序“循环”地出现？为什么？ A: 表达式由项组成，项由因子组成，因子可能是表达式。 其实“表达式由因子组成，因子由项组成，项可能是表达式”也有可能。实际中可能是看哪种情况更常 阅读全文

摘要： 9 Issues in constraint programming 9.1 Modeling Q: 举例说明不同的modeling A: 举例：是否引入辅助变量。 举例：不同的语法表示同样语义（如all_different） 举例：增加新标识符（“新语法”）表示相同语义，并引入对应新规则。 Q: 阅读全文

摘要： 7 有限离散傅氏变换 7.1 有限离散傅氏变换、有限离散频谱引起的假信号 Q: 如何理解$1/N\Delta$分母的两项？$1/(N-1)\Delta$为什么不行呢？ A: \(\Delta\)：$[0,1/\Delta]$就是待考察有意义频谱范围。$1/N$可以理解为时域乘方波频域卷积$sinc$ 阅读全文