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

• 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

• 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

Jueves, Noviembre 21, 2024

---