Interesante gramática inglesa

Explicación detallada de “sequent”! Significado, uso, ejemplos, cómo recordarlo.

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

El significado de “sequent”

Parte del discurso (clasificación de palabras en inglés): adjetivo
Educado

Usado para expresar [el resultado de una serie de eventos o algo así].

Traducción al español [orden]

Referencia: Lista de ejemplos de “sequent”

Ejemplo(s)
That is, all the expressions we obtain from a given sequent have the same associated partial order.
Es decir, todas las expresiones obtenidas de una secuencia particular tienen asociado el mismo ordenamiento parcial.
Ejemplo(s)
It is a set of vectors of pairs, each pair consisting of a sequent and (possibly) a reducibility candidate.
Es un conjunto de pares de vectores, cada par consta de una secuencia y (posiblemente) un candidato reducible.
Ejemplo(s)
However, in this case there is only one sort of sequent and, consequently, it is possible to have nested contexts.
Sin embargo, en este caso, solo existe un tipo de secuencia , por lo que puedes tener contextos anidados.
[Palabra en inglés] ¡Explicación completa de "secuente"! Significado, uso, ejemplos, cómo recordar.
Ejemplo(s)
A sequent is a pair (, a) consisting of an environment and a pseudoterm.
Una secuencia es un par (, a) que consta de un entorno y un pseudotérmino.
Ejemplo(s)
The operational semantics of this class of languages is given via a sequent -calculi presentation of the corresponding fragment of linear logic.
La semántica operativa de dichos lenguajes viene dada por representaciones computacionales secuenciales de los correspondientes fragmentos de lógica lineal.
Ejemplo(s)
We associate with every sequent a quintuple of natural numbers.
Asocia 5 veces un número natural con cada secuencia .
[Palabra en inglés] ¡Explicación completa de "secuente"! Significado, uso, ejemplos, cómo recordar.
Ejemplo(s)
The correspondence between sequent calculus derivations and natural deduction derivations is, however, not a one-one map, which causes some syntactic technicalities.
Sin embargo, no existe una correspondencia uno a uno entre la derivación del cálculo secuencial y la derivación de la deducción natural, lo que conduce a problemas técnicos de sintaxis.
Ejemplo(s)
Such a sequent is not an axiom unless a formula in that matches the facts in exists.
Tal secuencia no es un axioma a menos que exista una fórmula consistente con los hechos de .
Ejemplo(s)
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.
En este artículo, definimos cálculos secuenciales con respecto a funtores lineales de modo que cualquier funtor lineal proporcione un modelo.
[Palabra en inglés] ¡Explicación completa de "secuente"! Significado, uso, ejemplos, cómo recordar.
Ejemplo(s)
In this section we present two formulations of linear logic: a one-sided sequent calculus and a two-sided sequent calculus.
Esta sección presenta dos fórmulas de lógica lineal. Cálculo de orden de un lado y cálculo de orden de dos lados.

Esta es una lista de sinónimos de ” “sequent”. ¡Intentemos recordarlos en orden!

” “sequent” es una palabra en inglés que tiene varios significados diferentes. ¡Exploremos cada significado y su uso a través de ejemplos!

Inglés Significado ¡Explicación detallada!
sequent secuencialmente, sucesivamente, sucesivamente (Siguiendo en orden)
sequent originarse, acompañar, seguir (Los siguientes son los resultados)
sequent seguidor, recién llegado ( [algo] es el siguiente)

¡Edición 2023! Si quieres mejorar tu vocabulario, ¡estudia también otros significados de “sequent”!

Inglés Significado ¡Explicación detallada!
sequent secuencial, secuencial, sekwenz, fórmula de razonamiento (Lógica: representación de argumentos) ( Lógica intuitiva )

” sequent” es una palabra en inglés que tiene varios significados diferentes. ¡Exploremos cada significado y su uso a través de ejemplos!

