所谓线性时间逻辑仅限于这种类型的推理。

So called linear time logics are restricted to this type of reasoning.

youdao

下午去午餐，时间逻辑上不合理，所以我改成野餐。

It's sunny outside. We are going to have a picnic this afternoon.

youdao

他使用包括一组基于时间逻辑的分等级语言的工具建立了若干软件开发环境。

He constructed several software development environments using the tools that included a set of hierarchical languages based upon temporal logic.

youdao

So supposed that I give you 16 elements to sort, well, following the logic before, the running time involved in sorting 16 elements is gonna be twice the running time 16 of sorting 8 elements, left half and right half plus 16 - and again, a little sanity check, 16 means-- just the merge steps, right?

现在要对16个元素进行排序，根据之前的逻辑，对16个元素排序,要花的时间是对8个元素排序所花时间的,2倍，分别用于左半部分和右半部分，再加上6,这里16是-,做合并的步数，对吗？

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

So to be clear, we expect most students to very comfortably pursue the standard edition of the P set, but for this particular P set, and we have about 150 or so of these out on the hallway, and we'll have them at office hours throughout the coming week--this is a little logic board ; with lots of sensors; the sound sensor, a light sensor, a little joystick and the like.

我希望我们大多数同学,研究问题集的标准版本，可编程版有个特殊的问题集，我们会在接下来的几周里，在办公时间为大家做解答,这是个小的逻辑板,上面有很多传感器;,包括声音传感器，光传感器，小操作杆等。

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