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
Módulo 2: Asistentes de pruebas para Programadores
Módulo 2: Asistentes de pruebas para Programadores
Perfilado de sección
◄
Cálculo de predicados de alto orden
►
Cálculo Lambda y Cálculo de Construcciones
Cálculo Lambda, Cálculo de Construcciones e Isomorfismo de Curry-Howard
◄
Cálculo de predicados de alto orden
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
►
Cálculo Lambda y Cálculo de Construcciones
