Program WWW18 (2022)
Programowanie z typami zależnymi
informatyka
Na te warsztaty nie ma kwalifikacji. Nie liczą się do puli
wymaganych zgłoszeń.
fizyka
Duże, fajne, niebezpieczne
matematyka
Z pomocą paru prostych aksjomatów wyprowadzimy podstawy matematyki
matematyka
Jakie są granice logiki? Co może, a czego nie może powiedzieć zdanie logiczne?
informatyka
Zaprogramuj własny modem oparty o sygnały dźwiękowe
informatyka
Cyberwojna
Na te warsztaty nie ma kwalifikacji. Nie liczą się do puli
wymaganych zgłoszeń.
matematyka
informatyka teoretyczna
Będziemy konstruować automaty i równoważne im generatory języków (zbiorów słów) o danych własnościach (czasem naprawdę dziwnych).
matematyka
Skonstruujemy alternatywę dla liczb rzeczywistych i zobaczymy, dlaczego jest super.
matematyka
informatyka teoretyczna
Ordnung muss sein
informatyka
biologia
informatyka
Symulacje z mózgami i robotami
fizyka
Proste wyprowadzenie z prostych założeń wcale nie takiej prostej, acz pięknej teorii fizycznej.
informatyka
matematyka
Speedrun analizy matematycznej any percent. Bo "umiem liczyć całki" to największy flex.
fizyka
Na czym ,,naprawdę'' polega fizyka teoretyczna? Jak bardzo fizyka kwantowa jest dziwna i jakie jest podstawowe prawo fizyki?
biologia
inne
Zajęcia poświęcone zagadnieniom z pogranicza biologii molekularnej, genetyki i bioinformatyki.
informatyka
Przedstawiamy najnowszy cud techniki z 1989 - Nintendo GameBoy
fizyka
inne
informatyka
Nauczymy się razić prądem wykładowców i strzelać z dzidy laserowej.
Na te warsztaty nie ma kwalifikacji. Nie liczą się do puli
wymaganych zgłoszeń.
Typescript dla programistów C
informatyka
Na te warsztaty nie ma kwalifikacji. Nie liczą się do puli
wymaganych zgłoszeń.
fizyka
Próba wprowadzenia w ogólną teorię względności w trzy dni, bez zbędnych formalizów, na podstawie wykładów samego Einsteina.
informatyka
Czym budować kod w XXI w.
matematyka
fizyka
inne
Co odpowiedzieć konsultantowi od fotowoltaiki?
matematyka
Zliczanie, dowodzenie i zbiorów dzielenie
Web3 a więc Internet Przyszłości
(odwołane)
informatyka
Zdecentralizowany internet
Na te warsztaty nie ma kwalifikacji. Nie liczą się do puli
wymaganych zgłoszeń.