• No se han encontrado resultados

Lógica temporal

Lógica temporal: Prior y Borges

Lógica temporal: Prior y Borges

... El trabajo de John Niemayer Findlay donde expone la idea de un cálculo formal de la lógica temporal fue escrita en 1941, es decir, el mismo año en el que Jorge Luis Borges escribía [r] ...

6

El problema de los tiempos verbales en la lógica temporal  Límites de los análisis de Prior y Reichenbach

El problema de los tiempos verbales en la lógica temporal Límites de los análisis de Prior y Reichenbach

... de lógica de primer orden, aunque quizás Prior en su desarrollo de la lógica temporal también se estaba moviendo hacia una caracterización más abstracta de los instantes del ...

69

Programación en lógica temporal basada en los operadores Since y Until

Programación en lógica temporal basada en los operadores Since y Until

... /D QRYHGDG GH HVWH WUDEDMR FRQ UHVSHFWR D OD SUHVHQWDFL˜RQ GH *DEED\ HVW˜D HQ TXH VH XWLOL]DQ FRPR RSHUDGRUHV WHPSRUDOHV E˜DVLFRV XQ FRQMXQWR GH RSHUDGRUHV P˜DV H[SUHVLYRV VREUH HVWUXFWX[r] ...

15

Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden

Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden

... Teniendo en cuenta que un programa en ejecuci´on puede interpretarse como una se- cuencia de estados (es decir, una traza de ejecuci´on es una secuencia potencialmente infinita de estados), estos nuevos operadores nos ...

12

TítuloModelado y verificación mediante lógica lineal temporal de un grupo de dos ascensores con sistema de control de destino

TítuloModelado y verificación mediante lógica lineal temporal de un grupo de dos ascensores con sistema de control de destino

... Los grupos de ascensores con sistema de preselec- ción de destino persiguen la reducción del tiempo de espera en edificios de mediana y gran altura como hoteles o bloques de oficinas. En este tipo de sistemas, los ...

6

Análisis de sistemas críticos en teoría de tipos

Análisis de sistemas críticos en teoría de tipos

... El método de verificación llamado verificación de modelos (“model checking”) fue desarrollado para analizar sistemas reactivos –aquellos que se comportan como una secuencia de estímulos-respuestas en relación al medio– y ...

12

El problema de marco: la formalización de sistemas dinámicos en agentes artificiales.

El problema de marco: la formalización de sistemas dinámicos en agentes artificiales.

... la lógica temporal-cronológica de Rescher como otra posible vía) está preparada para mostrar la existencia de relaciones lógicas entre proposiciones tal que la verdad de la aserción de una sentencia en un ...

20

Síntesis de protocolos de comunicación a partir de especificaciones de servicio

Síntesis de protocolos de comunicación a partir de especificaciones de servicio

... En qué consiste una especificación de servicio 3.1.1 Importancia del concepto de servicio 3.1.2 Cómo especificar un servicio La lógica temporal lineal como lenguaje de especificación El [r] ...

214

Lógica, lenguaje y significado. Lógica intensional y gramática lógica

Lógica, lenguaje y significado. Lógica intensional y gramática lógica

... significado: lógica intencional y gramática lógica represen- ta el esfuerzo combinado de dos lógicos, dos filósofos y un ...la lógica y el lenguaje son inseparables, en particular en lo que respecta ...

23

Modelización y verificación automática de un proceso software

Modelización y verificación automática de un proceso software

... dinámica temporal y la verificación del modelo ...aspecto temporal con Redes de Petri, considerando secuencias, concurrencia o paralelismo de actividades y orden temporal en que pueden ocurrir los ...

12

Lógica

Lógica

... Con las ideas del señor Turing inicia la revolución de la invención de la computadora digital, él relaciona lógica y computación antes que cualquiera persona, se origina la computadora para el procesamientos de ...

97

Lógica clásica y lógica difusa: Facetas que las caracterizan

Lógica clásica y lógica difusa: Facetas que las caracterizan

... de lógica difusa se remonta hasta hace aproximadamente 2500 años, cuando Aristóteles reflexionaba ya sobre la noción de la existencia de ciertos grados de valor de verdad comprendidos entre los extremos verdadero ...

11

Comentario a "Lógica y realidad : las razones de la lógica"

Comentario a "Lógica y realidad : las razones de la lógica"

... La lógica y la matemática, en tanto teorias o cuerpos constituidos de conocimien- tos, se hallarían en el ...la lógica (también la matemática, pero en menor grado), se hallaría dispersa por toda la cebolla ...

8

Estudio de factibilidad para la producción de Tara (Caesalpinia spinosa) en el centro poblado Zapotal, Distrito de Huarango, Provincia de San Ignacio, Departamento de Cajamarca – Perú

Estudio de factibilidad para la producción de Tara (Caesalpinia spinosa) en el centro poblado Zapotal, Distrito de Huarango, Provincia de San Ignacio, Departamento de Cajamarca – Perú

... Maquinaria Post cosecha - Transporte t Mano de obra directa Temporal - Deshierbo Temporal - Abonamiento Temporal - Control fitosanitario Temporal - Cosecha Temporal - Poda de formación y[r] ...

249

Relaciones entre la lógica cuántica y la lógica clásica

Relaciones entre la lógica cuántica y la lógica clásica

... Omnlls' propone establecer la relación entre la teoría clásica y la cuántica, poniendo en correspondencia cada celda e del espacio r con un proyector ¡"¡ sobre el c[r] ...

8

De la lógica silogística a la lógica jurídica estructural

De la lógica silogística a la lógica jurídica estructural

... samientos. Esto mismo se hace con el juicio, porque éste es la forma típica del pensamiento y se expresa a través de la proposición. Es prudente señalar que los conceptos no son por sí[r] ...

238

La lógica de relaciones y la lógica cuantificacional: aportes de Charles Peirce

La lógica de relaciones y la lógica cuantificacional: aportes de Charles Peirce

... 3) Establece la adición lógica (‘a +, b’) como un proceso que “denota todos los individuos contenidos bajo a y b juntos.” Es decir, ‘a +, b’ es la clase de aquellas cosas que son a no-b, b no- a, o ambas a y b. Al ...

12

De como separar los elementos de la lógica interna y de la lógica externa.

De como separar los elementos de la lógica interna y de la lógica externa.

... Entonces, si bien ya podemos investigar, no podemos distinguir con precisión qué es lo que nos pertenece como ámbito disciplinar a los praxiólogos y qué es lo que les pertenece a esos otros. En realidad, ...

5

VAN HEIJENOORT Lógica como cálculo y Lógica como Lenguaje pdf

VAN HEIJENOORT Lógica como cálculo y Lógica como Lenguaje pdf

... (Énfasis mío en ambos casos.) Gödel escribió estas líneas veinte años después de de que el primer volumen de Principia fuera publicado. Si la cuestión de la completitud semántica de la teoría cuantificacional no surge ...

6

Negación de condicionales: un problema en la lógica filosófica y en la enseñanza de la lógica

Negación de condicionales: un problema en la lógica filosófica y en la enseñanza de la lógica

... la lógica proposicional, entonces deberemos reconsiderar que la simbolización en cuestión constituya un error, puesto que la simbolización de la negación externa como negación interna expresaría una adecuada ...

9

Show all 4637 documents...

Related subjects