Podsumowanie
Na konferencję Θβℓιcℤε 2022 przyjechało prawie 100 studentów z całej Polski. W ciągu trzech dni wygłoszono aż 37 referatów z wielu dziedzin. Uczestnicy mieli także możliwość dyskutowania z autorkami i autorami 12 posterów podczas sesji plakatowej. Pod koniec matematycznie intensywnych dni uczestnicy mieli okazję poznać się przy planszówkach i wypadach do centrum miasta.
Najlepszymi plakatami tegorocznej edycji zostały Group theory in twisty puzzles Łukasza Gorczycy oraz Matematyka w muzyce Ignacego Zająca.
W konkursie na najlepszy referat wyróżniliśmy referat Tymoteusza Chmiela pod tytułem Dlaczego grupa topologiczna jest grupą?, a także Leonarda Sikorskiego (Jak izogenie krzywych eliptycznych ochronią nas przed kwantową apokalipsą?) oraz Alexa Gibałę (Analiza danych dziurawa jak ser).
Organizatorem konferencji było Stowarzyszenie Komitetu Organizacyjnego Ogólnopolskiej Konferencji Studentów Matematyki “Oblicze” oraz Koło Naukowe Matematyków UAM.
Sponsorzy i partnerzy

Konferncję Oblicze wspiera Wolfram Research.
Na dziesięciu uczestników czekają roczne subskrybcje na Mathematicę oraz Wolfram | Alpha Pro.
Konferncję Oblicze wspiera Polska Akademia Umiejętności.
Ufundowała ona książki o tematyce sicie neuronowych dla piętnastu uczestników.

