高等数学中的微积分是一门重要的学科，它涉及到许多基本公式和定理。这些公式和定理是微积分的基础，也是学习微积分必须掌握的知识。

微积分中最基本的公式就是导数和微分公式。导数表示函数在某一点处的变化率，它可以用极限来定义。导数公式包括常见函数的导数如幂函数、指数函数、对数函数、三角函数等。

另一个重要的概念是微分。微分表示函数在某一点处的变化量，它可以用导数来计算。微分公式包括常见函数的微分如幂函数、指数函数、对数函数、三角函数等。

除了导数和微分公式外，还有一些重要的定理如中值定理、极值定理、泰勒展开等。中值定理表示在某个区间内任意两点之间存在一个点使得这两个点之间的斜率等于这个点处斜率；极值定理表示连续且可导的函数在其定义域内必有极值；泰勒展开则是将一个光滑曲线近似为一个多项式，从而简化计算。

此外，在高级微积分中还有一些更加深入和复杂的公式和定理，如多元微积分、偏导数、重积分、曲线积分、曲面积分等。这些公式和定理在实际应用中也有广泛的应用，如物理学、工程学、经济学等领域。

总之，微积分是一门重要的数学学科，掌握其中的基本公式和定理对于学习和应用都非常关键。