matematyka i informatyka

Typ Tytuł Opis Dziedzinasortuj malejąco Termin
Spotkanie festiwalowe Jeden obraz bywa lepszy niż 1000 słów

W czasie wykładu zaprezentuję przykłady tzw. dowodów bez słów - przekonujących ilustracji, które pozwalają ,,zobaczyć twierdzenie". Dowody takie, wbrew pozorom, nie ograniczają się jedynie do geometrii. Pojawią się liczne równości, nierówności, skończone i nieskończone sumy liczb, pewne ciekawe ciągi, znane tożsamości trygonometryczne, rozmaite średnie... A wszystko to udowodnimy właściwie wyłącznie na obrazkach, praktycznie bez słów, wzorów czy innych napisów.    

matematyka i informatyka
  • pon., 2017-09-25 18:00
Spotkanie festiwalowe Obliczenia: rachunki, dowody i gry

Co da się obliczyć, a czego nie? Dziś informatycy pytają o to rutynowo w kontekście przeróżnych problemów, jednak pierwsza odpowiedź na to pytanie na dobrą sprawę pojawiła się zanim ktokolwiek zdążył je zadać i wprawiła środowisko naukowe w zakłopotanie. Na początku XX wieku matematycy wierzyli, że każdy problem matematyczny da się rozstrzygnąć za pomocą obliczeń. U szczytu tego optymizmu, w 1928 roku, Dawid Hilbert postulował opracowanie uniwersalnej metody pozwalającego na obliczenie prawdziwości dowolnego stwierdzenia sformułowanego w języku logiki pierwszego rzędu – czyli za pomocą spójników logicznych I, LUB, NIE oraz kwantyfikatorów ISTNIEJE i DLA KAŻDEGO. Niecałe 10 lat później Alan Turing udowodnił, że taki algorytm nie istnieje. A więc są rzeczy, których obliczyć się nie da! Ale co to właściwie znaczy? Wydaje się, że wiemy, co to znaczy obliczyć. Jednak aby pokazać, że czegoś obliczyć się nie da, potrzebujemy więcej niż tylko nieformalnej intuicji. Potrzebujemy definicji obliczenia. W czasie wykładu poznamy trzy co raz ogólniejsze definicje obliczenia i zastanowimy się nad ich wzajemnymi związkami. Dowiemy się również, na czym polega najsłynniejszy problem otwarty teoretycznej informatyki, tj. czy P=NP.

matematyka i informatyka
  • pt., 2017-09-29 17:00
Spotkanie festiwalowe Indywidualne i społeczne konsekwencje upowszechniania internetu

Czy korzystanie z internetu ma pozytywny czy negatywny wpływ na różne sfery życia użytkowników? Jak pod wpływem upowszechnienia się nowych technologii zmienia się nasz społeczeństwo?

matematyka i informatyka
  • sob., 2017-09-30 15:30
Spotkanie festiwalowe Cyberbezpieczeństwo w obiektach przemysłowych

Cyber ataki na instalacje przemysłowe zdarzają się coraz częściej. W roku 2015 hakerzy przejęli kontrolę nad systemami informatycznymi sieci energetycznych na Ukrainie i zakłócili dostawę energii elektrycznej dla ich odbiorców. W latach 2009-2010 wirus Stuxnet doprowadził do zniszczenia około 20% infrastruktury nuklearnej w Iranie. W zakładach przemysłowych bezpieczeństwo tradycyjnie skupia się na fizycznej ochronie mienia obiektu i personelu. Ze względu na to, że systemy komputerowe są coraz częściej używane do sterowania procesami przemysłowymi, nie jest to już wystarczające. Cyberbezpieczeństwo musi być integralną częścią polityki bezpieczeństwa każdej instalacji przemysłowej. Jest to duże wyzwanie, bo wiele z tych systemów zostało zbudowanych wiele lat temu, przy pomocy niestandardowych technologii. Ich głównym celem jest jak najbardziej efektywne funkcjonowanie tych urządzeń a ich bezpieczeństwo ma być zapewnione przez fizyczną ochronę obiektu oraz ich odseparowanie od sieci komputerowych. 

Plany cyberbezpieczeństwa w obiekcie przemysłowym muszą wziąć pod uwagę zarówno ataki, których bezpośrednim celem są systemy komputerowe i informacje przechowywane na nich jak i takie ataki, w których systemy komputerowe są środkami do realizacji ataków fizycznych na te obiekty. Tworzenie i realizacja tych planów powinna oprzeć się na metodologii podobnej do tej jaka jest używana w tworzeniu pozostałych elementów planów bezpieczeństwa (obrona w głąb, analiza zagrożeń i ocena skutków, stopniowe podejście do bezpieczeństwa).

