有趣的英语语法

【英语单词】彻底解释“sequent”！ 含义、用法、例句、如何记忆

【英语单词】彻底解释“sequent”！ 含义、用法、例句、如何记忆

「“sequent”」的含义 (adjective)

词性（英语单词分类）：形容词
有礼貌的

用来表示[一系列事件之后或某事的结果]。

中文翻译：[顺序]

参考：「sequent」示例短语列表

例句
That is, all the expressions we obtain from a given sequent have the same associated partial order.
也就是说，从特定 序列 获得的所有表达式都具有与其关联的相同偏序。
例句
It is a set of vectors of pairs, each pair consisting of a sequent and (possibly) a reducibility candidate.
它是一组向量对，每对由 一个序列 和（可能）一个可约候选者组成。
例句
However, in this case there is only one sort of sequent and, consequently, it is possible to have nested contexts.
但是，在这种情况下，只有一种类型 的 sequent ，因此您可以拥有嵌套上下文。
【英语单词】彻底解释“sequent”！ 含义、用法、例句、如何记忆
例句
A sequent is a pair (, a) consisting of an environment and a pseudoterm.
序列 是由环境和伪项组成的一对 (, a)。
例句
The operational semantics of this class of languages is given via a sequent -calculi presentation of the corresponding fragment of linear logic.
这类语言的操作 语义 是由相应的线性逻辑片段的顺序计算表示给出的。
例句
We associate with every sequent a quintuple of natural numbers.
将自然数的 5 倍与每个 数列 关联起来。
【英语单词】彻底解释“sequent”！ 含义、用法、例句、如何记忆
例句
The correspondence between sequent calculus derivations and natural deduction derivations is, however, not a one-one map, which causes some syntactic technicalities.
然而， 序贯 演算的推导与自然演绎的推导之间并不是一一对应的对应关系，从而导致句法上的技术问题。
例句
Such a sequent is not an axiom unless a formula in that matches the facts in exists.
这样的数列不是公理，除非存在 一个与 的事实相一致的公式 。
例句
In the present paper we define a sequent calculus associated to a linear functor in such a way that any linear functor provides a model.
在本文中，我们定义与线性函子相关的 顺序 计算，使得任何线性函子都提供模型。
【英语单词】彻底解释“sequent”！ 含义、用法、例句、如何记忆
例句
In this section we present two formulations of linear logic: a one-sided sequent calculus and a two-sided sequent calculus.
本节介绍线性逻辑的两种公式。一侧 顺序 计算和两侧 顺序 计算。

“sequent”的同义词列表。 让我们按顺序来记住吧！。

“sequent”是一个英语单词，有几个不同的含义。 让我们用例句来解释每个的含义和用法！

英语 含义（中文翻译） 详细解释！
sequent 依次地，相继地，依次地 （以下按顺序）
sequent 源自、伴随、遵循 （以下为结果）
sequent 追随者，后来者 （ [sth] 如下）

2023版本～如果想增强词汇能力！我们也来学习一下与”sequent”相关的其他含义吧

英语 含义（中文翻译） 详细解释！
sequent sequent, sequent, sekwenz, 推理公式 （逻辑：论证表示） （ 直观逻辑 ）

sequent是一个英语单词，有几个不同的含义。 让我们用例句来解释每个的含义和用法！

