方程x2-2x-3=0有两个根x1=3,x2=-1,把它化为方程:

清华大学：数字逻辑_实验二

《C语言程序设计》课程教学资源（PPT课件讲稿）数组第二次实验

清华大学：数字逻辑_实验一

• 符号计算与自动推理 • 几何问题代数化 • 代数关系式的推导与验证 • 自动推理

1目的要求 (1)加深理解迁移数的基本概念。 (2)用界面移动法测定HC水溶液中离子迁移数,掌握其方法与技术

素数的实验内容，素数的个数，素数表的构造，素数的判别，最大的素数，求解素数的公式，素数的分布。素数的个数算术基本定理:任何整数都可以分解

• 符号计算与自动推理 • 几何问题代数化 • 代数关系式的推导与验证 • 自动推理

北京大学：《数字逻辑电路实验 Digital Circuits Laboratory》课程教学大纲

北京化工大学：《计算化学》课程电子教案（课件讲稿）第二章 实验数据的模拟及模型参数的确定