8:00 - 10:00 a.m. |
Curso 3: Teoría de Tipos
Salvador Lucas |
REFRIGERIO |
10:30 - 11:15 a.m. |
El formalismo lógico de Bourbaki
Maribel Anacona
Universidad del Valle |
Aprox. e influencias académicas en la configuración de alguna profesiones alrededor del computador en los 60's y 70's. Daniel Arbeláez
Universidad del Valle |
11:15 - 12:00 a.m |
Cuestiones sobre la lógica de la argumentación [DOC]
Raúl Gómez
Universidad EAFIT |
Problemas computacionales de los modelos
de lenguaje Estocásticos basados en gramáticas
Fredy Amaya
Universidad del Cauca |
RECESO |
2:00 - 4:00 p.m. |
Curso 4: Lógica Fuzzy
Guillermo Ortíz |
REFRIGERIO |
4:30 - 5:15 p.m. |
Cantor y la fundamentación de los conjuntos infinitos
Luis Recalde
Universidad del Valle |
Software para la introducción al estudio de operaciones en una lógica con 3 valores de verdad por medio de la noción de 3-pinturas [PDF]
Martín Rodríguez
Fundación Ideales Gimnasio Santa Ana
Colegio San José de Calazans
Bogotá |