10 relaciones: Base de datos, Conjunto, Conjunto vacío, Cuantificador, Dominio de una función, Lógica, Lógica de primer orden, Oxford University Press, Proposición, Teoría de modelos.
Base de datos
Una base de datos (del inglés: database) se encarga no solo de almacenar datos, sino también de conectarlos entre sí en una unidad lógica.
¡Nuevo!!: Dominio de discurso y Base de datos · Ver más »
Conjunto
En matemáticas, un conjunto es una colección de elementos considerada en sí misma como un objeto matemático.
¡Nuevo!!: Dominio de discurso y Conjunto · Ver más »
Conjunto vacío
Desde principios del, en la matemática, particularmente en la teoría axiomática de Conjuntos de ZF o la teoría intuitiva de conjuntos, el conjunto vacío es el que no posee elemento alguno.
¡Nuevo!!: Dominio de discurso y Conjunto vacío · Ver más »
Cuantificador
En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia u orden).
¡Nuevo!!: Dominio de discurso y Cuantificador · Ver más »
Dominio de una función
En matemáticas, el dominio (conjunto de definición o conjunto de partida) de una función f:X\to Y es el conjunto de existencia de ella misma, es decir, los valores para los cuales la función está definida.
¡Nuevo!!: Dominio de discurso y Dominio de una función · 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!!: Dominio de discurso y Lógica · 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!!: Dominio de discurso y Lógica de primer orden · Ver más »
Oxford University Press
Oxford University Press (OUP) es la casa editorial de mayor reconocimiento en el Reino Unido y una de las más prestigiosas a nivel mundial.
¡Nuevo!!: Dominio de discurso y Oxford University Press · Ver más »
Proposición
En filosofía y lógica, el término proposición se usa para referirse a.
¡Nuevo!!: Dominio de discurso y Proposición · Ver más »
Teoría de modelos
En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática.
¡Nuevo!!: Dominio de discurso y Teoría de modelos · Ver más »
Redirecciona aquí:
Dominio de cuantificacion, Dominio de cuantificación, Dominio de referencia, Universo de discurso.