Domingo, Septiembre 07, 2025

Lógica

Introduzca parte del título Filtro Limpiar

Cantidad 5 10 15 20 25 30 50 100 Todas

• Algunos pensamientos acerca de nuestro mundo discreto - celebrando el año de George Boole y Claude Shannon

• Asistentes de prueba y verificación formal

• Borges, series lógicas y crímenes en serie.

• Construcción de un espacio semántico...

• El poder definitorio de las adjunciones

• El revés de la trama. Encuentros entre lógica y artes plásticas

• ENJIM Marco Pérez 301115

• La lógica al servicio de las matemáticas

• Lógica epistémica, topología y computación distribuida

• Lógica Matemática

• Lógicas de orden superior y verificación formal

• Principios de compacidad en Teoría de Ramsey

• Sentido matemático: filosofía y lenguaje.

• Teorema de Compacidad Lógica: de Newton a Gödel

• Teoría de modelos en algunos espacios de Moduli

• The automated-reasoning revolution: from theory to practice and back

• Ulises Ariet Ramos García

• Un sombrero para Turing

• Un viaje al centro de los fundamentos

Domingo, Septiembre 07, 2025

---