Sobre demostraciones asistidas por computadora (Favio Miranda)
Coloquio de Orientación Seguir leyendo Sobre demostraciones asistidas por computadora (Favio Miranda)
Archivo de la etiqueta: lógica
Sobre demostraciones asistidas por computadora (Favio Miranda)
Sobre demostraciones asistidas por computadora (Favio Miranda)
Coloquio de Orientación Seguir leyendo Sobre demostraciones asistidas por computadora (Favio Miranda)
Máquinas de Turing para todo (Francisco Hernández Quiroz)
Máquinas de Turing para todo (Francisco Hernández Quiroz)
Coloquio de Orientación Seguir leyendo Máquinas de Turing para todo (Francisco Hernández Quiroz)
Síntesis interactiva de programas para Lógica Modal S4 (Lourdes Gónzalez Huesca)
Síntesis interactiva de programas para Lógica Modal S4 (Lourdes Gónzalez Seguir leyendo Síntesis interactiva de programas para Lógica Modal S4 (Lourdes Gónzalez Huesca)
Lógica de Hoare para programación funcional (Gilberto Isaac López García)
Lógica de Hoare para programación funcional
Plática dada por Gilberto Seguir leyendo Lógica de Hoare para programación funcional (Gilberto Isaac López García)
Una visión general del axioma de univalencia en teoría de tipos homotopica (Marco Federico Larrea)
Una visión general del axioma de univalencia en teoría de Seguir leyendo Una visión general del axioma de univalencia en teoría de tipos homotopica (Marco Federico Larrea)
¿Una buena extensión de la lógica clásica Lógica modal y aplicaciones Vide
¿Una buena extensión de la lógica clásica? Lógica modal y Seguir leyendo ¿Una buena extensión de la lógica clásica Lógica modal y aplicaciones Vide
Sobre el teorema de la deducción en lógica modal (Favio Ezequiel Miranda Perea a)
Sobre el teorema de la deducción en lógica modal
Plática Seguir leyendo Sobre el teorema de la deducción en lógica modal (Favio Ezequiel Miranda Perea a)
Una perspectiva categórica de la logica y conjuntos (Luis Jesús Turcio Cuevas)
Una perspectiva categórica de la lógica y conjuntos
Plática dada Seguir leyendo Una perspectiva categórica de la logica y conjuntos (Luis Jesús Turcio Cuevas)
Una historia para la lógica a partir de los fundamentos del análisis matemático (Mariana Martínez)
Una historia para la lógica a partir de los fundamentos Seguir leyendo Una historia para la lógica a partir de los fundamentos del análisis matemático (Mariana Martínez)