first-order logic oor Spaans

first-order logic

naamwoord

(logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

Vertalings in die woordeboek Engels - Spaans

lógica de primer orden

vroulike

formal deductive system expanded from propositional logic

voorbeelde

Alloy provides a simple structural modeling tool based on first-order logic.
Alloy aporta una herramienta de modelaje estructural sencilla basada en lógica de primer orden.

Well, for first-order logic, it turns out that we cannot.
Bueno, en lógica de primer orden, resulta que no podemos.

In fact, none of the standard pluralitive terms can be defined in first-order logic.
De hecho, ninguno de los términos pluralitativos estándar puede definirse en lógica de primer orden.

To convert first-order logic to CNF: Convert to negation normal form.
Para convertir lógica de primer orden a FNC: Convertir a forma normal negativa.

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

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

Also, on this semantics, it differs greatly from first-order logic.
También, en esa semántica, difiere mucho de la lógica de primer orden.

Some infinitary logics may have different properties from those of standard first-order logic.
Algunas lógicas infinitarias pueden tener diferentes propiedades que las de la lógica estándar de primer orden.

These results helped establish first-order logic as the dominant logic used by mathematicians.
Estos resultados ayudaron a establecer a la lógica de primer orden como el tipo de lógica dominante en las matemáticas actual.

We study the algebraic closure construction for metric structures in the setting of continuous first order logic.
Estudiamos la construcción de la clausura algebraica para estructuras métricas en el contexto de la lógica continua de primer orden.

KIF is a syntax for first-order logic that is based on S-expressions.
KIF es una sintaxis para lógica de primer orden basadas en S-expressiones.

This theorem does not necessarily hold for extensions of first-order logic.
El teorema no vale para cualquier extensión de la lógica de primer orden.

In this section, we will see how to extend resolution to first-order logic.
En esta sección veremos cómo ampliar la resolución a la lógica de primer orden.

As with general first-order logic, entailment with definite clauses is semidecidable.
Igual que con la lógica de primer orden general, la implicación con cláusulas positivas es semidecidible.

We have elected to use first-order logic to discuss the content and organization of knowledge.
Se ha seleccionado el uso de la lógica de primer orden para tratar el contenido y la organización del conocimiento.

He goes on to multiplication, division, variables and constants, then propositional logic, set theory and first-order logic.
Continúa con la multiplicación, la división, las variables y las constantes, luego la lógica proposicional, la teoría de conjuntos y la lógica de primer orden.

I In the next section, we will launch into the details of first-order logic.
En la siguiente sección nos meteremos en los detalles de la lógica de primer orden.

Figure 9.11 Inference in First-Order Logic A resolution proof that West is a criminal.
1 1 1 v Figura 9.11 Una demostración mediante resolución de que West es un criminal.

Second-order logic is more expressive than first-order logic.
La lógica de segundo orden tiene un poder expresivo mayor que la lógica de primer orden.

In the 1930s, a great deal of progress was made on inference methods for first-order logic.
En los años 30 se realizaron una gran cantidad de avances en los métodos de inferencia para la lógica de primer orden.

There are two choices for representing categories in first-order logic: predicates and objects.
Existen dos opciones para representar categorías en lógica de primer orden: predicados y objetos.

Chapter 19 looks at learning theories in first-order logic.
El Capítulo 19 muestra la teoría de aprendizaje en lógica de primer orden.

In first-order logic, every relation is referentially transparent.
En Iógica de primer orden, todas las relaciones tienen trasparencia referencial.

The first-order logic of the global political economy is powerful and compelling.
CAPITULO 13 La lógica de primer orden de la economía política global es poderosa y atractiva.

You take two sentences of first order logic and if they have this pattern
Se toma dos frases de la lógica de primer orden y si tienen este patrón