In proof theory, Gerhard Gentzen developed natural deduction and the sequent calculus.
在证明论中，格哈德·根岑 (Gerhard Gentzen) 发展了自然演绎和 序贯微 积分的概念。
Since Gentzen’s work, natural deduction and sequent calculi have been widely applied in the fields of proof theory, mathematical logic and computer science.
自 Gentzen 的工作以来，自然演绎和 序贯微 积分已广泛应用于证明论、数理逻辑和计算机科学等领域。
The ” Sequent ” layout puts all notes sequentially in order.
顺序 布局将所有音符排列在一行中。
The ” Sequent ” options lay out all notes in order.
“顺序” 选项按顺序排列所有音符。
The cut-elimination theorem states that (for a given system) any sequent provable using the rule Cut can be proved without use of this rule.
[编辑] 剪切消除定理 剪切消除定理指出，可以在逻辑系统中使用剪切规则证明的 序列 也可以在不使用该规则的情况下得到证明。
A proofs-as-programs correspondence can be settled for the formalism known as Gentzen’s sequent calculus but it is not a correspondence with a well-defined pre-existing model of computation as it was for Hilbert-style and natural deductions.
证明与程序之间的对应关系也在根岑的 序贯微 积分中建立，但与希尔伯特系统或自然演绎等已知的计算模型没有对应关系。
On a Sequent operating system, files with non-display character filenames might cause a backup to fail.
在 Sequent 操作系统上，隐藏字符文件名可能会导致备份失败。
On an SGI or Sequent server or storage node.
在 SGI 或 Sequent 服务器或存储节点上
This same mechanism also has been used in systems from Sequent for many years as the basis for their shared memory parallel processing support.
Sequent 多年来一直提供类似的机制作为其共享内存并行处理功能。
By the mid-1980s, Sequent introduced the first symmetric multiprocessor (SMP) server-class computer using the NS 32032.
Sequent Computer 在 20 世纪 80 年代中期使用 NS32032 开发了第一台对称多处理器 (SMP) 服务器计算机。
Sequent calculus is characterized by the presence of left introduction rules, right introduction rule and a cut rule that can be eliminated.
顺序 计算的特点是左引入规则、右引入规则和可移动剪切规则。
<:imk 67>The CDI feature is not supported for tape devices connected directly on SGI or Sequent systems.
<:imk 67>直接连接到 SGI 或 Sequent 系统的磁带设备不支持 CDI 功能。
When Stephenson retired shortly after IBM completed its acquisition of Sequent , responsibility for servers fell on Samuel J. Palmisano.
IBM 收购 Sequent 后不久，史蒂文森退休了，管理服务器组的职责落到了 Samuel J. Palmisano 身上。
When this flag is enabled for Sequent DYNIX/ptx V4.4.2 and above, the Symmetrix unit on the specified port does not force wide or synchronous negotiations and sets the task timeout window to be 15 seconds before aborting a process.
为 Sequent DYNIX/ptx V4.4.2 及更高版本启用此标志可防止指定端口上的 Symmetrix 单元请求宽或同步协商，并在中止进程之前设置 15 秒的超时时间。
J. Quinn’s book, Parallel Computing Theory And Practice, second edition, McGraw Hill, New York, 1994, uses a parallel algorithm that computes the value of Pi to demonstrate a variety of different parallel supercomputer programming environments (e.g., nCUBE message passing, Sequent shared memory).
J. Quinn 在他的《并行计算理论与实践》一书中，第二版，McGraw Hill，纽约，1994 年，通过列出计算 pi 的并行算法来描述各种类型并行超级计算机的编程环境。（例如 nCUBE 的消息通信和 Sequent 的共享内存）。
Although offering a number of system designs beginning in 1985, they were never as well known as other companies in this field such as Pyramid Technology, Alliant, and the most similar systems Sequent and FLEX.
从 1985 年开始，该公司提供各种设计的计算机，但与其竞争对手（Pyramid Technology、Alliant Computers、 Sequent Computers 等）一样，它们从未获得广泛认可。
When enabled for Sequent platforms, this flag enables low-level polling of the SCSI bus in order to intercept the nonstandard SCSI operations required for a Sequent PBAY disk subsystem.
为 Sequent 平台启用此标志可以启用 SCSI 总线的低级轮询，以拦截 Sequent PBAY 磁盘系统所需的非标准 SCSI 操作。
Upon computing the collected data, a possible yield rate of the final products can be “predicted” and the prediction can provide feedback for the sequent production process in order to improve the yield rate of the next round of production.
通过对 收集到的数据进行计算处理，可以预测产品批次的良率，并且该预测结果可以为后续制造工艺的改进提供反馈。
The late 1980s and early 1990s saw big changes on the software side for Sequent .
在 20 世纪 80 年代末和 90 年代初， Sequent 经历了 软件变革。
Sequent checkpoints handled similarly
后续 检查点的处理方式类似。

听“ sequent ”是陆地声（发音）！

读法是【ˈsiː.kwənt】。 听下面的视频并大声发音【ˈsiː.kwənt】。

