Actividades

Filtrar por categoría

XLIV Curso de actualización en matemáticas. Formalización de matemáticas en demostradores interactivos de teoremas

20 Dic 2023
20 Dic 2023

19.00 horas
Aula 101
Complejo Científico-Tecnológico y Campus Virtual UR
Entrada libre

Conferencia


19.00 horas

Formalización de matemáticas en demostradores interactivos de teoremas

D. Jose Divasón Mallagaray
Universidad de La Rioja

Resumen

Los demostradores interactivos de teoremas nos ayudan a probar formalmente resultados matemáticos con un ordenador. A pesar de que existen desde hace décadas y de que en los últimos años están teniendo un crecimiento importante, son todavía unos grandes desconocidos para la gran mayoría de matemáticos.

En esta charla presentaremos estos sistemas de un modo divulgativo para intentar acercarlos a la figura del "matemático puro", incidiendo en la historia (pasado, presente y futuro), los fundamentos matemáticos subyacentes (lógicas, teorías de tipos, etc.), además de qué y cómo se puede demostrar con ellos.

Para quién

Público en general.
Entrada libre hasta completar aforo

Organiza

Judit Mínguez Ceniceros
Profesora Titular de Universidad
Departamento de Matemáticas y Computación
Universidad de La Rioja

Colabora

© Imagen destacada de Michael Dziedzic

Etiquetas

Categorías

Noticias relacionadas

La PAU 2026 se celebrará en La Rioja los días 2, 3 y 4 de junio en convocatoria ordinaria

La PAU 2026 se celebrará en La Rioja los días 2, 3 y 4 de junio en convocatoria ordinaria

La Prueba de Acceso a la Universidad (PAU) 2026 se celebrará en La Rioja los días 2, 3 y 4…
Tom K. Raju y Srdan Tadic se doctoran con dos tesis que contribuyen al desarrollo de terapias frente a distintos tipos de patologías oncológicas

Tom K. Raju y Srdan Tadic se doctoran con dos tesis que contribuyen al desarrollo de terapias frente a distintos tipos de patologías oncológicas

Los investigadores Tom K. Raju y Srdan Tadic, del CIBIR, obtienen el grado de doctor por la Universidad de La…

Actividades relacionadas

Buscar actividades

Próximas actividades

Universidad de La Rioja
Resumen política cookies

Esta web utiliza cookies propias y de terceros para mejorar la navegación y ajustar los contenidos que mostramos, así como para obtener estadísticas generales de uso. Puede obtener más información en la Política de Cookies. Si continúa navegando, consideramos que acepta su uso.