Taller: Matemáticas experimentales con Maple (Santander)
INTRODUCCIÓN
La demostración automática o deducción automatizada de teoremas se encarga de la demostración de teoremas matemáticos de forma mecánica mediante programas de ordenador.
La integración de herramientas de cálculo simbólico, numérico, resolución de ecuaciones, representación gráfica, programación y modelado en Maple proporcionan una plataforma idónea para abordar este tipo de cuestiones.
A modo ilustrativo podemos citar demostraciones visuales (véase la demostración Teorema de Pitágoras), construcciones geométricas y resolución de ecuaciones (véase la demostración del Teorema de los 5 círculos) o mediante programación (uso de bases de Groebner).
OBJETIVO
El objetivo de este taller es proporcionar una primera toma de contacto en el uso de Maple como herramienta computacional para analizar la veracidad de afirmaciones matemáticas o, incluso, deducir nuevas afirmaciones.
A todos los asistentes se les entregará un ejemplar de los libros Números y Ecuaciones y Límites y Derivadas, libros de texto escritos por el Dr. Laureano González Vega que utilizan Maple como herramienta de apoyo.
REGISTRATION FROM OUTSIDE SPAIN AND PORTUGAL
IMPORTANT: Attendees who are registering from outside Spain or Portugal must complete the following registration form.
Descripción del evento
Inicio | 06-02-2019, 17:30 (Europa\Madrid) |
Clausura | 06-02-2019, 19:00 (Europa\Madrid) |
Cierre inscripción | 07-02-2019, 12:00 (Europa\Madrid) |
Disponibles | 8 |
Lugar | Universidad de Cantabria. Facultad de Ciencias |
Requisitos
NOTA IMPORTANTE: Para asistir al taller es necesario disponer de un ordenador portátil (Windows, Mac OS X o Linux).
Addlink Software Científico pone a disposición de los asistentes una licencia de evaluación de la versión más reciente de Maple para que puedan utilizarla durante el taller y en los días posteriores para explorar las prestaciones de este software.
Agendas
17:30 |
Introducción a MapleRápida introducción a algunas de las prestaciones de Maple. |
18:00 |
Crear, demostrar y rechazar conjeturas matemáticas con MapleSesión práctica, con ayuda de expertos en Maple, donde los asistentes "jugarán y se divertirán" utilizando Maple para enfrentarse a sus propias conjeturas (mejorando el conocimiento que tienen de ellas) o analizando una de las conjeturas (abiertas, pero fáciles de formular) que se propondrán. |