Sistemas usados en "Informática" (2010-11)

En esta página se encuentran enlaces a los sistemas utilizados en la asignatura "Informática" y a los procedimientos de instalación.

Instalación de los sistemas en Windows

Los ficheros para instalar los sistemas en Windows son los siguientes

Instalación de los sistemas en Ubuntu

Se pueden instalar los sistemas en Ubuntu con el gestor de paquetes Synaptic, buscando los paquetes ghc6, emacs23, haskell-mode, quickcheck2, maxima y wxmaxima.

Además, copiar en el directorio del usuario el fichero de configuración de emacs.

Sitios de los sistemas

Los sitios oficiales de los sistemas son los siguientes

[ Inicial | Temas | Ejercicios | Documentación | Sistemas | Exámenes ]

Universidad de Sevilla