我们学习了条件语句。
This is the first of the conditionals that we're going to see.
这是我们会学到的，第一个条件语句。
Next, we consider the infinite loop statement and conditionals.
接下来，考虑无限循环语句和条件。
You already know how to use a for loop. Now let's talk about conditionals.
您已经了解了如何使用for 循环；现在，我们来讨论条件语句。
Careful source analysis can reason through such conditionals to provably correct conclusions.
仔细进行源分析可以从此类条件推理出证实正确的结论。
Careful source analysis can reason through such conditionals to provably correct conclusions.
仔细进行源分析可以从此类条件推理出证实正确的结论。
应用推荐