17/06/2026
Bardzo polecamy wywiad z Wojciech Czerwiński, który właśnie ukazał się na łamach Serwisu Naukowego UW.
Wszystkich maturzystów, którzy chcieliby ze swobodą operować terminami "złożoność Ackermannowska" i "wieża dwójek", zapraszamy do rejestracji na informatykę na Uniwersytet Warszawski! :)
✨ Uczelnia badawcza, czyli 5 pytań do informatyka dra hab. Wojciecha Czerwińskiego, prof. UW.
↪️ Wyobraźmy sobie sytuację, gdy tysiące osób kupuje jednocześnie bilety przez internet - system musi przyjmować płatności, blokować miejsca, anulować nieudane transakcje i odpowiadać użytkownikom, wszystko w tym samym czasie. Czy można przewidzieć, czy taki system nie popełni błędu i nie sprzeda tego samego miejsca dwa razy? Takimi problemami – choć nie dosłownie – zajmuje się dr hab. Wojciech Czerwiński, prof. UW, laureat dwóch prestiżowych grantów Europejskiej Rady ds. Badań Naukowych. Najnowszy, nazwany POLARIS, pozwoli mu kontynuować badania nad osiągalnością.
⤴️ W rozmowie z Serwisem Naukowym UW opowiada o sieciach Petriego, czyli matematycznych modelach układów, w których wiele rzeczy dzieje się naraz, i tłumaczy, jak z prostego pytania o działanie systemu rodzi się problem tak trudny, że w grę wchodzą liczby, które przestają mieścić się w głowie. Najważniejszym osiągnięciem uczonego było rozwiązanie problemu, który nurtował naukowców od lat 80. ubiegłego wieku. Choć wiedziano, że da się sprawdzić, czy system może przejść z jednego stanu w drugi, nikt nie wiedział, jak szybko i z wykorzystaniem jakich zasobów pamięciowych można rozwiązać problem osiągalności. Czerwiński udowodnił, że złożoność obliczeniowa problemu osiągalności jest "Ackermannowska" - poziom trudności, dalece wykraczający poza zwykłe potęgi czy wieże wykładnicze.
↖️ Więcej o pięknie abstrakcyjnych struktur przeczytamy w całym wywiadzie w Serwisie Naukowym UW - link w komentarzu.
____
,,Uczelnia Badawcza, czyli 5 pytań do..." to cykl wywiadów z badaczkami i badaczami Uniwersytet Warszawski, którzy realizowali swoje projekty w ramach programu IDUB - ..Inicjatywa Doskonałości-Uczelnia Badawcza".
Uniwersytet Warszawski || Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego || Centrum Współpracy i Dialogu Uniwersytetu Warszawskiego