Buscar
Mostrando ítems 11-20 de 2645
Lógica y argumentación prueba corta No.4 G5 101
(Universidad IcesiSantiago de Cali, 2010-01-01)
Lógica y argumentación –prueba corta. Elaborado por el profesor Jimmy Ramirez Agudelo de la Facultad de Ingeniería del Departamento de Matemáticas y Estadística. Contiene preguntas.
Lógica y argumentación prueba corta No.4 G29 101
(Universidad IcesiSantiago de Cali, 2010-01-01)
Lógica y argumentación - Prueba Corta # 4. Elaborado por el profesor Jimmy Ramírez A. de la Facultad de Ingeniería del Departamento de Matemáticas y Estadística. Contiene pregunta.
Lógica y Argumentación – Prueba Corta # 1
(Universidad IcesiFacultad de IngenieríaDepartamento de Matemáticas y Estadística, 2012-02-07)
Lógica y Argumentación – Prueba Corta # 2
(Universidad IcesiFacultad de Ciencias Administrativas y Económicas, 2012-09-25)
Lógica y Argumentación – Prueba Corta # 1
(Universidad IcesiFacultad de Ingeniería, 2012-07-01)
Dos temas en reescritura: combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de PruebasTwo topics in rewriting: combinators for pattern calculi and Curry-Howard for the Logic of Proofs
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2014)
Verificación de lógicas modales dinámicas en Coq
(2019-03)
Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ...
Curso de Lógica y Matemática - Introducción del curso
(SABER ULA, 2003)
Curso de Lógica y Matemática - Introducción del curso
(SABER ULA, 2003)