Piątek, 20 marca
Część pierwsza:
9:00-10:00 Rejestracja uczestników (hall Instytutu Informatyki).
10:00-10:15 Otwarcie konferencji (sala 25 Instytutu Informatyki, parter):
wiceminister edukacji Katarzyna Lubnauer,
rektor Uniwersytetu Wrocławskiego Robert Olkiewicz,
dolnośląska kurator oświaty Ewa Skrzywanek.
10:15-10:50 Wystąpienie Katarzyny Lubnauer o planowanych zmianach w podstawie programowej
10:50-11:30 Wykład Tomasza Elsnera Lepiej być małym czy dużym, czyli matematyka skalowania
11:30-12:15 Przerwa (parter Instytutu Informatyki)
12:15-13:25 Warsztaty Jarosława Wróblewskiego Wszystkie oszustwa duże i małe
13:25-13:35 Wystąpienie Anny Wysoczańskiej-Kuli, przewodniczącej zarządu Fundacji Matematyków Wrocławskich
13:35-13:50 Przerwa
13:50-14:30 Wykład Agnieszki Hejny-Łyżwy AI pracuje dla nauczyciela – gotowe rozwiązania od jutra
14:30-15:10 Wykład Grzegorza Plebanka O kodach pokrywających, czyli jak grać w totalizatora piłkarskiego
Powszechne anegdoty o sile i możliwościach zwierząt po przeskalowaniu (np. pchła wielkości człowieka skacząca przez wieżowce lub mrówka wielkości człowieka podnosząca ciężarówki) są popularne i obrazowe, ale stoją w fundamentalnej sprzeczności z prawami natury. W ramach odczytu wyjaśnimy jak naprawdę działa matematyka skalowania i jak zmiana rozmiaru wpływa na kluczowe cechy fizyczne i biologiczne organizmów żywych. Dowiemy się, dlaczego małe ssaki żyją krócej, dlaczego duże zwierzęta potrzebują płuc, dlaczego owad spadający z dużej wysokości nie robi sobie krzywdy oraz jaką rolę w odpowiedziach na te pytania odgrywa matematyka.
Przedstawię przykłady różnych oszustw matematycznych, czyli zadań i rozumowań zawierających błędy różnego kalibru, czasami standardowe, a czasami subtelne i trudne do wykrycia.
Podczas tego odczytu, pracując na żywo przy komputerze, pokażę konkretne sposoby wykorzystania sztucznej inteligencji do tworzenia materiałów dydaktycznych z matematyki. Na przykładzie jednej lekcji z analizy matematycznej zaprezentuję gotowe rozwiązania, które nauczyciele mogą od razu zastosować w swojej pracy: zróżnicowane zadania (trzy wersje dla uczniów o zróżnicowanym poziomie), aktywności klasowe oraz mini-projekt oparty na rzeczywistym problemie. Odczyt ma charakter warsztatowy i skupia się na praktyce, a nie teorii – celem jest pokazanie, jak AI może realnie odciążyć nauczyciela w codziennych obowiązkach.
Kod pokrywający to układ w skończonej przestrzeni ciągów, taki że każdy ciąg z przestrzeni leży blisko pewnego ciągu z układu. Badanie takich kodów to obecnie jeden z ważnych aspektów teorii kodowania, ale zagadnienie faktycznie było kiedyś rozważane w prasie sportowej.