诱导自然数集上的运算构造逻辑代数运算与其性质探究
通过学习等价关系，我们学会了如何通过等价关系构造商集，并将自然数集上的运算诱导到商集上，从而得到整数集与有理数集以及上面的运算。本文尝试通过同样的构造方法，将自然数集上的加法和乘法诱导到新的代数系统中，以此构造与布尔代数中逻辑加法与逻辑乘法等价的运算。
cmath库的实现
原文转载自：https://zhuanlan.zhihu.com/p/20085048
在用C语言写程序的时候，如果需要某个数学方面的函数，包含一个math.h的头文件就万事大吉了。那么问题来了：如果没有这个math.h，用一些基本的数学知识，我们可以自己实现多少函数？