Os Workshops
Neste workshop vamos explorar ferramentas de demonstração automática de teoremas. Será uma sessão "hands on", em vez de uma introdução teórica aos demonstradores. Vamos aprender a syntax e os comandos básicos do programa. Cada estudante deverá depois provar uma série de resultados básicos de lógica equacional ou teoria de conjuntos.
Para ganharmos tempo é melhor que cada participante traga já consigo um computador com o programa seguinte instalado:
In this workshop, we consider a special problem occuring in rugby. When a rugby player has scored, he can gain two additional points by putting the ball on some place on a special line and shooting the ball through the opponent's goal. We, as mathematicians, want to help the player to get the two points.
For this purpose we want to develop a mathematical model that finds the optimal spot on the line, where the player will most likely hit the goal.
Finally, we want to solve our model and give an easy rule of thumb as an advice to the rugby player.
Neste workshop pretende-se dar a conhecer o software R, um dos mais potentes e utilizados programas informáticos para análise estatística de dados. Para o efeito, percorreremos alguns dos temas habituais da Estatística (análise exploratória de dados, testes de hipóteses, regressão, entre outros) para ilustrar as potencialidades e particularidades deste software.
No workshop serão abordados diversos problemas não curriculares de matemática, e as respetivas resoluções. Os problemas serão de natureza variada, englobando problemas de resposta rápida, problemas de resolução mais complexa, e problemas que exigem meios computacionais.
O GeCla, cujo nome corresponde a uma abreviatura de "Gerador e Classificador", é uma ferramenta útil no estudo da Simetria, permitindo também uma utilização lúdica, através da realização de competições, num mesmo local ou via internet.
Este programa, importável gratuitamente, centra-se no estudo matemático de simetrias de figuras planas - mais precisamente, padrões, frisos e rosáceas - permitindo não só classificar uma figura quanto à sua simetria, como gerar imagens com simetria previamente escolhida.
Neste workshop, iremos recordar algumas noções ligadas à simetria e explorar as diversas potencialidades do GeCla, recorrendo a exemplos práticos.