Przedstawię podstawowe elementy bezpieczeństwa komputerowego, zasady tworzenia planów cyberbezpieczeństwa w obiektach przemysłowych oraz podobieństwa i różnice między cyber-ochroną systemów biurowych i przemysłowych.

matematyka i informatyka
  • ndz., 2017-10-01 10:30
Spotkanie festiwalowe Czy łatwo rozpoznać bryłę?

Kostkę do gry w języku matematyki nazywa się sześcianem, książkę – prostopadłościanem, a szklankę – walcem. Czy łatwo rozpoznać bryły patrząc tylko na ich cień lub ślad?

matematyka i informatyka
  • sob., 2017-09-30 11:00
Spotkanie festiwalowe Magia matematyki

Na nietypowym wykładzie przedstawione zostaną "magiczne" sztuczki karciane, które w głównej mierze bazują na niepozornych i zaskakujących zasadach matematyki. Przekonamy się, że każdy z nas może stać się bez problemu matematycznym iluzjonistą.

matematyka i informatyka
  • ndz., 2017-09-24 12:00
Spotkanie festiwalowe Czy matematyka może zlikwidować korki w ruchu drogowym?

Opowiem o tym, w jaki sposób można modelować ruch drogowy w dużych miastach oraz w skali całego kraju (np. Polski), korzystając m.in. z grafów i automatów komórkowych, oraz w jaki sposób to modelowanie może przydać się do optymalizacji transportu i mobilności. Przedstawię też ciekawe badania dotyczące szacowania wyników symulacji komputerowej ruchu drogowego przy pomocy sieci neuronowych oraz podstawy teoretyczne, które stoją za tymi badaniami, a dotyczą m.in. twierdzenia o uniwersalnej aproksymacji. Wspomnę dlaczego wyniki tych badań są ważne i mogą zrewolucjonizować sposób, w jaki zarządza się ruchem drogowym, projektuje sieć drogową i miasta, a ich zastosowania mogą znacznie wykraczać poza obszar transportu. Zaprezentuję algorytm genetyczny, dzięki któremu można znajdować dobre ustawienia sygnalizacji świetlnej w miastach, dobre lokalizacje i pojemności parkingów oraz stacji ładowania pojazdów elektrycznych. Opowiem również o "nadjeżdżającej" rewolucji w transporcie, związanej z pojazdami autonomicznymi (sterowanymi przez programy komputerowe korzystające z algorytmów sztucznej inteligencji, a nie przez człowieka), która może sprawić, że ofiar wypadków drogowych będzie znacznie mniej, będzie się nam podróżowało bezpieczniej, szybciej i przyjemniej.

matematyka i informatyka
  • śr., 2017-09-27 17:00
Spotkanie festiwalowe Warsztaty z programowania równoległego

Zapraszamy uczestników na warsztaty, na których będzie można napisać własną aplikację równoległą w języku Java (lub innym) i uruchomić ją na komputerach ICM.

matematyka i informatyka
  • sob., 2017-09-30 14:30
Spotkanie festiwalowe Okiem matematyka: jak upakować chromosomy, żeby się nie poplątały?

Nasz genom składa się z około 6 miliardów pojedynczych nukleotydów i ta informacja (pochodząca od obojga rodziców) opisuje wszystkie nasze cechy dziedziczne. To wie dziś prawie każdy, ale nie każdy zastanawia się jak ta informacja jest przechowywana w naszych komórkach. Kiedy uświadomimy sobie, że te 6 miliardów znaków mieści się na małej pamięci USB, to myślimy, że to zminiaturyzowany zapis. Jednak biologicznie, te 2 metry DNA są upakowane w każdej z dziesiątek bilionów naszych komórek, podczas gdy bilion pamięci USB ważyłby ponad milion ton! Dodatkowo, chromosomy te nie mogą być powrzucane do jąder komórkowych losowo, bo mogłyby poplątać się podczas ich kopiowania przy podziale komórki. Co więcej, każda komórka podczas swojego życia musi „uruchamiać” produkcję RNA z tysięcy genów, a więc fizycznie „odszukać” te miejsca w odpowiednich momentach. Jak zrealizować strukturę 3D chromosomów, która zapewni te wszystkie cechy naraz? Zrozumienie i opisanie tych skomplikowanych struktur to ogromne zadanie badawcze stojące przed nauką, ale na tym wykładzie zajmiemy się obliczeniowymi aspektami tego problemu. Między innymi odpowiemy na pytania: Jak opisać strukturę chromosomów składających się z miliardów części. Czy możemy rozróżnić struktury od siebie? Czy każda komórka ma chromosomy ułożone tak samo? Czy możemy obliczyć postać struktury, której nie widać nawet pod mikroskopem elektronowym?

