¡Más rápido que el navegador!
9 relaciones: El Giro Semántico, Interoperabilidad semántica, Lógica, Lógica epistémica, Leonid Jachián, Memristor, Tecnologías MMIC, Universidad Politécnica de Dresde, Verificación formal.
El Giro Semántico
El Giro Semántico es un cambio de paradigma propuesto por el diseñador alemán Klaus Krippendorff para diseñar artefactos en las diversas especificidades del diseño (industrial, gráfico, informacional, arquitectónico, social, etc.) el cual consiste en sustituir el enfoque donde lo principal para diseñar es considerar cómo deberían funcionar los artefactos (según criterio de quienes diseñan); por un nuevo enfoque donde lo más importante al diseñar es hacerlo a partir de lo que esos mismos artefactos significan, o significarán, para quienes son o serán afectados por ellos.
¡Nuevo!!: Lógica computacional y El Giro Semántico · Ver más »
Interoperabilidad semántica
La interoperabilidad semántica es la capacidad de los sistemas computacionales para intercambiar datos con un significado inequívoco y compartido.
¡Nuevo!!: Lógica computacional e Interoperabilidad semántica · Ver más »
Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
¡Nuevo!!: Lógica computacional y Lógica · Ver más »
Lógica epistémica
La lógica epistémica es un campo de la lógica modal que se ocupa del razonamiento sobre el conocimiento.
¡Nuevo!!: Lógica computacional y Lógica epistémica · Ver más »
Leonid Jachián
Leonid Guénrijovich Jachián (armenio: Լեոնիդ Գենրիխովիչ Խաչիյան; ruso: Леонид Генрихович Хачиян; San Petersburgo, Rusia, 3 de mayo de 1952 - Nueva Jersey, Estados Unidos, 29 de abril de 2005) fue un connotado matemático ruso de origen armenio, catedrático de ciencias de la computación de la Universidad Rutgers, principalmente conocido por su demostración de la polinomialidad de la programación lineal.
¡Nuevo!!: Lógica computacional y Leonid Jachián · Ver más »
Memristor
El memristor (una contracción de las palabras "memoria" y "resistor") fue un término acuñado en 1971 por el ingeniero eléctrico Leon Chua como el componente eléctrico pasivo de dos terminales no lineal faltante, ya que relaciona la vinculación de la carga eléctrica con un flujo magnético.
¡Nuevo!!: Lógica computacional y Memristor · Ver más »
Tecnologías MMIC
MMIC deriva de las siglas en inglés (Monolithic Microwave Integrated Circuits) que significa circuitos integrados de microondas monolíticos.
¡Nuevo!!: Lógica computacional y Tecnologías MMIC · Ver más »
Universidad Politécnica de Dresde
La Universidad Politécnica de Dresde (en alemán Technische Universität Dresden o TUD) es, con aproximadamente 35 000 estudiantes y unos 4000 empleados, la escuela superior más grande de Dresde, la Universidad más grande de Sajonia y la universidad politécnica más grande de Alemania.
¡Nuevo!!: Lógica computacional y Universidad Politécnica de Dresde · Ver más »
Verificación formal
La verificación formal, en ingeniería y en computación, es un método de validación estática (se valida a través del propio código del programa, a partir de una abstracción o de una representación simbólica) en el que, partiendo de un conjunto axiomático, reglas de inferencia y algún lenguaje lógico (como la lógica de primer orden), se puede encontrar una demostración o prueba de corrección de un programa, algoritmo, etc, aunque también se puede encontrar su refutación.
¡Nuevo!!: Lógica computacional y Verificación formal · Ver más »
