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
Verificación de programas funcionales
Verificación de programas funcionales
Perfilado de sección
◄
Inversión
►
Parcial 1
Seleccionar actividad Verificación de programas
Verificación de programas
Archivo
Seleccionar actividad Práctico 6 - entrega 3/7/24 (no hay plantilla de práctico)
Práctico 6 - entrega 3/7/24 (no hay plantilla de práctico)
Archivo
Seleccionar actividad Entrega Práctico 6 (Ejercicios a entregar: 6.3, 6.5, 6.6, 6.7 y 6.8)
Entrega Práctico 6 (Ejercicios a entregar: 6.3, 6.5, 6.6, 6.7 y 6.8)
Tarea
Entrega práctico 6
◄
Inversión
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
►
Parcial 1
