#lógica matemática
Artículos etiquetados con «lógica matemática».
Lógica categórica: fundamentos, semántica y aplicaciones en teoría de tipos
La lógica categórica es una rama de las matemáticas que utiliza la teoría de categorías para estudiar sistemas formales, conectivas lógicas...
Mayoración en teoría de funciones recursivas
Definición formal de mayoración entre funciones, teoremas sobre la función de Ackermann y lemas de demostración en lógica matemática.
Lenguaje recursivamente enumerable
Definición, propiedades de cierre y clasificación en la Jerarquía de Chomsky de los lenguajes tipo-0.
Hipótesis (lógica)
Definición y función de la hipótesis en lógica matemática, estadística y matemáticas generales.
Programa de Hilbert: fundamentos, formalismo y límites
Análisis del Programa de Hilbert, su propuesta de fundamentar las matemáticas mediante axiomas finitos y el impacto de los teoremas de incom...
Verdad lógica
Definición, características formales y necesarias de las verdades lógicas, su distinción con tautologías y relación con la validez en sistem...
Cálculo lambda: fundamentos, historia y aplicaciones en programación
El cálculo lambda es un sistema formal en lógica matemática diseñado para investigar la definición de función, la noción de aplicación de fu...
Matemáticas discretas: fundamentos, historia y aplicaciones
Estudio de estructuras matemáticas contables como conjuntos finitos, grafos y lógica, fundamentales para la informática teórica.
Álgebra booleana
Definición, historia y aplicaciones del álgebra booleana en lógica y electrónica digital. Estructura matemática de dos valores.
Características del álgebra booleana
Propiedades, leyes y operaciones del álgebra booleana. Estructura lógica, tablas de verdad y aplicaciones en electrónica digital.
Definición de álgebra booleana
Definición de álgebra booleana: estructura matemática de dos valores, operadores lógicos y aplicaciones en la electrónica digital.
Álgebra de boole
Guía completa sobre el álgebra de Boole: definición, tablas de verdad, leyes fundamentales y su papel esencial en la electrónica digital y l...