Salta al contenido principal
Panel lateral
Enlaces de interés
FING
Bedelia
SGAE
OpenFing
Noticias
Redes sociales
Orientacion y consulta
Convivencia
Cursos
Institutos
Tecnólogos
Posgrados
Extensión
Institucional
Más
Buscar
Cerrar
Buscar
Selector de búsqueda de entrada
En este momento está usando el acceso para invitados
Acceder
Página Principal
Expandir todo
Colapsar todo
Abrir índice del curso
Abrir cajón de bloques
Institutos
Computación
CFPTT
Isomorfismo de Curry-Howard
Isomorfismo de Curry-Howard
Perfilado de sección
◄
Cálculo Lambda y Cálculo de Construcciones
►
Módulo 3: Cálculo de Construcciones Inductivas
Seleccionar actividad Isomorfismo de Curry-Howard. El práctico sigue siendo el 3.
Isomorfismo de Curry-Howard. El práctico sigue siendo el 3.
Archivo
◄
Cálculo Lambda y Cálculo de Construcciones
Ir a...
Página principal del curso
General
Módulo 1: Asistentes de pruebas para Lógicos y Matemáticos
Cálculo de predicados de alto orden
Módulo 2: Asistentes de pruebas para Programadores
Cálculo Lambda y Cálculo de Construcciones
Isomorfismo de Curry-Howard
Módulo 3: Cálculo de Construcciones Inductivas
Inducción y Recursión
Inversión
Verificación de programas funcionales
Parcial 1
►
Módulo 3: Cálculo de Construcciones Inductivas
