Martes, Septiembre 16, 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

• Decidibilidad de Lenguajes y Verificación Dinámica de Algoritmos Distribuidos Ponente: Armando Castañeda

• El poder definitorio de las adjunciones

• El problema de Malykhin

• Estructuras relacionales: su clasificación según su simetría

• Geometría diferencial sintética. Una invitación a las lógicas no estándares

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

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

• Propiedades estructurales de la inferencia lógica clásica

• Protocolos de conocimiento cero a la medida

• Pruebas de consistencia

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

---