Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Descargar
¡Más rápido que el navegador!
 

Programación lógica

Índice Programación lógica

La programación lógica es un tipo de paradigma de programación dentro del paradigma de programación declarativa.

19 relaciones: Cálculo lambda, Computadora, Demostración automática de teoremas, Ecuación, Función (matemática), Idioma inglés, Lógica de primer orden, Lógica difusa, Lógica matemática, Lengua natural, Lenguaje de programación, Paradigma de programación, Predicado (lógica), Programación con restricciones, Programación funcional, Programación imperativa, Prolog, Sistema experto, Teoría de la computabilidad.

Cálculo lambda

En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión.

¡Nuevo!!: Programación lógica y Cálculo lambda · Ver más »

Computadora

Computadora, computador u ordenador es una máquina electrónica digital programable que ejecuta una serie de comandos para procesar los datos de entrada, obteniendo convenientemente información que posteriormente se envía a las unidades de salida.

¡Nuevo!!: Programación lógica y Computadora · Ver más »

Demostración automática de teoremas

La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving), que también puede ser denominada deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.

¡Nuevo!!: Programación lógica y Demostración automática de teoremas · Ver más »

Ecuación

Una ecuación es una igualdad matemática entre dos expresiones, denominadas miembros y separadas por el signo igual, en las que aparecen elementos conocidos y datos desconocidos o incógnitas, relacionados mediante operaciones matemáticas.

¡Nuevo!!: Programación lógica y Ecuación · Ver más »

Función (matemática)

En matemática, se dice que una magnitud es función de otra si el valor de la primera depende del valor de la segunda.

¡Nuevo!!: Programación lógica y Función (matemática) · Ver más »

Idioma inglés

El idioma inglés (English) es una lengua germánica occidental perteneciente a la familia de lenguas indoeuropeas, que surgió en los reinos anglosajones de Inglaterra.

¡Nuevo!!: Programación lógica e Idioma inglés · Ver más »

Lógica de primer orden

Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.

¡Nuevo!!: Programación lógica y Lógica de primer orden · Ver más »

Lógica difusa

La lógica difusa (también llamada lógica borrosa (fuzzy logic)) es una lógica paraconsistente multivaluada en la cual los valores de verdad de las variables pueden ser cualquier número real comprendido entre 0 y 1.

¡Nuevo!!: Programación lógica y Lógica difusa · 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!!: Programación lógica y Lógica matemática · Ver más »

Lengua natural

Una lengua natural es una variedad lingüística o forma de lenguaje humano generada espontáneamente en un grupo de hablantes con propósito de comunicarse, a diferencia de otras lenguas, como puedan ser una lengua construida, los lenguajes de programación o los lenguajes formales usados en el estudio de la lógica formal, especialmente la lógica matemática.

¡Nuevo!!: Programación lógica y Lengua natural · Ver más »

Lenguaje de programación

Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.

¡Nuevo!!: Programación lógica y Lenguaje de programación · Ver más »

Paradigma de programación

Se denominan paradigmas de programación a las formas de clasificar los lenguajes de programación en función de sus características.

¡Nuevo!!: Programación lógica y Paradigma de programación · Ver más »

Predicado (lógica)

En lógica, existen muchas concepciones diferentes de la noción de predicado según el contexto y la tradición.

¡Nuevo!!: Programación lógica y Predicado (lógica) · Ver más »

Programación con restricciones

La programación por restricciones es un paradigma de la programación en informática, donde las relaciones entre las variables son expresadas en términos de restricciones (ecuaciones).

¡Nuevo!!: Programación lógica y Programación con restricciones · Ver más »

Programación funcional

En informática, la programación funcional es un paradigma de programación declarativa basado en el uso de verdaderas funciones matemáticas.

¡Nuevo!!: Programación lógica y Programación funcional · Ver más »

Programación imperativa

En ciencias de la computación se denomina programación imperativa a un paradigma de programación de software que utiliza fórmulas que alteran el estado de un programa.

¡Nuevo!!: Programación lógica y Programación imperativa · 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!!: Programación lógica y Prolog · Ver más »

Sistema experto

Un sistema experto (SE) es un sistema informático que emula el razonamiento actuando tal y como lo haría un experto en cualquier área de conocimiento.

¡Nuevo!!: Programación lógica y Sistema experto · Ver más »

Teoría de la computabilidad

La teoría de la computabilidad o teoría de la recursión es la parte de la computación que estudia los problemas de decisión que se pueden resolver con un algoritmo o equivalentemente con una máquina de Turing.

¡Nuevo!!: Programación lógica y Teoría de la computabilidad · Ver más »

Redirecciona aquí:

Paradigma logico, Paradigma lógico, Programacion Logica, Programacion Lógica, Programacion logica, Programacion lógica, Programación Lógica.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »