我们有的所有的变量数。

We start out with all the variables that we have.

youdao

这等于变量数4减去约束的数量？

It's the number of variables four, minus the constraints. OK?

youdao

对较小的变量数计算了可满足概率，所得的结论与以往的结果一致。

When number of variables is not big, computing result of the satisfiable probability is consistent with the previous facts.

youdao

4 So even if the correct mathematical answer is 1.4 or whatever, when you divide an int by an int, you only have room in that variable, in the response for an actual integer.

所以即使那个正确的答案是4,或别的数值，当你用一个整型数除以一个整型数，在那个变量的返回值里，只有,存储一个整型数的空间。

哈佛公开课 - 计算机科学课程节选

So similarly, as we now move up only one more atom in the table, 3 so to an atomic number of three or lithium, now we're going from six variables all the way to nine variables.

类似地就像我们现在,移动到周期表中仅仅多一个电子的情况，移动到一个原子数为，或者锂元素,现在我们从6个变量到了9个变量。

麻省理工公开课 - 化学原理课程节选

You just need a few macroscopic variables that are very familiar to you, like the pressure, the temperature, the volume, the number of moles of each component, the mass of the system.

你只需要某些你非常熟悉的宏观变量,比如压强，温度，体积，每个组分的摩尔数，系统的质量。

麻省理工公开课 - 热力学与动力学课程节选