2021年11月22日

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

摘要： 4 一阶逻辑：证明论 4.4 前束范式和子句范式 12$\vdash$之第一组 Q: 记忆第一组。$x_i$不在$\mathscr{ A}$中自由出现，则根据K（）（填编号）可以帮助记忆，写出：（）。 A: 6 \(\vdash (\forall x_i)(\mathscr{ A}\to\maths 阅读全文

摘要： 未校对 8 Search 8.1 Search trees Q: 如何理解"leaves all of which are ‘manifestly failed’." A: The reference to ‘manifestly’ means that it is straightforward 阅读全文