Recursos gratuitos
Programación lógica y funcional
Hacer preguntas a hechos y reglas en Prolog, y escribir funciones con tipos en Haskell.
Dos laboratorios, cada uno un terminal con un lenguaje que piensa de otra manera: SWI-Prolog, donde un programa son hechos y reglas y ejecutarlo es hacer una pregunta, y GHC, donde un programa son funciones con tipos.
Laboratorios prácticos
Lecciones prácticas
Cada lección se trabaja en un laboratorio práctico: un entorno real con un terminal al lado, sin nada que instalar. Una cuenta gratuita ejecuta todos los laboratorios, con crédito gratuito suficiente cada mes para seguir la mayoría de las lecciones, y recibe las lecciones básicas en Inicio; sin cuenta puedes ejecutar el laboratorio de Git y el de SQL.
Lección práctica · laboratorio de contenedores
Prolog Basics
Sigue esta lección en un laboratorio real, con un terminal al lado, y no solo leyéndola.
Un intérprete SWI-Prolog privado para cada estudiante: hechos, reglas, preguntas y una regla recursiva. Código en GitHub.
Cómo funciona · Código en GitHub · Crea una cuenta gratuita para ejecutarlo
Lección práctica · laboratorio de contenedores
Haskell Basics
Sigue esta lección en un laboratorio real, con un terminal al lado, y no solo leyéndola.
Un compilador GHC de Haskell privado para cada estudiante: funciones con tipos, listas, pliegues y un tipo propio. Código en GitHub.
Cómo funciona · Código en GitHub · Crea una cuenta gratuita para ejecutarlo
Las lecciones básicas se dan a cada cuenta gratuita, en Inicio, y a cada centro. El curso completo se añade a la propia biblioteca con una cuenta personal, o se enseña con una cuenta de centro. Los laboratorios de VM Ubuntu los propone un docente en un módulo, y sus lecciones inician la VM por ti.
Ejecútalos tú mismo
Una cuenta personal gratuita ejecuta todos los laboratorios de esta página y su lección, con crédito gratuito suficiente cada mes para seguir la mayoría de las lecciones. ¿Das clase? Crea un centro y asígnalos a tus alumnos.
Crear una cuenta gratuitaCrear un centro
¿Ya tienes una cuenta? Inicia sesión