【必听】美国人解释“sequent”的含义

「“sequent”」的含义 (adjective)

词性（英语单词分类）：形容词
有礼貌的

用来表示[一系列事件之后或某事的结果]。

中文翻译：[顺序]

参考：「sequent」示例短语列表

例句
That is, all the expressions we obtain from a given sequent have the same associated partial order.
也就是说，从特定 序列 获得的所有表达式都具有与其关联的相同偏序。
例句
It is a set of vectors of pairs, each pair consisting of a sequent and (possibly) a reducibility candidate.
它是一组向量对，每对由 一个序列 和（可能）一个可约候选者组成。
例句
However, in this case there is only one sort of sequent and, consequently, it is possible to have nested contexts.
但是，在这种情况下，只有一种类型 的 sequent ，因此您可以拥有嵌套上下文。
【英语单词】彻底解释“sequent”！ 含义、用法、例句、如何记忆
例句
A sequent is a pair (, a) consisting of an environment and a pseudoterm.
序列 是由环境和伪项组成的一对 (, a)。
例句
The operational semantics of this class of languages is given via a sequent -calculi presentation of the corresponding fragment of linear logic.
这类语言的操作 语义 是由相应的线性逻辑片段的顺序计算表示给出的。
例句
We associate with every sequent a quintuple of natural numbers.
将自然数的 5 倍与每个 数列 关联起来。
【英语单词】彻底解释“sequent”！ 含义、用法、例句、如何记忆
例句
The correspondence between sequent calculus derivations and natural deduction derivations is, however, not a one-one map, which causes some syntactic technicalities.
然而， 序贯 演算的推导与自然演绎的推导之间并不是一一对应的对应关系，从而导致句法上的技术问题。
例句
Such a sequent is not an axiom unless a formula in that matches the facts in exists.
这样的数列不是公理，除非存在 一个与 的事实相一致的公式 。
例句
In the present paper we define a sequent calculus associated to a linear functor in such a way that any linear functor provides a model.
在本文中，我们定义与线性函子相关的 顺序 计算，使得任何线性函子都提供模型。
【英语单词】彻底解释“sequent”！ 含义、用法、例句、如何记忆
例句
In this section we present two formulations of linear logic: a one-sided sequent calculus and a two-sided sequent calculus.
本节介绍线性逻辑的两种公式。一侧 顺序 计算和两侧 顺序 计算。

“sequent”的同义词列表。 让我们按顺序来记住吧！。

“sequent”是一个英语单词，有几个不同的含义。 让我们用例句来解释每个的含义和用法！

英语 含义（中文翻译） 详细解释！
sequent 依次地，相继地，依次地 （以下按顺序）
sequent 源自、伴随、遵循 （以下为结果）
sequent 追随者，后来者 （ [sth] 如下）

2023版本～如果想增强词汇能力！我们也来学习一下与”sequent”相关的其他含义吧

英语 含义（中文翻译） 详细解释！
sequent sequent, sequent, sekwenz, 推理公式 （逻辑：论证表示） （ 直观逻辑 ）

sequent是一个英语单词，有几个不同的含义。 让我们用例句来解释每个的含义和用法！

