Harmonogram - Dzień Wydziału 2024

	Ścieżka Olimpijska	Ścieżka Ogólna 1	Ścieżka Ogólna 2	Ścieżka Ogólna 3	Ekstraliga
10:00	Spotkanie z absolwentami Sala: 0004, 0089	Spotkanie z absolwentami Sala: 0004	Spotkanie z absolwentami Sala: 0089
10:05
10:10
10:15
10:20
10:25					Warsztaty
10:30
10:35
10:40				Warsztaty
10:45
10:50
10:55
11:00
11:05
11:10
11:15
11:20
11:25
11:30
11:35	Wykład olimpijski Komputerowo wspierane dowody Tomasz Kapela sala 0089 Komputerowo wspierane dowody 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.	Warsztaty	Warsztaty	Wykład Pi, pi, pi, pi, pi... czyli o słynnej liczbie i Archimedesie Krzysztof Ciesielski sala 0004 Pi, pi, pi, pi, pi... czyli o słynnej liczbie i Archimedesie Abstrakt Wydaje się, że o liczbie pi wiemy bardzo dużo - jednak czy na wszystkie pytania potrafimy od razu odpowiedzieć? Czy to jest oczywiste, że w wyniku podzielenia obwodu okręgu przez średnicę otrzymamy tę samą liczbę, co w wyniku podzielenia pola koła przez kwadrat promienia? Który uczony tak cenił swoje badania związane z kulą i walcem, że zażyczył sobie, by na jego grobie postawiono te bryły? Jakimi metodami i jak dokładnie przybliżano pi? Jakie ta liczba ma własności? Jakie pytania z nią związane stawiali starożytni Grecy? Czy Archinmedes naprawdę biegał goły po Syrakuzach? Czy daty jego narodzin i śmierci podawane w encyklopediach są poprawne? Czy naprawdę "Dzień liczby pi" należy obchodzić 14 marca? Okazuje się, że na pewne pytania matematycy do dziś nie znają odpowiedzi. Sala 0004 Prowadzący Krzysztof Ciesielski Matematyk, profesor Uniwersytetu Jagiellońskiego. W pracy naukowej zajmuje się teorią układów dynamicznych, historią matematyki oraz matematyczną teorią wyborów. Autor i współautor książek popularyzujących matematykę. Książki "Bezmiar matematycznej wyobraźni" i "Diamenty matematyki", napisane wspólnie ze Zdzisławem Pogodą, zostały uznane najlepszymi książkami popularnonaukowymi polskiego autora opublikowanymi w latach 1995-1998 - autorzy otrzymali za nie Nagrodę im. H. Steinhausa, a "Matematyczna bombonierka" (też wspólna z Z. Pogodą) wyróżniona nagrodą Złotej Róży jako najlepsza książka popularnonaukowa wydana w Polsce w roku 2015/16. Przewodniczący Komitetu Okręgowego Olimpiady Matematycznej w Krakowie, wiceprzewodniczący World Federation of National Mathematics Competitions. Członek Council of the European Mathematical Society. W latach 2009-2016 członek Raising of Public Awareness Committee of the European Mathematical Society. Przewodniczący Komitetu Redakcyjnego miesięcznika "Delta". W latach 2018-2020 redaktor naczelny czasopisma "Wiadomości Matematyczne". W latach 1999-2008 wicedyrektor Instytutu Matematyki UJ ds. dydaktycznych. Kierownik Pracowni Historii Matematyki w Instytucie Matematyki UJ.	Wykład olimpijski Komputerowo wspierane dowody Tomasz Kapela sala 0089 Komputerowo wspierane dowody 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.
11:40
11:45
11:50
11:55
12:00
12:05
12:10
12:15
12:20		Przerwa	Przerwa
12:25
12:30
12:35
12:40	Przerwa			Przerwa	Przerwa
12:45
12:50		Wykład Dyskryminacja! Ale czy na pewno? Anna Szymusiak sala 0004 Dyskryminacja! Ale czy na pewno? Abstrakt Liczby nie kłamią. Takie stwierdzenie często pada przy prezentacji danych mających poprzeć jakąś tezę. Okazuje się jednak, że te same zestawy danych mogą prowadzić do różnych wniosków w zależności od tego, czy przedstawimy je zbiorczo, czy pogrupujemy. Zjawisko to nosi nazwę paradoksu Simpsona, a jego zrozumienie jest często niezbędne do prawidłowej interpretacji danych. Bo liczby nie kłamią. Ale nasze wnioski już mogą być fałszywe. Sala 0004 Prowadzący Anna Szymusiak Absolwentka UJ. Laureatka Międzynarodowej Nagrody im. Stefana Banacha za pracę doktorską. Naukowo interesuje się matematycznymi podstawami teorii kwantowej. Ostatnio szczególnie zajmuje ją, co kwantowego jest w QBizmie, a co z tego nowego podejścia do podstaw kwantów można przełożyć na GPT, czyli uogólnione teorie probabilistyczne (nie mylić z ChatGPT…).	Wykład Czy maszyny myślą? Przemysław Spurek sala 0089 Czy maszyny myślą? Abstrakt W czasie trwania wykładu zostanie przedstawiona krótka historia sztucznej inteligencji. Następnie pokażemy, jak komputery się uczą. Zakończymy omawiając najnowsze metody uczenia stosowane w głębokich sieciach neuronowych w kontekście generowania obrazów. Sala 0089 Prowadzący Przemysław Spurek Uzyskał tytuł magistra matematyki na Uniwersytecie Jagiellońskim w Krakowie w 2009 roku oraz stopień doktora informatyki na Uniwersytecie Jagiellońskim w 2014 roku. W roku 2022 uzyskał stopień doktora habilitowanego. Obecnie pracuje na stanowisku profesora uczelni w Instytucie Informatyki Uniwersytetu Jagiellońskiego.
12:55					Warsztaty
13:00
13:05
13:10	Warsztaty			Warsztaty
13:15
13:20
13:25
13:30
13:35
13:40
13:45
13:50
13:55
14:00
14:05	Warsztaty	Warsztaty	Warsztaty	Spotkanie z absolwentami Sala: 0004	Spotkanie z absolwentami Sala: 0004
14:10
14:15
14:20
14:25
14:30
14:35
14:40
14:45
14:50
14:55
15:00
15:05
15:10
15:15
15:20
15:25