¡Más rápido que el navegador!
22 relaciones: Alan Turing, Algoritmo, Análisis de algoritmos, Álgebra de Boole, Ciencias de la computación, Circuito, Circuito de conmutación, Cláusula de Horn, Entscheidungsproblem, Inteligencia artificial, Kurt Gödel, Lógica de descripción, Lógica de Hoare, Lógica matemática, Lógica modal, Programación lógica, Prolog, Puerta lógica, Sistema binario, Tabla de verdad, Teoría de la argumentación, Teoremas de incompletitud de Gödel.
Alan Turing
Alan Mathison Turing (Paddington, Londres; 23 de junio de 1912-Wilmslow, Cheshire; 7 de junio de 1954) fue un matemático, lógico, informático teórico, criptógrafo, filósofo y biólogo teórico británico.
¡Nuevo!!: Lógica computacional y Alan Turing · Ver más »
Algoritmo
En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (probablemente del latín tardío algorithmus, y este del árabe clásico ḥisābu lḡubār, que significa «cálculo mediante cifras arábigas») es un conjunto de instrucciones o reglas definidas y no-ambiguas, ordenadas y finitas que permite, típicamente, solucionar un problema, realizar un cómputo, procesar datos y llevar a cabo otras tareas o actividades.
¡Nuevo!!: Lógica computacional y Algoritmo · Ver más »
Análisis de algoritmos
El término análisis de algoritmos fue acuñado por Donald Knuth y se refiere al proceso de encontrar la complejidad computacional de un algoritmo que resuelva un problema computacional dado, con el objetivo de proveer estimaciones teóricas de los recursos que necesita.
¡Nuevo!!: Lógica computacional y Análisis de algoritmos · Ver más »
Álgebra de Boole
En matemáticas, electrónica digital e informática, el álgebra de Boole, también llamada álgebra booleana, es una estructura algebraica que esquematiza operaciones lógicas.
¡Nuevo!!: Lógica computacional y Álgebra de Boole · Ver más »
Ciencias de la computación
Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.
¡Nuevo!!: Lógica computacional y Ciencias de la computación · Ver más »
Circuito
Un circuito es una interconexión de componentes eléctricos (como baterías, resistores, inductores, condensadores, interruptores, transistores, entre otros) que transportan la corriente eléctrica a través de una trayectoria cerrada.
¡Nuevo!!: Lógica computacional y Circuito · Ver más »
Circuito de conmutación
*.
¡Nuevo!!: Lógica computacional y Circuito de conmutación · Ver más »
Cláusula de Horn
En lógica proposicional, una fórmula lógica es una cláusula de Horn si es una cláusula (disyunción de literales) con, como máximo, un literal positivo.
¡Nuevo!!: Lógica computacional y Cláusula de Horn · Ver más »
Entscheidungsproblem
En ciencias de la computación y matemáticas, el Entscheidungsproblem (en español: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiese si una fórmula del cálculo de primer orden es un teorema.
¡Nuevo!!: Lógica computacional y Entscheidungsproblem · Ver más »
Inteligencia artificial
La inteligencia artificial (IA), en el contexto de las ciencias de la computación, es una disciplina y un conjunto de capacidades cognoscitivas e intelectuales expresadas por sistemas informáticos o combinaciones de algoritmos cuyo propósito es la creación de máquinas que imiten la inteligencia humana para realizar tareas, y que pueden mejorar conforme recopilen información.
¡Nuevo!!: Lógica computacional e Inteligencia artificial · Ver más »
Kurt Gödel
Kurt Friedrich Gödel (Brünn, Imperio austrohúngaro, actual República Checa, 28 de abril de 1906-Princeton, Estados Unidos; 14 de enero de 1978), conocido como Kurt Gödel, fue un lógico, matemático y filósofo austríaco.
¡Nuevo!!: Lógica computacional y Kurt Gödel · Ver más »
Lógica de descripción
Las lógicas de descripción, también llamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de aplicación de una forma estructurada y formalmente bien comprendida.
¡Nuevo!!: Lógica computacional y Lógica de descripción · Ver más »
Lógica de Hoare
La lógica de Hoare es un sistema formal desarrollado por C.A.R. Hoare — y posteriormente refinado por otros investigadores — que proporciona a una serie de reglas de inferencia para razonar sobre la corrección de programas imperativos con el rigor de la lógica matemática.
¡Nuevo!!: Lógica computacional y Lógica de Hoare · Ver más »
Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
¡Nuevo!!: Lógica computacional y Lógica matemática · Ver más »
Lógica modal
Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.
¡Nuevo!!: Lógica computacional y Lógica modal · Ver más »
Programación lógica
La programación lógica es un tipo de paradigma de programación dentro del paradigma de programación declarativa.
¡Nuevo!!: Lógica computacional y Programación lógica · Ver más »
Prolog
Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique, es un lenguaje de programación lógico e interpretado usado habitualmente en el campo de la Inteligencia artificial.
¡Nuevo!!: Lógica computacional y Prolog · Ver más »
Puerta lógica
Una puerta lógica o compuerta lógica, es un dispositivo electrónico con una función de tipo booleano u otros tipos (ej. «Trivalente»), como sumar o restar, incluir o excluir según sus propiedades lógicas.
¡Nuevo!!: Lógica computacional y Puerta lógica · Ver más »
Sistema binario
El sistema binario, también llamado sistema diádico en ciencias de la computación, es un sistema de numeración en el que los números son representados utilizando únicamente dos cifras: 0 (cero) y 1 (uno).
¡Nuevo!!: Lógica computacional y Sistema binario · Ver más »
Tabla de verdad
Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.
¡Nuevo!!: Lógica computacional y Tabla de verdad · Ver más »
Teoría de la argumentación
La teoría de la argumentación es el estudio interdisciplinario de la forma en que se obtienen conclusiones a través de la lógica, es decir, mediante premisas.
¡Nuevo!!: Lógica computacional y Teoría de la argumentación · Ver más »
Teoremas de incompletitud de Gödel
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931.
¡Nuevo!!: Lógica computacional y Teoremas de incompletitud de Gödel · Ver más »