matematyka i informatyka
  • wt., 2017-09-26 18:00
Spotkanie festiwalowe Paradoks d'Alemberta, czyli czy latanie jest niemożliwe

Przedstawię słynny paradoks d'Alemberta mówiący o tym, że trójwymiarowy bezwirowy nielepki przepływ nie generuje siły nośnej na skrzydle samolotu. Zastanowimy się jakie jest jego znaczenie w praktyce i zobaczymy co rozważania na jego temat wniosły tak do historii mechaniki, lotnictwa jak i matematyki. W szczególności pojawią się takie pojęcia jak tensor Cauchy'ego, lepkość, rotacja, wiry czy funkcje harmoniczne. Postaram się na tym przykładzie prześledzić wzajemny wpływ matematyki, fizyki i inżynierii. Zobaczymy jak konkretne precyzyjne (czasem przynoszące zaskakujące wyniki) obliczenia prowadzą do doprecyzowania starych lub wręcz wprowadzenia nowych koncepcji w naukach przyrodniczych i jak to wszystko następnie wraca do matematyki przynosząc kolejne fascynujące pytania i zagadnienia do rozwiązania.

matematyka i informatyka
  • sob., 2017-09-30 13:00
Spotkanie festiwalowe O nietypowych kształtach i niesfornych liczbach

Hasło „matematyka” większości osób kojarzy się z obiektami dwojakiego rodzaju – z liczbami i z figurami geometrycznymi. Tak też było w starożytności – u swojego zarania matematyka dzieliła się na geometrię i arytmetykę. Dziś jest już inaczej, niemniej matematyk nie może stronić ani od liczb, ani od figur. Statystycznej osobie, której wspomnimy o geometrii, przychodzą na myśl  głównie obiekty nad wyraz regularne, jak kwadrat, trójkąt, koło, kula, sześcian... Liczby zaś kojarzą się głównie ze standardowymi rachunkami. Tymczasem zarówno liczby, jak i obiekty geometryczne, kryją za sobą bardzo wiele, i to takich rzeczy, o których w programie szkolnym nie ma mowy... Istnieją też problemy,  które, choć przystępnie sformułowane, czekały na rozwiązanie przez lata, ba! niektóre nadal czekają... O takiej, nieznanej powszechnie, matematyce będzie mowa na godzinnym wykładzie, podzielonym na dwie części.

matematyka i informatyka
  • ndz., 2017-09-24 16:00
Lekcja festiwalowa Haker kontra woda w kranie, czyli cyberbezpieczeństwo w automatyce

Jaką rolę odgrywają komputery w zastosowaniach przemysłowych? Czy haker może pozbawić nas prądu albo wody? Jakie skutki dla nas wszystkich może mieć udany atak komputerowy na sieci sterowania?

matematyka i informatyka
  • wt., 2017-09-26 10:00
Spotkanie festiwalowe Kodowanie, programowanie, czyli co potrafią dzieci

Przedstawimy środowisko do programowania wizualnego SCRATCH oraz przykładowe projekty wykonane z jego pomocą. Pokażemy projekty stworzone przez uczniów w tym zgłoszone na konkurs Kodowanie w SCRATCHu.

Nauka programowania staje się coraz bardziej istotną umiejętnością, zaczyna wchodzić do szkół na całym świeci w tym w Polsce. W związku z tym jest wiele wątpliwości czy dzieci potrafią programować i czy wczesne nauczanie programowania ma sens. By rozwiać wątpliwości chcemy przedstawić najciekawsze projekty stworzone przez uczniów w trakcie zajęć szkolnych i pozalekcyjnych, w tym projekty zgłoszone na konkurs Kodowanie w SCRATCHu. Przedstawione zostanie środowisko do programowania wizualnego SCRATCH oraz przykładowe projekty wykonane z jego pomocą.

matematyka i informatyka
  • sob., 2017-09-30 10:30
Spotkanie festiwalowe Techniki dzielenia sekretu

Co to jest dzielenie sekretów? Czy istnieje związek między kryptografią a rakietami? Czy można podzielić sekret na 4 części tak, aby każde 3 dawały całość? Wyjaśnimy, dlaczego metody dzielenia sekretu są tak ważne w dzisiejszym świecie. O jakich sekretach mowa? Poznamy szyfry i ich zastosowania oraz przyjrzymy się zabezpieczeniom systemów nuklearnych... Jak sprytnie zakodować możliwość otwarcia sejfu?

Wykład z cyklu realizowanego przez Centrum Zastosowań Matematyki i Inżynierii Systemów Polskiej Akademii Nauk w Instytucie Matematycznym PAN.

matematyka i informatyka
  • wt., 2017-09-26 15:00