Konferncję Oblicze wsparło również Polskie Towarzystwo Matematyczne. Ufundowała nagrody w postaci książek o łącznej wartości 500zł.
Harmonogram
13 maja
| 14:00 |
Obiad 15:00 | ||
| 15:00 |
Otwarcie konferencji (Aula A) 15:15 | ||
| 15:15 | dr Jędrzej Garnek
Jak zobaczyć kształt równania? Wykład inauguracyjny (Aula A) 16:15 | ||
| 16:15 |
przerwa kawowa 16:35 | ||
| 16:35 | Michał Adamczyk
Zasada energii swobodnej – Czy mózg jest statystycznym silnikiem wnioskującym? (Aula A) 17:05 | Patryk Topór
Zastosowanie teorii ciągów Dolda w układach dynamicznych (Aula C) 17:05 | Jakub Szmelter
Ten referat nie jest o medycynie, choć będziemy mówić o nerwach (A1-33) 17:25 |
| 17:10 | Wojtek Boćkowski
Zastosowanie metod uczenia maszynowego i statystyki do badania zjawiska wędrówki chaotycznej w układach dynamicznych 17:40 | Aleksandra Laskowska
Sztuka dzielenia: jak sprawiedliwie dzielić ciastka i inne dobra 17:40 | |
| 17:40 |
przerwa kawowa 18:00 | ||
| 18:00 | Krzysztof Niedojad
Próba Bernoulliego – fundament rachunku prawdopodobieństwa 18:30 | Leonard Sikorski
Jak izogenie krzywych eliptycznych ochronią nas przed kwantową apokalipsą? 18:50 | Patryk Jaśniewski
O reprezentacjach wielomianowych grupy algebraicznej $GL_n(k)$ ustalonego stopnia d 18:50 |
| 19:00 |
Integracja 21:00 | ||
14 maja
| 09:30 | Mikołaj Duch
Mechanika klasyczna w języku geometrii symplektycznej 10:00 | Krzysztof Caban
Analityczne potwory czyli funkcje ciągłe i nieróżniczkowalne 10:20 | Kamil Zabielski
Czy prezydent Rosji może sam odpalić broń atomową – czyli o współdzieleniu sekretu 10:20 |
| 10:00 | Tymon Frelik
Opisując geometrycznie układy fizyczne za pomocą ekstremów funkcji 10:30 | ||
| 10:35 | Mateusz Stępniak
Rozszerzenie klasycznego rachunku prawdopodobieństwa w mechanice kwantowej 11:05 | Aleksandra Gałecka
Maksymalne krzywe Tjuriny wśród układów prostych i stożkowych 11:05 | Krzysztof Jahn
Równowagowe strategie w aukcjach typu “wszyscy płacą” z dyskretnymi zasobami 11:05 |
| 11:05 |
przerwa kawowa 11:30 | ||
| 11:30 | Adam Maskalaniec
Geometria kosymplektyczna dla początkujących 12:20 | Dawid Bucki
Teoria KAM w przykładach 12:20 | Szymon Sroka
Twierdzenie Gerstenhabera-Sieriożkina, czyli kilka słów o pojemności liniowej 12:00 |
| 12:00 | Natalia Rulińska
Macierze wymiaru nieskończonego 12:30 | ||
| 12:30 | Sesja plakatowa 13:30 | ||
| 13:30 |
Obiad 14:45 | ||
| 14:45 | Miłosz Sawicki
Uczenie maszynowe w ornitologii radarowej 15:15 | Miłosz Baraniewicz, Maciek Kowal
Kwadratura Koła – Tarski mówi tak! 15:35 | Józef Zápařka
Konstrukcje klasyczne i teoria Galois 15:35 |
| 15:45 |
przerwa kawowa 16:00 | ||
| 16:00 | Michał Chmura
Geometria tropikalna i jej zastosowania w uczeniu maszynowym 16:30 | Dawid Ptach, Magdalena Wodniczak
Modelowanie wzrostu nowotworu, czyli równania różniczkowe w akcji 16:30 | Marcin Ból
Uogólnione twierdzenie Engela-Jacobsona i kryterium śladowe Radjaviego 16:30 |
| 16:30 | Dorian Falęcki
Modelowanie populacji, czyli jak wykorzystać równania różniczkowe z opóźnieniem 17:00 | Maciej Dziewieczyński
W kierunku hipotezy Riemanna 17:00 | |
| 19:00 |
Integracja 23:00 | ||
15 maja
| 10:00 | Vladyslav Zveryk
Skończone rezolwenty wolne skończonej długości 10:50 | Mateusz Kandybo
Przestrzenie o niedodatniej krzywiźnie 10:50 | Eryk Tadeusz Lipka
Zakręcony Fibbonacci 10:50 |
| 11:00 | Tymoteusz Chmiel
Dlaczego grupa topologiczna jest grupą? 11:50 | Alex Gibała
Analiza danych dziurawa jak ser 11:30 | Piotr Kosela
Automaty komórkowe Pedersena 12:00 |
| 11:30 | Grzegorz Gromko
Wymiary pudełkowe 12:00 | ||
| 12:00 |
przerwa kawowa 12:20 | ||
| 12:20 | Adrian Kowalski
Jak macierze pomagają badać grupy, czyli teoria reprezentacji liniowych grup 12:50 | Maciej Żurawski
Tropikalne wyższe wymiary 13:10 | Krystian Gajdzica
Wprowadzenie do teorii partycji 13:10 |
| 12:50 | Bartosz Mokry
Domknięcia klas sprzężenia w grupie automorfizmów uporządkowania liczb wymiernych 13:20 | ||
| 13:20 |
Obiad 14:20 | ||
| 14:20 |
zakończenie 14:40 | ||
Sesja posterowa
FUN FACTS O LICZBIE PI
#Inne
Anna Żygała oraz Paulina Żola
Liczba Pi to jedna z najbardziej znanych stałych matematycznych. Występuje w wielu dziedzinach nauk ścisłych. Ta najsłynniejsza liczba świata posiada nawet własne święto. Stała się ona też inspiracją dla poetów, pisarzy i filmowców, a także amatorów, którzy biją dzięki niej rekordy Guinnessa.
Geometria Enkrypcji RSA
#TeoriaLiczb #MatematykaStosowana #Informatyka
Bartosz Bogulas
Plakat omawia działanie algorytmu RSA i prezentuje jego ciekawą wizualizacje za pomocą arytmetyki modularnej. Łączy się w ten sposób piękną abstrakcje matematyczną z jej praktycznym zastosowaniem.
Group theory in twisty puzzles
#AlgebraAbstrakcyjna #MatematykaStosowana
Łukasz Gorczyca
I will present some classic twisty puzzles like NxNxN Rubik’s Cubes and other popular WCA puzzles. I will introduce notation in each puzzle. Main clue of presentation is to show algebraical interpetation of puzzles using group theory and other terms from elementary algebra like commutators and conjugate elements.
Jak matematyka chroni nas w internecie?
#TeoriaLiczb #Informatyka #Inne
Joanna Wójcik
Czy kiedykolwiek zastanawialiście się, jak działa szyfrowanie informacji w Internecie?
Z plakatu dowiecie się m.in. jakie są sposoby szyfrowania wiadomości i danych przesyłanych w Internecie, jak działają funkcje jednokierunkowe, dlaczego rozwiązanie hipotezy Riemanna byłoby dużym wyzwaniem dla kryptologii, a także co wspólnego ma z tym wszystkim Kamasutra.
Kategorie z najwyższymi wagami
#AlgebraAbstrakcyjna #TopologiaAlgebraiczna
Patryk Jaśniewski
Kategorie najwyższych wag występują często w teorii reprezentacji — są nimi na przykład kategorie modułów nad algebrami quasi-dziedzicznymi, reprezentacji nad kołczanem (bez relacji) czy funktorów ściśle wielomianowych, o których referowałem już w zeszłym roku na konferencji. W plakacie przedstawię definicję kategorii z najwyższymi wagami oraz ich najważniejsze własności algebraiczne oraz homologiczne. Zobaczymy też różne przykłady tych kategorii.
Lwowska szkoła matematyczna
#DydaktykaMatematyki #Inne
Klaudia Superson oraz Andźelika Walat
W 1917 Zygmunt Janiszewski, polski matematyk, opublikował artykuł „O potrzebach matematyki w Polsce”. Autor zanalizował w nim stan ówczesnej matematyki polskiej. Idea była następująca: skupienie się młodego pokolenia matematyków na jednej, nowej dziecinie matematyki, współpraca oraz wydawanie czasopisma poświęconego wybranej tematyce. Tak zaczęła się przemiana organizacji i metod nauczania matematyki w Polsce. Plakat w formie graficznej przedstawia odbiorcy zarys historii lwowskiej szkoły matematycznej.
Matematyczne metody heurystyczne
#DydaktykaMatematyki #Inne
Natalia Szczepanik oraz Anna Stec
Często spotykamy się z matematycznymi problemami, które na pierwszy rzut oka wydają się trudne do rozwiązania i męczą nas nocami. Co zrobić, gdy pomysłów brakuje i żadna znana nam metoda nie skutkuje? Metoda heurystyczna drogę wskaże, a jak ona działa nasz plakat pokaże.
W plakacie omówimy:
– wybrane metody heurystyczne wykorzystywane w matematyce,
– przykłady ich zastosowań w zadaniach,
– sposób podejścia oraz rozumowanie wybranych uczniów ostatnich klas szkół średnich,
– a także błędy, problemy i wyciągnięte na ich bazie wnioski.
Więcej wody lać nie będziemy, na sesji plakatowej się wykażemy. Mamy nadzieję, że radę damy, na prezentację zapraszamy!
Matematyka jako nauka quasi-empiryczna
#Logika #Inne
Michał Adamczyk oraz Piotr Kosela
W pracy zaznajomimy odbiorcę z poglądem węgierskiego filozofa nauki i matematyki, Imre Lakatosa, zdaniem którego matematyka posiada cechy charakterystyczne dla nauk empirycznych. Określimy pojęcie nauki quasi-empirycznej zaproponowane przez myśliciela oraz krótko omówimy metodę dowodów i refutacji, która według Lakatosa stanowi sposób dokonywania odkryć matematycznych. Na koniec przedstawimy również krytykę tego ujęcia metodologii matematyki.
Matematyka w muzyce
#Inne
Ignacy Zając
Plakat będzie opisywać wspólne cechy matematyki i muzyki. Znajdą się tam informacje o związku między kołem kwintowym, a ciągiem Fibonacciego, między punktem harmonicznym, a gamą. Będzie również o geometrii dźwięku i jego przekształceniach wraz z multimedialnymi przykładami.
Suma kwadratów kolejnych liczb naturalnych
#AnalizaRzeczywista
Urszula Wąsik
Minimum obliczeń maksimum rysunków – czyli w jaki sposób można przedstawić sumę kwadratów kolejnych liczb naturalnych geometrycznie.
The Rosenbluth sampling Calculation of Hydrophobic-Polar Model
#MatematykaStosowana #Informatyka #Statystyka
Marcin Wierzbiński
The search for a more efficient algorithm of protein folding in the hydrophobic-polar (HP) model is an important aspiration in many disciplines. Knowing how proteins fold can help elucidate their three-dimensional structure-function relationship, which is crucial to the understanding of enzymes and to the treatment of misfolded-protein diseases such as Alzheimer’s, Huntington’s, and Parkinson’s disease. It has been shown that the HP protein folding model is NP-Hard, which means it is difficult to solve efficiently for longer protein sequences. In this poster, we present a benchmark implementation of Rosenbluth methods for the HP model with an additional extension to estimate the number of possible sequence configurations.
Trójkąt Pascala i jego wyżej wymiarowe uogólnienia.
#Informatyka #Statystyka #Probabilistyka
Konrad Kosiba
Plakat zawiera prezentację na temat różnych ciekawych własności trójkąta Pascala, a także jego wyżej wymiarowych uogólnień takich jak piramida Pascala.