In proof theory, Gerhard Gentzen developed natural deduction and the sequent calculus.
在证明论中，格哈德·根岑 (Gerhard Gentzen) 发展了自然演绎和 序贯微 积分的概念。
Since Gentzen’s work, natural deduction and sequent calculi have been widely applied in the fields of proof theory, mathematical logic and computer science.
自 Gentzen 的工作以来，自然演绎和 序贯微 积分已广泛应用于证明论、数理逻辑和计算机科学等领域。
The ” Sequent ” layout puts all notes sequentially in order.
顺序 布局将所有音符排列在一行中。
The ” Sequent ” options lay out all notes in order.
“顺序” 选项按顺序排列所有音符。
The cut-elimination theorem states that (for a given system) any sequent provable using the rule Cut can be proved without use of this rule.
[编辑] 剪切消除定理 剪切消除定理指出，可以在逻辑系统中使用剪切规则证明的 序列 也可以在不使用该规则的情况下得到证明。
A proofs-as-programs correspondence can be settled for the formalism known as Gentzen’s sequent calculus but it is not a correspondence with a well-defined pre-existing model of computation as it was for Hilbert-style and natural deductions.
证明与程序之间的对应关系也在根岑的 序贯微 积分中建立，但与希尔伯特系统或自然演绎等已知的计算模型没有对应关系。
On a Sequent operating system, files with non-display character filenames might cause a backup to fail.
在 Sequent 操作系统上，隐藏字符文件名可能会导致备份失败。
On an SGI or Sequent server or storage node.
在 SGI 或 Sequent 服务器或存储节点上
This same mechanism also has been used in systems from Sequent for many years as the basis for their shared memory parallel processing support.
Sequent 多年来一直提供类似的机制作为其共享内存并行处理功能。
By the mid-1980s, Sequent introduced the first symmetric multiprocessor (SMP) server-class computer using the NS 32032.
Sequent Computer 在 20 世纪 80 年代中期使用 NS32032 开发了第一台对称多处理器 (SMP) 服务器计算机。
Sequent calculus is characterized by the presence of left introduction rules, right introduction rule and a cut rule that can be eliminated.
顺序 计算的特点是左引入规则、右引入规则和可移动剪切规则。
<:imk 67>The CDI feature is not supported for tape devices connected directly on SGI or Sequent systems.
<:imk 67>直接连接到 SGI 或 Sequent 系统的磁带设备不支持 CDI 功能。
When Stephenson retired shortly after IBM completed its acquisition of Sequent , responsibility for servers fell on Samuel J. Palmisano.
IBM 收购 Sequent 后不久，史蒂文森退休了，管理服务器组的职责落到了 Samuel J. Palmisano 身上。
When this flag is enabled for Sequent DYNIX/ptx V4.4.2 and above, the Symmetrix unit on the specified port does not force wide or synchronous negotiations and sets the task timeout window to be 15 seconds before aborting a process.
为 Sequent DYNIX/ptx V4.4.2 及更高版本启用此标志可防止指定端口上的 Symmetrix 单元请求宽或同步协商，并在中止进程之前设置 15 秒的超时时间。
J. Quinn’s book, Parallel Computing Theory And Practice, second edition, McGraw Hill, New York, 1994, uses a parallel algorithm that computes the value of Pi to demonstrate a variety of different parallel supercomputer programming environments (e.g., nCUBE message passing, Sequent shared memory).
J. Quinn 在他的《并行计算理论与实践》一书中，第二版，McGraw Hill，纽约，1994 年，通过列出计算 pi 的并行算法来描述各种类型并行超级计算机的编程环境。（例如 nCUBE 的消息通信和 Sequent 的共享内存）。
Although offering a number of system designs beginning in 1985, they were never as well known as other companies in this field such as Pyramid Technology, Alliant, and the most similar systems Sequent and FLEX.
从 1985 年开始，该公司提供各种设计的计算机，但与其竞争对手（Pyramid Technology、Alliant Computers、 Sequent Computers 等）一样，它们从未获得广泛认可。
When enabled for Sequent platforms, this flag enables low-level polling of the SCSI bus in order to intercept the nonstandard SCSI operations required for a Sequent PBAY disk subsystem.
为 Sequent 平台启用此标志可以启用 SCSI 总线的低级轮询，以拦截 Sequent PBAY 磁盘系统所需的非标准 SCSI 操作。
Upon computing the collected data, a possible yield rate of the final products can be “predicted” and the prediction can provide feedback for the sequent production process in order to improve the yield rate of the next round of production.
通过对 收集到的数据进行计算处理，可以预测产品批次的良率，并且该预测结果可以为后续制造工艺的改进提供反馈。
The late 1980s and early 1990s saw big changes on the software side for Sequent .
在 20 世纪 80 年代末和 90 年代初， Sequent 经历了 软件变革。
Sequent checkpoints handled similarly
后续 检查点的处理方式类似。

听“ sequent ”是陆地声（发音）！

读法是【ˈsiː.kwənt】。 听下面的视频并大声发音【ˈsiː.kwənt】。

【必听】美国人解释“sequent”的含义

アドミン