999 resultados para Linguagens de programação em lógica - Semântica


Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Fil: Palau, Gladys Dora. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El artículo pretende, en primer lugar, caracterizar brevemente la idea de verdad necesaria en Leibniz a los efectos de mostrar cómo en el desarrollo de las investigaciones lógicas ella se ha ido debilitando al extremo de convertirse en una de las tantas posibles interpretaciones del operador de necesidad. Se muestra, además, que ello ha sucedido tanto en los sistemas generados a partir de las semánticas de Kripke para la lógica modal clásica como para los sistemas de lógica, para los condicionales contrafácticos de David Lewis y para los condicionales derrotables de Carlos Alchourrón.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabajo intenta resignificar el rol de la elite porteña en la economía ganadera durante el período 1650-1750. Evalúa el impacto de la apertura ultramarina en la estructura agraria y su correlato en el desempeño del sector terrateniente. Analiza la matriz productiva del comercio exterior y el peso de los bienes pecuarios en los patrones de acumulación. Enfatiza la función estratégica de las Salinas de la pampa y la importancia de la industria de bastimentos para la operatoria de la plaza naviera. Propone una revisión crítica de la lógica acumulativa del capital comercial