Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
equational
Definitie
Vertaling van "equational" in Spaans
Definitie NEW
ecuacionales
Its formulation is equational logic and it can also be used to reason about program properties, not only of functional programs but also of programs written in other programming languages.
Su formulación es la de la lógica ecuacional y puede ser utilizado también para razonar sobre las propiedades de los programas, no solo de los programas funcionales, sino también de programas escritos en otros lenguajes de programación.
[ABSTRACT] This master's thesis presents a study about reachability problem solving in rewrite theories with an underlying membership equational logic, using the narrowing
Este trabajo presenta un estudio sobre la resolución de problemas de alcanzabilidad en teorías de reescritura con una lógica ecuacional de pertenencia subyacente, usando la técnica de estrechamiento.
We plan to apply existing tools to prove the termination of OCL user-defined operations based on the termination of the generated equational interpreters.
Pretendemos utilizar herramientas existentes para demostrar la terminación de operaciones OCL definidas por el usuario, a partir de la terminación de los intérpretes ecuacionales generados.
The casuistic model validated by Jonsen and Toulmin in 1988 analyzes ethical problems using equational procedures that are based on paradigmatic cases, analogies and opinions from those trained in the existence and severity of moral obligations in private situations.
El modelo de la casuística validado por Jonsen y Toulmin en 1988 tiene por objeto analizar problemas éticos mediante procedimientos ecuacionales que tienen como base casos paradigmáticos, analogías y opiniones de personas especializadas en la existencia y el rigor de las obligaciones morales en situaciones privadas.
This mapping is described as a (meta-)function that, given an OCL expression and a UML diagram, generates an equational interpreter for the expression.
Esta asignación se describe como una (meta)función que, dada una expresión OCL y un diagrama UML, genera un intérprete ecuacional para la expresión.
In this equational computations the most efficient way of doing this is by starting with Y0 and initialize Y0 to X0 and then when by the time we calculate Y1 we just add Y0 to X1.
En este ecuacionales cálculos la forma más eficiente de hacerlo es comenzando con Y0 e inicializar Y0 hasta X 0 y, a continuación, cuando por el momento calculamos Y1 sólo añadimos Y0 a X 1.
We have proposed semantics for a significant subset of OCL, which is based on a novel mapping from UML models with OCL expressions to equational theories.
Hemos propuesto una semántica para un subconjunto sifnificativo de OCL, basada en una novedosa asignación de teorías ecuacionales a modelos UML con expresiones OCL.
Type class laws are part of a larger subject called equational reasoning, in which the properties of a programming language and its type system are used to enable logical reasoning about its programs.
Las leyes de clases de tipos son parte de un tema más amplio llamado razonamiento ecuacional (equational reasoning), en el que las propiedades de un lenguaje de programación y su sistema de tipos se usan para permitir razonamiento lógico acerca de sus programas.
The methodology that will be applied will be a factor-cluster analysis for the segmentation part and partial least square - structural equational modelling (PLS-SEM).
La metodología que se aplicará será un análisis factorial y un análisis cluster para la parte de segmentación; y un modelo de ecuaciones estructurales, utilizando el enfoque de los mínimos cuadrados parciales (PLS-SEM), para validar el modelo.
Shì, the equational verb to be, can be used as the English is or equals.
Shì, el verbo ser, se puede usar como en español, con el significado de es o equivale.
Unrestricted JavaScript code also makes equational reasoning very difficult.
El JavaScript no restringido hace también el razonamiento ecuacional muy difícil.
E is a high-performance prover for full first-order logic, but built on a purely equational calculus, originally developed in the automated reasoning group of Technical University of Munich, and now at Baden-Württemberg Cooperative State University in Stuttgart.
E es un demostrador de alta performance para lógicas de primer orden, construido a partir de cálculo de ecuaciones puro, ha sido desarrollado principalmente por el grupo de razonamiento automatizado de la Técnical University of Munich.
This page introduces the Haskell Equational Reasoning Assistant (HERA), an architecture that provides both a GUI level and a batch level Haskell rewrite engine inside a single tool.
Esta página introduce el Haskell Equational Reasoning Assistant (HERA), o Asistente de Razonamiento Ecuacional para Haskell, una arquitectura que provee un motor de reescritura Haskell al nivel gráfico y por lotes, dentro de una misma herramienta.
Synoniemen voor equational in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 17. Exact: 17. Verstreken tijd: 21 ms.
