I1M

En la clase de hoy se presentado la asignatura de Informática (de 1º del Grado en Matemáticas).

Se ha comentando el proyecto docente y el sistema de evaluación continua.

Se ha mostrado las secciones de la página de la asignatura.

Se ha introducido el uso de los sistemas de cálculo simbólico WolframAlpha y wxMaxima. La introducción se ha hecho a través de ejemplos de cálculo aritmético, algebraico, límites y gráficos. Se propone que lo apliquen para resolver problemas de las otras asignaturas y que se comentarán las dificultades que se encuentren. Para ello, disponen del libro Introducción al cálculo simbólico con Maxima.

Se ha mostrado la instalación de Maxima en Windows.

Finalmente, se dejan pendientes las siguientes tareas para la próxima clase:

• Imprimir las transparencias, o apuntes, del tema 1 que se encuentra en la página de temas.
• Entrar en la wiki de ejercicios y cambiar la contraseña.
• Instalar los sistemas que se usarán en la asignatura.
• Entrar en la WebCT y consultar el calendario de exámenes de la evaluación continua.
• Completar las fichas personales.

Como he comentado en otras entradas, uno de los objetivos de este blog es servir de diario de las publicaciones docentes que realizo en mi página personal.

Esta semana he publicado el curso Informática del Grado en Matemáticas (2010-11) que se impartirá desde el 4 de Octubre al 10 de Junio de 2011.

El material del curso publicado hasta ahora está englobado en los siguientes libros:

• Temas de programación funcional (2010-11).
• Introducción al cálculo simbólico con Maxima.

A lo largo del curso se irán ampliando con los ejercicios, los exámenes y los apuntes de los temas restantes.

Hoy he publicado la relación 16 de ejercicios de Informática de 1º de Matemáticas.

Contiene ejercicios de razonamiento sobre programas, tipos de datos y comprobación de propiedades con QuickCheck.

Como caso de estudio se propone el cálculo de las coaliciones de partidos para obtener mayorías parlamentarias minimales.

A lo largo de la semana los alumnos escribirán de manera colaborativa las soluciones de la relación 16.

Hoy he publicado la relación 15 de ejercicios de Informática de 1º de Matemáticas.

Contiene ejercicios de razonamiento sobre programas por inducción sobre los números naturales, certificación con QuickCheck, plegados y funciones sobre listas de listas.

A lo largo de la semana los alumnos escribirán de manera colaborativa las soluciones de la relación 15.