Spotkanie festiwalowe Matematyk przy urnie: o paradoksach wyborczych

Wybory, według Konstytucji, powinny być (wśród innych ważnych przymiotników) równe i proporcjonalne. Czy są takie? Kto, jak nie matematyk, powinien to sprawdzić! Sprawdzimy, jak działają wybory do sejmu w Polsce. Czy większość mandatów może dostać mniejszość? Czy zawsze więcej głosów, to lepiej? Zastanowimy się nad tym, czy w ogóle możliwe są wybory proporcjonalne, z matematycznego punktu widzenia. A jeśli nie wybory proporcjonalne, to może większościowe, gdzie w każdym okręgu wygrywa jeden kandydat? Zobaczymy, jak bardzo ich wynik może zależeć od metody głosowania. Ale czy da się rozstrzygnąć, która metoda głosowania jest najlepsza? I kto o tym decyduje? Przyjrzymy się też wyborom w innych krajach, np. wyborom prezydenckim w USA. Kto o tym decyduje to ważne pytanie również przy okazji zastanawiania się nad granicami okręgów wyborczych. Pokażemy, jak bardzo można wpłynąć na wynik wyborów, jedynie sprawnie ustalając ich mapę! Na koniec zastanowimy się nad tym, na czym nam zależy w wyborach. Jakie cechy powinien spełniać system wyborczy, żeby był sensowny. Poszukamy też możliwie sensownego systemu, choć - ostrzegam - będzie trzeba pójść na jakiś kompromis.

matematyka i informatyka
  • sob., 2017-09-30 11:00
Spotkanie festiwalowe Między Bachem a Banachem; matematyczne struktury w muzyce i sztuce

Tajemnicze powiązania między matematyką a sztuką fascynują ludzi od dawna. Na przykład, w muzyce Jana Sebastiana Bacha można dostrzec rozliczne przejawy matematycznych idei, takich jak symetria czy rekurencja. W sztuce współczesnej fenomen tej zadziwiającej interakcji nasila się. W trakcie wykładu przedstawię kilka spektakularnych przykładów bezpośredniego wykorzystania struktur matematycznych w muzyce, grafice i architekturze.

matematyka i informatyka
  • śr., 2017-09-27 17:00
Lekcja festiwalowa Rozwiązania biometryczne na urządzanie mobilne

Prezentacja z elementami warsztatu będzie dotyczyła rozwiązań biometrycznych na telefony komórkowe. Przedstawimy praktyczne przykłady zastosowań biometrii w urządzeniach mobilnych dostępnych na rynku. Szczegółowo omówione zostaną trzy badane przez nas charakterystyki: nagrania głosu, podpis odręczny i termika dłoni. Pokażemy urządzenia mobilne z aplikacjami do pobierania danych, schemat ich przetwarzania i uwierzytelniania.

matematyka i informatyka
  • pon., 2017-09-25 11:00
Spotkanie festiwalowe Teoria gier. Od dylematu więźnia do konfliktów nuklearnych

Jak radzić sobie w sytuacji konfliktu interesów? Na to pytanie odpowiada teoria gier, której najciekawsze elementy będą tematem przewodnim wykładu. Przyjrzymy się, jak pozwala ona poradzić sobie w codziennych sytuacjach, takich jak organizacja przyjęcia, jak i tych o znaczeniu globalnym, takich jak zapobieganie konfliktom nuklearnym.

Wykład z cyklu realizowanego przez Centrum Zastosowań Matematyki i Inżynierii Systemów Polskiej Akademii Nauk w Instytucie Matematycznym PAN.

matematyka i informatyka
  • wt., 2017-09-26 17:00
Spotkanie festiwalowe Obliczenia: co optymalizuje ewolucja?

Ewolucję można traktować jako swego rodzaju obliczenie. Bardzo upraszczając oblicza ona nowe pokolenie ze starego (oczywiście używając po drodze losowości). Osobniki bardziej dostosowane do środowiska średnio zostawiają więcej potomków. Można by więc uważać, że ewolucja „dąży do“ stworzenia osobników idealnych. Ale czy aby na pewno? W przyrodzie istnieją dwa najbardziej powszechne sposoby rozmnażania: rozmnażanie bezpłciowe i rozmnażanie płciowe. Rozmnażanie bezpłciowe jest zapewne bardziej powszechne, ale nietrudno zauważyć, że bardziej zaawansowane organizmy zazwyczaj rozmnażają się płciowo. Można więc z tego wysnuć wniosek, że rozmnażanie płciowe jest niejako lepsze. W informatyce opracowano algorytmy wzorujące się na obu metodach rozmnażania w celu znajdowania optymalnych obiektów w pewnej puli możliwości. Algorytmy przeszukujące przestrzeń rozwiązań w sprytny sposób można uznawać za analog rozmnażania bezpłciowego. Z kolei na rozmnażaniu płciowym wzorują się z kolei tak zwane algorytmy genetyczne. Wydaje się, że algorytmy wzorujące się na algorytmach płciowych powinny zdecydowanie wygrywać z tymi wzorującymi się na algorytmach bezpłciowych. A jednak tak nie jest! Powszechnie używa się symulowanego wyżarzania, które jest algorytmem przeszukującym przestrzeń możliwości. A niektóry bardzo szanowani naukowcy twierdzą nawet, że algorytmy genetyczne nie sprawdzają się w praktyce. Gdzie w takim razie tkwi haczyk? Może ewolucja wcale nie tworzy osobników optymalnych. Co więc w takim razie może optymalizować? Zastanowimy się tym problemem i spróbujemy udzielić chociaż częściowej odpowiedzi.

