Cursos programados para el año académico:

Formulario de inscripción

Lean

• Fechas y horario: Miércoles 14, miércoles 21 y miércoles 28 de octubre, y miércoles 4 y miércoles 11 de noviembre de 2026, en horario de 16:00 a 18:00
• Resumen: Lean es un lenguaje de programación usado en la actualidad como un Asistente de Demostración, esto es, un programa informático que permite verificar demostraciones matemáticas. Si bien ya existían asistentes de demostración desde hace bastante tiempo, hay varias razones que explican por qué actualmente están cobrando un gran protagonismo:
  • Empieza a haber demostraciones cuya longitud y complejidad hacen difícil que otros expertos humanos verifiquen su corrección. En particular, los asistentes de demostración son un candidato perfecto para justificar que las demostraciones realizadas por la IA son correctas.
  • Aparte de la confianza en la corrección de los resultados, la experiencia está mostrando que escribir las demostraciones  para ser verificadas por estos sistemas obliga a una comprensión más profunda de las mismas.

  Este curso pretende ser un primer contacto con el asistente de demostración Lean 4, en particular:
  • Aprenderás a escribir demostraciones en Lean de resultados sencillos.
  • Te asomarás a los recursos que la comunidad de Lean nos brinda para poder avanzar, en particular la biblioteca MathLib que contiene formalizaciones verificadas de una gran parte de las matemáticas que se estudian en el grado.
  • Tendrás una intuición básica sobre por qué Lean certifica los resultados que logramos formalizar en el sistema.
• Ponentes: Jorge Carmona Ruber, Pepa Montero Jimena, Enrique Díaz Blanco

Curso Introductorio de C++

• Fechas y horario: Miércoles 25, jueves 26 y viernes 27 de noviembre, y miércoles 2, jueves 3 y viernes 4 de diciembre de 2026, en horario de 13:00 a 14:30.
• Resumen: C++ es uno de los principales lenguajes de programación actuales y su aprendizaje permite aprender con gran facilidad muchos otros lenguajes de programación como Python o R. Este curso es una iniciación a la programación en C++ en el que se tratarán los siguientes aspectos:
  • Iniciación al entorno de C++: familiarización con el entorno de programación, sintaxis, conceptos de compilación y ejecución, programación imperativa
  • Introducción a las instrucciones básicas de programación: aprenderemos las instrucciones if-else, while, for, la definición de variables y algunas estructuras de datos.
  • Definición de funciones y procedimientos: paso de parámetros por valor y por referencia, iniciación a la recursión en C++.
  • Introducción al concepto de puntero en C++.
  • Introducción al paradigma de programación orientada a objetos.

  Este curso no requiere de conocimientos previos de programación. En función del nivel del alumnado, adaptaremos el temario y nivel del curso. Además, si algún participante está interesado en un tema en especial, podremos dedicar parte de una sesión a dicho tema.
• Ponente: Jesús Llorente Jorge

Curso Introductorio de LaTeX

• Fechas y horario: Martes 9, miércoles 10, jueves 11, viernes 12, lunes 15 y martes 16 de febrero de 2027, en horario de 13:00 a 14:30.
• Resumen: [Pendiente]
• Ponente: Ángel González Prieto

Curso Avanzado de LaTeX

• Fechas y horario: Martes 23, miércoles 24, jueves 25 y viernes 26 de febrero, y lunes 1 y martes 2 de marzo de 2027, en horario de 14:30 a 16:00.
• Resumen: [Pendiente]
• Ponente: Alejandro Galera Gualo

El resto de cursos están pendientes de programar.