lenguaje de primer orden oor Engels

lenguaje de primer orden

Vertalings in die woordeboek Spaans - Engels

first-order language

voorbeelde

Entonces los secuentes son teoremas condicionales en un lenguaje de primer orden, en vez de tautologías condicionales.
Then sequents signify conditional theorems in a first-order language rather than conditional tautologies.

La conexión entre la probabilidad y los lenguajes de primer orden la estudió primero Carnap (1950).
The connection between probability and first-order languages was first studied by Carnap (1950).

En efecto, la semántica de Henkin ve los lenguajes de segundo orden como lenguajes heterogéneos de primer orden.
In effect, Henkin semantics regards second-order languages as multisorted, first-order languages.

Está así íntimamente unido a los lenguajes probabilistas de primer-orden que se mencionaron en el Capítulo 14.
It is therefore intimately connected to the first-order probabilistic languages that were mentioned in Chapteir 14.

Se define el lenguaje elemental de la teoría de categorías el lenguaje de primer orden de dos tipos, con los objetos y morfismos como distintos tipos de objetos junto con las relaciones de un objeto siendo el dominio y el codominio de un morfismo y un símbolo para la composición de dos morfismos.
We define the elementary language of category theory as the two-sorted first order language with objects and morphisms as distinct sorts, together with the relations of an object being the source or target of a morphism and a symbol for composing two morphisms.

Tomemos un lenguaje como la lógica de primer orden.
Let us take a language like first order logic.

Traducir DRSs al lenguaje común de lógica de primer orden permite a los usuarios razonar sobre textos ACE, por ejemplo para verificarlos, para validarlos, y para consultarlos.
Translating an ACE text into (a fragment of) first-order logic allows users to reason about the text, for instance to verify, to validate, and to query it.

Los lenguajes formales, tales como la lógica de primer orden o Java, tienen definiciones matemáticas estrictas.
Fornial languages such as first-order logic and Java have strict mathematical definitions.

La jerarquía aritmética asigna clasificaciones a las fórmulas en el lenguaje de axiomas de Peano (aritmética de primer orden).
The arithmetical hierarchy assigns classifications to the formulas in the language of first-order arithmetic.

La lógica de primer orden es un lenguaje apropiado para describir estas relaciones.
First-order logic is an appropriate language for describing the relationships.

Un conjunto es definible mediante aritmética de primer orden si el mismo es definido por alguna fórmula en el lenguaje de la aritmética de Peano.
A set is definable in first-order arithmetic if it is defined by some formula in the language of Peano arithmetic.

El proyecto Cyc tiene su propio lenguaje llamado CycL, basado en cálculo de predicados de primer orden con otros de un orden más alto.
The Cyc project has its own ontology language called CycL, based on first-order predicate calculus with some higher-order extensions.

9.1 Lenguajes de primera orden 187
9.1 First-order languages 187

Sea un lenguaje de primer orden.
Let be a first-order language.

Para una fórmula en un lenguaje de primer orden, una variable y un término sustituible por en, la fórmula es válida universalmente.
Given a formula in a first-order language, a variable and a term that is substitutable for in, the formula is universally valid.

De la misma manera en la lógica de primer orden, la lógica de segundo orden puede contener signos no-lógicos para construir un lenguaje de segundo orden específico.
Just as in first-order logic, second-order logic may include non-logical symbols in a particular second-order language.

Las reglas están definidas en lógica de primer orden, permitiendo una especificación donde se evitan las ambigüedades y la necesidad de aprender un lenguaje de programación específico.
The rules are defined on first-order logic, in order to allow the construction of a specification where both ambiguity and the need of learning a programming language are avoided.

Una fórmula de primer orden se llama lógicamente válida si es verdadera en cada estructura para el lenguaje de la fórmula (es decir, para cualquier asignación de valores a las variables de la fórmula).
A first-order formula is called logically valid if it is true in every structure for the language of the formula (i.e. for any assignment of values to the variables of the formula).

La presente resolución del Parlamento Europeo se basa en una serie de hechos preocupantes, como la aprobación de la Ley sobre la protección de los menores contra los efectos perjudiciales de la información pública, el intento de prohibición por parte de las autoridades locales de la celebración de marchas a favor de la igualdad y el orgullo gay, así como el uso por parte de políticos y parlamentarios de primer orden de un lenguaje agresivo o amenazante y de un discurso de incitación al odio.
This EP resolution follows a series of worrying events such as the adoption of the Law on the Protection of Minors against the Detrimental Effects of Public Information, the attempted prohibition by local authorities on holding equality and gay pride marches, and the use by leading politicians and parliamentarians of inflammatory or threatening language and hate speech.

Considerando que la presente Resolución se basa en una serie de hechos preocupantes, como la aprobación de la Ley sobre la protección de los menores contra los efectos perjudiciales de la información pública, el intento de prohibición por parte de las autoridades locales de la celebración de marchas a favor de la igualdad y el orgullo gay, así como el uso por parte de políticos y parlamentarios de primer orden de un lenguaje agresivo o amenazante y de un discurso de incitación al odio,
whereas this resolution was triggered by a series of worrying events such as the adoption of the Law on the Protection of Minors against the Detrimental Effects of Public Information, the attempted prohibition by local authorities on holding equality and gay pride marches, and the use by leading politicians and parliamentarians of inflammatory or threatening language and hate speech,

Este trabajo abordará los últimos dos puntos fundamentalmente como se plantean en el contexto de los lenguajes extensionales de primer orden.
This paper will be concerned with the latter two points, primarily as they arise in the context of extensional first-order languages.

El Attempto Parsing Engine (APE) (Motor de Análisis Attempto) traduce textos ACE sin ambigüedad a estructuras de representación del discurso (DRS) que usan una variante del lenguaje de lógica de primer orden.
The Attempto Parsing Engine (APE) translates ACE texts unambiguously into discourse representation structures (DRS) that use a variant of the language of first-order logic.

Por ejemplo, uno de los lenguajes relacionados con la lógica de primer orden es KIF.
As an example, one of the languages related to first order logic is KIF.

Llegados a este punto, también es importante matizar que para favorecer el hecho de que la litografía se convierta en un lenguaje de primer orden, las entidades y artistas que trabajan con la litografía, han decidido dar un paso muy importante: reducir el número de ejemplares de cada tiraje, para favorecer el concepto de exclusividad, adjetivo del que disfrutan los tradicionalmente denominados “grandes lenguajes”.
At this point, it is also important to clarify that to favour the fact that the lithography becomes a language of the first order, the entities and artists who work with the lithography technique have decided to take a very important step: reduce the number of exemplars of each edition, to favour the concept of exclusivity, an adjective enjoyed by the traditionally denominated “great languages”.

El problema del marco surgió debido al uso de la lógica de primer orden (LPO) para expresar hechos sobre un robot en el mundo. Representar el estado de un robot con LPO tradicional requiere el uso de muchos axiomas(lenguaje simbólico), para implicar las cosas acerca de un ambiente que no cambia de manera arbitraria.
Representing the state of a robot with traditional FOL requires the use of many axioms (symbolic language) to imply that things about an environment that do not change arbitrarily.