Harmonogram warsztatów

Procesor — serce każdego komputera — zwykle kojarzy się nam

z zaawansowaną technologią, która wymaga ogromnych nakładów finansowych

i specjalistycznej wiedzy. Okazuje się jednak, że procesor jest zbudowany

z komponentów o bardzo prostych zasadach działania. W czasie wykładu

postaram się przybliżyć jak taki procesor działa i z czego jest zbudowany.

Pokażę również, że przy odrobinie kreatywności i determinacji, można

samemu zbudować prosty procesor za niewielkie pieniądze, a wszystko to

dzięki trochę już zapomnianej technologii sprzed pół wieku.

A: Na ile sposobów możemy się przywitać?
Maciej Kucharski, Dominik Gdesz

Na ile sposobów możemy podać sobie dłonie przy stole? Ile jest poprawnych ciągów 2n nawiasów? I co to ma wspólnego z łańcuchami górskimi i drzewami? W czasie zajęć spróbujemy odpowiedzieć na te i podobne pytania odkrywając liczby Catalana i ich własności. 

B: Automaty skończone - zaprogramuj sobie graf
Magdalena Dudziak, Cyprian Ziółkowski

Współczesna informatyka kojarzy się z potężnymi procesorami, halami pełnymi serwerów i tysiącami linii kodu. Okazuje się jednak, że można stworzyć coś użytecznego, nie mając do dyspozycji niemal żadnych zasobów. Niektóre operacje - takie jak błyskawiczne wyszukiwanie frazy w ogromnym pliku PDF, weryfikacja poprawności hasła czy logika sterująca windą - można zrealizować niemal bez użycia pamięci.

Podczas warsztatów zajmiemy się automatami skończonymi - modelem najprostszych obliczeń, sprowadzającym je do „spaceru po grafie”. Nauczymy się rozwiązywać problemy z ich pomocą i przekonamy się, gdzie leżą granice ich możliwości. Zobaczymy też, na czym w teorii informatyki polega różnica między determinizmem a niedeterminizmem - kluczowa dla największego otwartego pytania tej nauki: P vs NP.

A: Na ile sposobów możemy się przywitać?
Maciej Kucharski, Dominik Gdesz

Na ile sposobów możemy podać sobie dłonie przy stole? Ile jest poprawnych ciągów 2n nawiasów? I co to ma wspólnego z łańcuchami górskimi i drzewami? W czasie zajęć spróbujemy odpowiedzieć na te i podobne pytania odkrywając liczby Catalana i ich własności. 

B: Automaty skończone - zaprogramuj sobie graf
Magdalena Dudziak, Cyprian Ziółkowski

Współczesna informatyka kojarzy się z potężnymi procesorami, halami pełnymi serwerów i tysiącami linii kodu. Okazuje się jednak, że można stworzyć coś użytecznego, nie mając do dyspozycji niemal żadnych zasobów. Niektóre operacje - takie jak błyskawiczne wyszukiwanie frazy w ogromnym pliku PDF, weryfikacja poprawności hasła czy logika sterująca windą - można zrealizować niemal bez użycia pamięci.

Podczas warsztatów zajmiemy się automatami skończonymi - modelem najprostszych obliczeń, sprowadzającym je do „spaceru po grafie”. Nauczymy się rozwiązywać problemy z ich pomocą i przekonamy się, gdzie leżą granice ich możliwości. Zobaczymy też, na czym w teorii informatyki polega różnica między determinizmem a niedeterminizmem - kluczowa dla największego otwartego pytania tej nauki: P vs NP.