Viernes, Marzo 14, 2025
Coloquios
Destacado
Este año
Enero 2025
Febrero 2025
Marzo 2025
Todos los años
Temas
Videos
Coloquios
Está aquí:
Destacado
Temas
Lógica
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
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
Destacado
Este año
Enero 2025
Febrero 2025
Marzo 2025
Todos los años
Temas
Videos