Opis warsztatu:
Warto zaznaczyć, że pomimo dostępności wielu narzędzi IT, ich wykorzystanie w matematyce szkolnej często ogranicza się głównie do GeoGebry, która jest znakomitym środowiskiem do wizualizacji i analizy problemów geometrycznych. Niestety, nie obsługuje ona automatycznych dowodów faktów geometrycznych. Naszym celem jest pokazanie alternatywnego podejścia, które skupia się na automatycznym dowodzeniu twierdzeń geometrycznych, realizowanym za pomocą programów JGEX i GCLC. Dzięki nim, proces dowodzenia staje się bardziej interesujący i efektywny, co może znacząco wpłynąć na zaangażowanie uczniów w naukę geometrii. Na warsztatach poznamy interfejsy tych programów oraz udowodnimy szereg twierdzeń geometrycznych, co pozwoli na praktyczne zrozumienie potencjału tych narzędzi.
Prowadzący o sobie:
Instytut Matematyki UKEN, obecne zainteresowania naukowe skupiają się głównie na zagadnieniach z pogranicza podstaw matematyki, nauczania matematyki oraz historii matematyki i filozofii, dotyczą tematyki automatycznego dowodzenia twierdzeń, teorii metody pola i interpretacji Elementów Euklidesa.