matematyka i informatyka
  • pt., 2017-09-29 18:00
Spotkanie festiwalowe Matematyczny Escape Room

Lubisz zagadki matematyczne? Próbowałeś kiedyś swoich sił w Escape Room'ie? Koło Naukowe Matematyków Wydziału Matematyki i Nauk Informacyjnych Politechniki Warszawskiej przygotowało dla Ciebie niezapomnianą przygodę. Przyjdź i spróbuj uwolnić się ze świata matematycznych zagadek. Zasady:

  • zbierz kilkuosobową drużynę miłośników łamigłówek matematycznych,
  • wybierz poziom trudności jaki preferuje drużyna: poziom łatwy - skierowany do najmłodszych, poziom średni lub poziom trudny,
  • zapoznaj się z regulaminem zabawy na miejscu,
  • wejdź do MiNI Escape Room'u i znajdź sposób, aby się z niego wydostać przed upływem czasu.

Zabierz rodzinę oraz znajomych i wpadnij do nas, a przekonasz się, jak matematyka potrafi być zabawna i intrygująca.

matematyka i informatyka
  • sob., 2017-09-23 11:00
Spotkanie festiwalowe Jakie tajemnice skrywa kartka papieru?

Na zajęciach wykonamy z papieru parę papierowych „sztuczek”, które na pierwszy rzut oka wydaja się niewykonalne. Nie zapomnij wziąć nożyczek!

matematyka i informatyka
  • sob., 2017-09-30 12:30
Spotkanie festiwalowe Wykład popularno-naukowy z przedstawieniem pt. "Wacław Sierpiński"

Celem aktywności koła artystycznego TeMat, działającego przy Wydziale Matematyki i Nauk Informacyjnych Politechniki Warszawskiej, jest zainteresowanie kulturą i sztuką młodych, ścisłych umysłów, przede wszystkim licealistów i studentów nauk technicznych. Nasz zespół składający się ze studentów, doktorantów, a także kilku pracowników Wydziału, bierze udział we wspólnych wyjściach do teatru, seansach filmowych, warsztatach o różnej tematyce, a także przedstawieniach popularyzujących matematykę. W tym roku przygotowania do naszego letniego projektu, nawiązującego do biografii Wacława Sierpińskiego, pragniemy zwieńczyć występem na XXI Festiwalu Nauki. Podczas wykładu opowiemy m.in. o konstrukcji i zadziwiających własnościach trójkąta Sierpińskiego, pojęciu fraktala i jego najbardziej znanych przykładach, a także najważniejszych wydarzeniach z życia matematyka, które miały wpływ na dorobek naukowy nie tylko Sierpińskiego, ale także wielu innych poważanych naukowców.

matematyka i informatyka
  • ndz., 2017-09-24 14:00
Spotkanie festiwalowe Czy matematyka może zlikwidować sieci terrorystyczne?

Opowiem o tym, jak patrząc na sieć powiązań, wskazać najważniejszy element. Zagadnienie to nazywane jest "analizą centralności". Ma ono bardzo dużo zastosowań - od wyznaczanie najbardziej wpływowych osób w sieciach społecznych, przez kluczowe węzły w infrastrukturze drogowej czy informatycznej, aż po analizę istotności genów w sieciach biologicznych. W swojej prezentacji skupię się na sieciach terrorystycznych i pytaniu, jak znaleźć terrorystę, który jest "mózgiem" operacji. Czy jest to możliwe, analizując jedynie sieć znajomości i interakcji? Patrząc na siatkę terrorystyczną, która przeprowadziła zamach na World Trade Center 11 września 2001 roku, zobaczymy, jak działają podstawowe miary centralności. Zastanowimy się także, których terrorystów powinniśmy "wyeliminować" z sieci, aby zapobiec atakowi przez rozbicie siatki terrorystycznej na części. Z pomocą przyjdzie nam tu teoria gier, a konkretniej metody oparte na rozwiązaniach gier koalicyjnych.

