机器学习算法是一种能够从数据中学习的算法。

Machine Learning is the study of computer algorithms that improve automatically through experience.

-- Machine Learning, Tom Mitchell, McGraw Hill, 1997.

归约（reduction）是指问题 A 的任何实例能用问题 B 的方法来解决（判断），并且 A 的解为 true，当且仅当 B 的解也是 true。此时可标为 \(A\leq_p B\)。也就是说，归约可以将难以直接证明（或直接证明较为复杂）的问题转化为证明另一个较为简单问题。

本文内容主要参考自 Patrick J. Hurley 的 A concise introduction to logic、C&C 的 Introduction to Logic 以及南科大程京德教授的数理逻辑导论的课件内容。由于不同书中对 Fallacies（谬误）的定义、分类不尽相同，故可能会出现一些比较容易令人误解的地方，敬请见谅。

泰勒公式虽然形式不算复杂，但来路比较诡异。几乎所有的教材都是直接给出这个公式，然后再进行相应的结论证明，显得过于突兀，也不便于理解。本文尝试给出一种由基本的导数公式和极限定理推导泰勒公式的方法，希望能对读者诸君有所帮助。