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

«Es un orgullo que todos hayáis elegido la Universidad de La Rioja para estudiar»

«Es un orgullo que todos hayáis elegido la Universidad de La Rioja para estudiar»

La rectora Eva Sanz da la bienvenida a los más de 1.000 estudiantes de nuevo ingreso que han comenzado el…
La novela prospectiva juvenil española es un género representativo de la crisis posmoderna

La novela prospectiva juvenil española es un género representativo de la crisis posmoderna

Elena Gisbert García se doctora con una tesis que analiza la novela prospectiva juvenil española como un vehículo para la…

Actividades relacionadas

Buscar actividades

Próximas actividades