matematyka i informatyka
  • śr., 2017-09-27 18:00
Spotkanie festiwalowe Jak możemy myśleć: 70 lat później

Opowieść o wizjonerach, którzy wyobrazili sobie WWW, Wikipedię i sieci społecznościowe w czasach, kiedy “komputer” dla większości ludzi oznaczał po prostu kolosalne i potwornie skomplikowane liczydło.

matematyka i informatyka
  • sob., 2017-09-30 14:00
Spotkanie festiwalowe Okiem matematyka: działanie tomografu komputerowego

Tomograf komputerowy jest jednym z ważniejszych narzędzi diagnostycznych w medycynie, umożliwiającym wgląd we wnętrze ludzkiego organizmu bez interwencji chirurgicznej. Aby mogło powstać tak zaawansowane urządzenie, niezbędne były liczne osiągnięcia z fizyki, inżynierii, informatyki i matematyki. Chcąc opisać działanie tomografu komputerowego, napotykamy kilka ciekawych problemów matematycznych związanych m. in. z przetwarzaniem obrazów i obliczeniami maszynowymi. Na wykładzie zostanie krótko przedstawiona historia powstania tomografu komputerowego i zasada jego działania. Główna część będzie jednak poświęcona problemom matematycznym związanym z działaniem tych urządzeń. Mimo że problemy te wymagają zaawansowanej wiedzy matematycznej, przybliżone one będą za pomocą elementarnych pojęć i analogii matematycznych.

matematyka i informatyka
  • wt., 2017-09-26 17:00
Spotkanie festiwalowe Kolorowa matematyka

Stoisko "Kolorowa matematyka" prezentuje w formie zagadek logicznych, kolorowanek i zabaw ruchowych całkiem poważne zagadnienia matematyczne: 1) Twierdzenie o czterech barwach, które mówi, że każdą mapę można tak pokolorować czterema barwami, że sąsiednie państwa są różnych kolorów. 2) Wstęgę Mobiusa, czyli kartkę papieru, która ma tylko jedną stronę (i kilka innych zdumiewających cech). 3) Problem komiwojażera, czyli zaskakująco trudne zadanie znalezienia najkrótszej drogi odwiedzającej zadane punkty na mapie. 4) Wieże Hanoi, czyli układankę w której chodzi o to, żeby ją ułożyć robiąc jak najmniej ruchów.

matematyka i informatyka
  • sob., 2017-09-30 10:00
Spotkanie festiwalowe Liczby na przestrzeni dziejów

W czasie wykładu omówimy w jaki sposób różne cywilizacje zapisywały liczby. Zaczniemy od nacięć na kościach (ok 30.000 lat p.n.e.) oraz pisma klinowego (Babilon, ok 6.000 lat p.n.e.). Następnie omówimy systemy hieroglificzne, używane przez różne cywilizacje. Na zakończenie opowiemy o ewolucji liczb arabskich zakończonej w X wieku naszej ery.

matematyka i informatyka
  • ndz., 2017-09-24 11:00
Lekcja festiwalowa Biometryczna identyfikacja tożsamości z wykorzystaniem tęczówki

Zapraszamy do poznania teoretycznych podstaw działania biometrii tęczówki, a na warsztacie będziecie mieli okazję pracować z profesjonalnymi systemami identyfikacji.

matematyka i informatyka
  • wt., 2017-09-26 11:00
Spotkanie festiwalowe Rzecz o programowaniu równoległym

Spotkanie poświęcone programowaniu współczesnych wieloprocesorowych komputerów. Pokażemy jak z wykorzystaniem współczesnych narzędzi można prosto i efektywnie tworzyć aplikacje na superkomputery.

W mitologii greckiej Okeanos to jeden z tytanów a hydra to wielogłowy potwór. Są to jednocześnie nazwy wieloprocesorowych komputerów dostępnych w ICM UW. Dla większości, korzystanie z nich jest wyzwaniem analogicznym do walki z mitologicznymi potworami czy tytanami. Programowanie takich systemów rzeczywiście nie jest łatwe, jednak współcześni informatycy mają coraz więcej narzędzi pozwalających  na proste i efektywne programowanie dużych, wieloprocesorowych komputerów. Jest to o tyle ważne, że wzrost szybkości komputerów jest możliwy tylko dzięki zastosowaniu wielu procesorów, co widzimy już w komputerach osobistych, laptopach czy telefonach komórkowych. 

matematyka i informatyka
  • sob., 2017-09-30 13:30
Spotkanie festiwalowe Jak wykorzystać wiedzę tłumu do przewidywania przyszłości?

