I1M2017: De la matemática a la máquina

PorJosé A. Alonso

En la segunda parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se ha comentado cómo los se pueden representar los conceptos matemáticos en los ordenadores.

Para ello se ha visto cómo la definición de factorial se puede definir en distintos paradigmas desde la matemática al código máquina. Las definiciones consideradas han sido

  • En matemáticas
  • En programación funcional (Haskell).
  • En programación imperativa (C).
  • En ensamblador.
  • En código máquina.

La exposición se ha basado en el artículo From math to machine: translating a function to machine code de Brian Steffens.

I1M2017: Introducción a la programación con Maxima

PorJosé A. Alonso

En la primera parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se ha presentado una introducción a la programación con Maxima.

En la presentación se ha seguido el siguiente guión:

  1. Maxima como calculadora
  2. Variables y asignaciones
  3. Bloques de instrucciones
  4. Definición de funciones
  5. Escritura y lectura
  6. La estructura condicional: condicionales simples y múltiple.
  7. Estructuras iterativas: bucles mientras, hasta y para.
  8. Recursión

Finalmente, se ha comentado

Los apuntes correspondientes a la clase son

Resumen de lecturas compartidas (febrero de 2018)

PorJosé A. Alonso
Esta entrada es una recopilación de lecturas compartidas, durante febrero de 2018, en Twitter sobre programación funcional y demostración asistida por ordenador fundamentalmente.

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.
Read More “Resumen de lecturas compartidas (febrero de 2018)”