Piątek, 20 marca
Część pierwsza:
9:00-10:00 Rejestracja uczestników (hall Instytutu Informatyki).
10:00-10:10 Powitanie i informacje organizacyjne (sala 25 Instytutu Informatyki, parter).
10:10-10:30 Wystąpienia Wiceminitry Edukacji Katarzyny Lubnauer i Dolnośląskiej Kurator Oświaty Ewy Skrzywanek (sala 25, parter)
10:30-11:15 Wykład Tomasza Elsnera Lepiej być małym, czy dużym, czyli matematyka skalowania (sala 25, parter).
11:30-12:30 Warsztaty Jarosława Wróblewskiego Wszystkie oszustwa małe i duże (sala 25, parter).
Część druga:
12:30-13:15 Przerwa kawowa (parter Instytutu Informatyki).
13:15-14:00 Wykład Agnieszki Hejny-Łyżwy AI pracuje dla nauczyciela – gotowe rozwiązania od jutra (sala 25, parter).
14:15-15:00 Wykład Grzegorza Plebanka O kodach pokrywających czyli jak grać w totalizatora piłkarskiego. (sala 25, parter).
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łuca, 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.