El curso Informática (de 1º de Grado en Matemáticas)] comenzará el miércoles 25 de septiembre de 2019.
Las clases son los miércoles y viernes de 9:00 a 11:00 en el aula EC04.
La página con los materiales del curso se encuentra en https://www.cs.us.es/~jalonso/cursos/i1m-19. En dicha página hay enlaces a
Al final de cada mes de curso 2018-19 he ido publicando una recopilación de las lecturas compartidas durante dicho mes. Los enlaces a los correspondientes resúmenes son
Esta entrada es una recopilación de lecturas compartidas, durante agosto de 2019, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.
Las lecturas están ordenadas según su fecha de publicación en Twitter.
Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Una recopilación de todas las lecturas compartidas se encuentra en GitHub.
Read More “Resumen de lecturas compartidas durante agosto de 2019”
Esta entrada es una recopilación de lecturas compartidas, durante julio de 2019, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.
Las lecturas están ordenadas según su fecha de publicación en Twitter.
Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Una recopilación de todas las lecturas compartidas se encuentra en GitHub.
Read More “Resumen de lecturas compartidas durante julio de 2019”
Esta entrada es una recopilación de lecturas compartidas, durante junio de 2019, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.
Las lecturas están ordenadas según su fecha de publicación en Twitter.
Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Una recopilación de todas las lecturas compartidas se encuentra en GitHub.
Read More “Resumen de lecturas compartidas durante junio de 2019”