Harmonogram DW 2024 - Ścieżka olimpijska OL2

Abstrakt Modelowanie matematyczne w dziedzinie zdrowia i opieki zdrowotnej pomaga nam przewidywać, analizować i zrozumieć zarówno zdrowotny, jak i ekonomiczny wpływ interwencji zdrowotnych. Jest to kluczowe narzędzie do podejmowania świadomych decyzji, które mają wpływ zarówno na jednostki, jak i społeczeństwo. W trakcie wykładu omówimy podstawowe elementy analizy ekonomicznej stosowanej do oceny interwencji medycznych oraz zaprezentujemy kilka przykładów rzeczywistych analiz.

---

Sala 0004

---

Prowadzący - Iwona Żerda
Absolwentka kierunku matematyka z 2009 r. Już w trakcie studiów rozpoczęła staż, a potem pracę w firmie HTA Consulting specjalizującej się w opracowywaniu wniosków refundacyjnych w Polsce. Przez kolejne 15 lat zajmowała się budowaniem modeli, kalkulatorów, aplikacji i przeprowadzaniem wszelkiego rodzaju analiz na zlecenie firm farmaceutycznych i na potrzeby publikacji naukowych dotyczących zdrowia publicznego. Obecnie partner w firmie Assignity wspierającej firmy farmaceutycznych działające na rynku międzynarodowym. Szczególny obszar zainteresowań to modelowanie chorób infekcyjnych i wpływu szczepień na rozwój tych chorób.
- Michał Pochopień
Matematyk z wykształcenia, z doświadczenia ekonomista zdrowia, a z zamiłowania twórca modeli farmako-ekonomicznych. Mając ponad 13 lat doświadczenia w modelowaniu ekonomicznym, był odpowiedzialny za opracowanie od podstaw dziesiątek modeli, w tym modeli efektywności kosztowej i wpływu na budżet, a także prostszych kalkulatorów kosztów. Specjalizuje się w modelach Markowa, DES, drzewach decyzyjnych i mikrosymulacjach. Wspierał wiele zgłoszeń oceny technologii medycznych w kilku krajach i reprezentował firmy farmaceutyczne przed organami decyzyjnymi. Jego kompetencje analityczne obejmują kilka obszarów terapeutycznych i chorób, a obecnie skupia się na ekonomicznej ocenie terapii genowych, która była tematem jego pracy doktorskiej.

Abstrakt Rosnąca moc obliczeniowa współczesnych komputerów oraz nowe narzędzia z pogranicza informatyki i matematyki umożliwiają atakowanie problemów matematycznych będących do tej pory poza zasięgiem klasycznej, "analitycznej" matematyki. Jest prawdą, że symulacje komputerowe, które powalają matematykowi wyrobić intuicje, postawić hipotezy, zazwyczaj nie są dowodami, a nawet mogą wprowadzać w błąd. Na wykładzie zaprezentuję jednak tzw. ścisłe metody numeryczne, które mają pełen matematyczny rygor i dzięki temu mogą być podstawą komputerowo wspieranych dowodów. W dużym skrócie, w takich dowodach odpowiednio napisane oprogramowanie weryfikuje założenia twierdzenia i gwarantuje prawdziwość tezy. Dzięki temu można np. udowodnić istnienie ciekawych orbit w układach planetarnych czy zagwarantować bezpieczne dokowanie podwodnych robotów.

---

Sala 0089

---

Prowadzący - Tomasz Kapela
W swoich badaniach naukowych zajmuje się wykorzystaniem komputerów do badania układów dynamicznych. W szczególności do przeprowadzania komputerowo wspieranych dowodów, w których odpowiednio napisane oprogramowanie dowodzi twierdzeń matematycznych. Za swój doktorat "Choreografie w problemie N-ciał" otrzymał nagrodę Prezesa Rady Ministrów. Jest pasjonatem programowania począwszy od języków wysokiego poziomu takich jak C++ przez niskopoziomowy assembler aż po mikro-kontrolery.

Abstrakt Na warsztatach zbadamy kilka problemów dotyczących sumy cyfr, w tym zadania olimpijskie.

---

Sala 0086

---

Prowadzący - Dominik Burek
Adiunkt w Instytucie Matematyki UJ, członek Komitetu Głównego Olimpiady Matematycznej.

Abstrakt Indukcja matematyczna powinna znajdować się w arsenale każdego szanującego się matematyka (a w idealnym świecie każdego bez wyjątku). Jeżeli poprzednie zadanie dało się rozwiązać indukcją to następne też można! Podczas warsztatów uzupełnimy wiadomości związane z indukcją o informacje na temat indukcji zupełnej, spojrzymy za siebie za pomocą indukcji wstecznej oraz wyjdziemy poza ramy liczb naturalnych korzystając z indukcji pozaskończonej.

---

Sala 0009

---

Prowadzący - Adam Białożyt
Absolwent VIII LO w Katowicach i Uniwersytetu Jagiellońskiego. Asystent na Wydziale Matematyki i Informatyki. W chwilach wolnych od geometrii analitycznej próbuje nauczyć się wszystkiego, co wpadnie mu w ręce tudzież pod nogi. W czym, ku zdziwieniu opisywanego, ostatecznie zawsze pomaga matematyka.