Czym są rynki predykcyjne? Jak pozwalają wykorzystać wiedzę tłumu, żeby przewidywać przyszłość? Kiedy są skuteczne? Na ile możemy ufać takim prognozom? Na te i inne pytania odpowiedzi udzieli dr Kulesza oraz opowie o działaniu rynku predykcyjnego L.E.M. nano (http://lem-nano.pl/), którego użytkownicy przewidują przyszłość rozwoju nowych technologii.

Wykład z cyklu realizowanego przez Centrum Zastosowań Matematyki i Inżynierii Systemów Polskiej Akademii Nauk w Instytucie Matematycznym PAN.

matematyka i informatyka
  • śr., 2017-09-27 17:30
Spotkanie festiwalowe Paradoks wykresów statystycznych: kiedy mniej dokładnie znaczy lepiej

W zaskakujący sposób, rozwój technik statystycznej wizualizacji danych jest związany z rozwojem nauki. Podczas referatu opowiem o tym, jak pionierka współczesnego pielęgniarstwa - Florence Nightingale - jednym wykresem zmieniła system opieki szpitalnej, jak ojciec współczesnej epidemiologii - John Snow - jednym wykresem wskazał ognisko strasznej epidemii, jak genialny kartograf - Charles Minard - jednym wykresem podsumował losy kampanii Napoleońskiej. Pokażemy diagram, który pomógł zrozumieć strukturę DNA i diagram, który pomógł zrozumieć bilans gospodarczy z sąsiednimi krajami. Obok epickich przykładów wykresów wartych więcej niż 1000 słów, podczas prelekcji pokażę błędy w wizualizacji danych. Wykład poprowadzony będzie na podstawie książki ,,Zbiór esejów o sztuce prezentacji danych" http://biecek.pl/Eseje.

matematyka i informatyka
  • sob., 2017-09-30 12:00
Spotkanie festiwalowe Origami Matematyczne

Piękno modeli z kolorowego papieru, z których część zostanie wykonana własnoręcznie przez uczestników warsztatów, posłuży nam za pretekst i pomoc w poznaniu piękna matematycznych teorii. Piękna, które fascynowało już antycznych myślicieli, a którego echa rozbrzmiewają wciąż we współczesnej nauce.

matematyka i informatyka
  • sob., 2017-09-30 10:00
  • sob., 2017-09-30 11:30
Lekcja festiwalowa Otoczeni przez czujniki - budowa i zastosowania bezprzewodowych sieci

Poznamy budowę nowoczesnych, bezprzewodowych sieci czujników (WSN), które są źródłem przesyłanych danych. Zebrane dane poddawane są analizie i wykorzystywane w wielu obszarach naszego życia, przemyśle oraz w systemach bezpieczeństwa. W trakcie prezentacji przedstawione zostaną podstawy działania wybranych urządzeń oraz aktualne i planowane zastosowania bezprzewodowych sieci czujników. Uczestnicy wykładu poznają również możliwość budowy sieci WSN z wykorzystaniem popularnych i dostępnych w życiu codziennym urządzeń np. smartfonów, tabletów itp. W trakcie wykładu odbędzie się dodatkowo pokaz działania sieci WSN oraz eksperymenty dotyczące transmisji radiowej i wyników pracy wybranych czujników.

matematyka i informatyka
  • wt., 2017-09-26 09:00
Spotkanie festiwalowe Programowanie dla każdego

Programowanie nie jest sztuką zarezerwowaną dla nielicznych. Zapraszamy dzieci na warsztaty gdzie każdy będzie mógł stworzyć własną aplikację - na przykład grę komputerową.

Programowanie wydaje się być sztuką zarezerwowaną jedynie dla nielicznych. Na szczęście nie jest to prawda i każdy może stać się twórcą programu komputerowego i stworzyć własną grę komputerową, animacje czy inną aplikację. ICM proponuje blok aktywności adresowany do uczniów, rodziców i nauczycieli polegający na możliwości stworzenia własnej aplikacji (na przykład gry komputerowej). Dzieci będą miały okazję do pracy w laboratorium komputerowym ICM.

matematyka i informatyka
  • sob., 2017-09-30 09:00
  • sob., 2017-09-30 12:00
Spotkanie festiwalowe Jak łamie się szyfry – omówienie na przykładzie maszyny rotorowej Enigma.

Podstawy działania Enigmy oraz symulacja jej działania za pomocą oprogramowania. Przedstawimy wybrane metody złamania Enigmy i wnioski z tej historii aktualne dla współczesnych systemów ochrony informacji.

Wykład z cyklu realizowanego przez Centrum Zastosowań Matematyki i Inżynierii Systemów Polskiej Akademii Nauk w Instytucie Matematycznym PAN.

matematyka i informatyka
  • śr., 2017-09-27 16:00
Spotkanie festiwalowe Prawdziwe paradoksy logiczne

Paradoks jest słowem z języka powszechnego i bywa źle interpretowany. Niekiedy ludzie mylnie używają go w znaczeniu czegoś niezrozumiałego, zaskakującego. Nawet w języku nauki przyjęły się określenia "paradoks bliźniąt" czy "paradoks EPR (Einsteina, Podolskiego, Rosena)", które miały podważyć mechanikę kwantową przez doprowadzenie do sprzeczności ze zdrowym rozsądkiem. Takie paradoksy zyskały wytłumaczenie i fizycy poradzili sobie z nimi. Dzisiejsi fizycy widzą w nich co najwyżej trudność intelektualną lub rachunkową, a nie sprzeczność. Tymczasem prawdziwy paradoks logiczny, chociaż często zaskakujący, nie jest po prostu niemożliwym do wytłumaczenia faktem, tylko powstaje wskutek pomieszania dwóch światów: świata opisu ze światem przedmiotu tego opisu. Jeszcze Arystoteles, budując fundamenty współczesnej nauki, ostrzegał przed błędnymi definicjami, w których definiujemy obiekty za pomocą nie do końca zdefiniowanych pojęć. Zauważmy, jak przy tym podejściu trudnym przedmiotem do zdefiniowania staje się logika, o której trzeba mówić używając praw logiki, zwanych wtedy, dla osłabienia dysonansu, zdrowym rozsądkiem. Starożytni Grecy doskonale zdawali sobie sprawę z problemu. Znane są liczne paradoksy, w tym bodaj najważniejszy paradoks Eubulidesa (kłamcy). Z niego można wywieść parę innych znanych paradoksów, jak choćby spór Protagorasa z Euathlosem, paradoks cyrulika na wyspie rządzonej przez tyrana, czy rozmowę matki z krokodylem, który porwał jej dziecko. O tych paradoksach, metodach ich rozpoznawania i unikania opowiem na wykładzie z licznymi przykładami.

matematyka i informatyka
  • sob., 2017-09-30 10:00
Spotkanie festiwalowe LEGO Matematyka

W poszukiwaniu form wyrazu myśli naukowej i popularnonaukowej dotarliśmy do filmów wykonywanych metodą poklatkową. Jako budulec scenografii posłużyły klocki LEGO©. Aktorami są figurki produkcji tej samej firmy, tzw. “Minifigs”. Dwoją się one i troją na ekranie, aby - poza sprawieniem przyjemności widzowi z samego oglądania żartobliwej animacji - przekazać jakąś ciekawostkę naukową. Tymczasem na warsztacie są ciekawostki matematyczne, jako że matematyka jest nam najbliższa. Będzie można dowiedzieć się jak paradoksalne wnioski można wyciągnąć z elementarnych nawet rozważań probabilistycznych (paradoksalne, jednak zgodne z eksperymentami), czy przekonać się, iż sprytne kodowanie problemu może umożliwić błyskawiczne rozwiązanie nawet złożonej zagadki. Poza prezentacją gotowych dzieł odsłonimy nieco kulisy ich powstawania.

matematyka i informatyka
  • sob., 2017-09-23 12:00
Spotkanie festiwalowe Chaos

Słowo „chaos” oznacza po grecku ziejącą głębię, przepaść, czeluść, ale „Chaos” był także imieniem boga (lub bogini) który w greckej mitologii był odpowiednikiem „wielkiego wybuchu” gdyż od chaosu wziął początek cały wszechświat. Pół wieku temu chaos uzyskał przymiotnik „deterministyczny” i stał się terminem naukowym. Wydawać by się mogło, że deterministyczny chaos jest oksymoronem, to znaczy zlepkiem dwóch wzajemnie wykluczających się pojęć, ale to połączenie stanu totalnego zamętu z pełną przewidywalnością” ma jednak racjonalne uzasadnienie. Pełna przewidywalność jest rzeczywiście w deterministycznym chaosie teoretycznie osiągalna, ale za cenę której nikt nie jest w stanie zapłacić. Dogłębne zrozumienie istoty deterministecznego chaosu stało się możliwe dzięki komputerom i dlatego ta dziedzina wiedzy rozwinęła się stosunkowo niedawno choć pierwsze domysły na ten temat snuli uczeni już ponad sto lat temu. Komputer jest obecnie podstawowym narzędziem do badania chaosu i będzie on wykorzystany do pokazania na prostych przykładach na czym polega deterministyczny chaos. Między innymi zostanie wyjaśniony „efekt motyla”, jeden z pierwszych przykładów deterministycznego chaosu.

matematyka i informatyka
  • ndz., 2017-10-01 10:00