Combinatoria infinita y teoría de la computabilidad I (FRAGMENTO)
Platica dada Seguir leyendo Combinatoria infinita y teoría de la computabilidad I (FRAGMENTO) (David Fernández Bretón)
Archivo de la etiqueta: lógica
Combinatoria infinita y teoría de la computabilidad (David Fernández Bretón)
Combinatoria infinita y teoría de la computabilidad II
Platica dada por Seguir leyendo Combinatoria infinita y teoría de la computabilidad (David Fernández Bretón)
¿Te gustan las matemáticas? ¡Demuéstramelo! (Melisa Vivanco) Pruebas y explicaciones en matemáticas
¿Te gustan las matemáticas? ¡Demuéstramelo! (Melisa Vivanco)
Pruebas y explicaciones en Seguir leyendo ¿Te gustan las matemáticas? ¡Demuéstramelo! (Melisa Vivanco) Pruebas y explicaciones en matemáticas
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)
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