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
Institutos
p-logica
diccGrande
diccGrande
diccGrande
Requisitos de finalización
Haga clic en
diccGrande.pl
para ver el archivo.
◄ diccChico
Ir a...
Ir a...
Novedades
Consultas
Programa
Horarios y Salones
SWISH: Intérprete de SWI-Prolog online
Pruebas anteriores
Galería de laboratorios
Video de la clase 1 (2024)
Información del curso
Práctico 1: Predicados simples, Listas y Árboles Binarios
Video de la clase 2 (2024)
Video de la clase 3 (2024)
Video de la clase 4 (2024)
Práctico 2: Predicados aritméticos
Video de la clase 5 (2024)
Generación y chequeo
Práctico 3: Generación y chequeo
Notas sobre fundamentos teóricos
Video de la clase 6 (2024)
Practico 4: Lógica de primer orden
Video de la Clase 7 (2024)
Práctico 5: Resolución para lógica de primer orden
Video de la clase 8 (2024)
Video de la Clase 9 (2024)
Practico 6: Árboles SLD
Selección de grupo de laboratorio 2025
Laboratorio 1 - 2025
diccChico
Enrega laboratorio 1 - 2025
Enrega laboratorio 1 - 2025 ►