In proof theory, Gerhard Gentzen developed natural deduction and the sequent calculus.
En Teoría de la prueba, Gerhard Gentzen desarrolló los conceptos de deducción natural y cálculo secuencial .
Since Gentzen’s work, natural deduction and sequent calculi have been widely applied in the fields of proof theory, mathematical logic and computer science.
Desde el trabajo de Gentzen, la deducción natural y el cálculo secuencial se han utilizado ampliamente en campos como la teoría de la prueba, la lógica matemática y la informática.
The ” Sequent ” layout puts all notes sequentially in order.
El diseño de secuencia organiza todas las notas en una fila.
The ” Sequent ” options lay out all notes in order.
La opción Orden organiza todas las notas en orden.
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.
[editar] El teorema de eliminación de corte El teorema de eliminación de corte establece que una secuencia que se puede probar en un sistema lógico usando la regla de corte también se puede probar sin usar la regla.
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.
La correspondencia entre pruebas y procedimientos también se establece en el cálculo secuencial de Gentzen, pero no existe correspondencia con modelos computacionales conocidos como los sistemas de Hilbert o la deducción natural.
On a Sequent operating system, files with non-display character filenames might cause a backup to fail.
En los sistemas operativos Sequent , los nombres de archivos con caracteres ocultos pueden provocar que las copias de seguridad fallen.
On an SGI or Sequent server or storage node.
En el servidor o nodo de almacenamiento SGI o 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 ha proporcionado un mecanismo similar a su función de procesamiento paralelo de memoria compartida durante muchos años.
By the mid-1980s, Sequent introduced the first symmetric multiprocessor (SMP) server-class computer using the NS 32032.
Sequent Computer desarrolló la primera computadora servidor con multiprocesador simétrico (SMP) a mediados de la década de 1980 utilizando el NS32032.
Sequent calculus is characterized by the presence of left introduction rules, right introduction rule and a cut rule that can be eliminated.
Los cálculos secuenciales se caracterizan por reglas de entrada izquierda, reglas de entrada derecha y reglas de corte móviles.
<:imk 67>The CDI feature is not supported for tape devices connected directly on SGI or Sequent systems.
<:imk 67>Los dispositivos de cinta conectados directamente a sistemas SGI o Sequent no admiten la funcionalidad CDI.
When Stephenson retired shortly after IBM completed its acquisition of Sequent , responsibility for servers fell on Samuel J. Palmisano.
Poco después de que IBM adquiriera Sequent , Stevenson se retiró y la responsabilidad de administrar el grupo de servidores recayó en 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.
Habilitar este indicador para Sequent DYNIX/ptx versión 4.4.2 y posteriores evita que la unidad Symmetrix en el puerto especificado solicite negociaciones amplias o de sincronización y establece un tiempo de espera de 15 segundos antes de cancelar el proceso.
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, en su libro Parallel Computing Theory and Practice, 2ª edición, McGraw Hill, Nueva York, 1994, describe el entorno de programación para varios tipos de superordenadores paralelos enumerando algoritmos paralelos para calcular pi. (Por ejemplo, la comunicación de mensajes de nCUBE y la memoria compartida de 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.
A partir de 1985, la empresa ofreció computadoras de varios diseños, pero al igual que sus competidores (Pyramid Technology, Alliant Computers, Sequent Computers, etc.), nunca obtuvieron una aceptación generalizada.
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.
Habilitar este indicador para las plataformas Sequent permite el sondeo de bajo nivel del bus SCSI para interceptar operaciones SCSI no estándar requeridas por los sistemas de disco Sequent PBAY.
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.
Al procesar computacionalmente los datos recopilados, se puede predecir el rendimiento de los lotes de productos y los resultados de la predicción pueden proporcionar retroalimentación para mejoras posteriores en el proceso de fabricación.
The late 1980s and early 1990s saw big changes on the software side for Sequent .
A finales de los 80 y principios de los 90, Sequent pasó por una revolución del software.
Sequent checkpoints handled similarly
Los puntos de control posteriores se manejan de manera similar.

¡Escuche ” sequent ” como el sonido (pronunciación) de tierra!

La pronunciación es “ˈsiː.kwənt”. Mientras escuchas el video a continuación, pronuncia “ˈsiː.kwənt” en voz alta.

¡Definitivamente escucha! Explicación del significado de “sequent” por estadounidenses.

Búsqueda de explicación de palabras en inglés (※Presione el botón de búsqueda después de ingresar la palabra en inglés)

¡Interesante inglés! Todos los materiales de estudio de inglés gratuitos.

300K+

Explicación de vocabulario en inglés.

1K+

Artículos de gramática inglesa

500+

Video

50+

Podcast