Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Next revisionBoth sides next revision
teaching:cc5115 [2020/02/10 12:38] – folmedoteaching:cc5115 [2020/02/10 12:56] – [Motivación y Objetivos] folmedo
Line 17: Line 17:
   * testear programas de manera automática, usando la librería QuickCheck.   * testear programas de manera automática, usando la librería QuickCheck.
  
 +Para un listado más detallado de los temas abordados en el curso consultar {{teaching:cc5115:programa_cc5115.pdf|programa del curso (CC5115)}}. Para una discusión más a fondo sobre la relevancia y beneficios de la programación funcional consultar el artículo {{teaching:whyofy.pdf|Why functional programming matters}}.