Przedmioty w rejestracji Rejestracja na przedmioty z semestru letniego 2020/21 1000-2020L
Opcje | ||||
---|---|---|---|---|
1000-135WTG |
Zajęcia przedmiotu
Grupy przedmiotu
Skrócony opis
Będziemy omawiać podstawowe pojęcia i aparat matematyczny teorii gier strategicznych i kooperacyjnych, oraz wybrane zastosowania w naukach społecznych, ekonomii i biologii. |
|
||
1000-135WUD |
Zajęcia przedmiotu
Grupy przedmiotu
Skrócony opis
Wykład stanowi wprowadzenie w niektóre zagadnienia teorii układów dynamicznych na podstawie analizy przykładowych modeli. Opisana jest m.in. dynamika przekształceń na odcinku, okręgu, torusie i płaszczyźnie zespolonej. |
|
||
1000-2M12WTG |
Zajęcia przedmiotu
Grupy przedmiotu
- Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka (Wydział Matematyki, Informatyki i Mechaniki)
Skrócony opis
Na wykładzie omówimy szereg zagadnień ze współczesnej teorii grafów w ujęciu klasycznym (niealgorytmicznym). |
|
||
1000-135ZAF |
Zajęcia przedmiotu
Grupy przedmiotu
Skrócony opis
Celem wykładu jest zaprezentowanie przykładów zastosowań narzędzi i metod analizy funkcjonalnej w innych działach matematyki. Przedstawiona zostanie teoria spektralna dla operatorów zwartych na przestrzeniach Banacha oraz operatorów normalnych na przestrzeniach Hilberta i jej znaczenie dla równań różniczkowych. Omówimy też transformatę Fouriera, teorię dystrybucji, algebry splotowe, a także słabe i *-słabe topologie na przestrzeniach liniowo topologicznych oraz przykłady ich naturalnego występowania. |
|
||
1000-1M18WUM |
Zajęcia przedmiotu
Grupy przedmiotu
- Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka (Wydział Matematyki, Informatyki i Mechaniki)
Skrócony opis
Poznanie celów, metod oraz technik wyjaśniania złożonych modeli uczenia maszynowego, modelu czarnej skrzynki. Modele predykcyjne są coraz bardziej złożone, komitety drzew, głębokie sieci neuronowe to modele o tysiącach parametrów. Dla modeli o takiej wymiarowości łatwo stracić kontrolę nad tym czego model się wyuczył. Podczas tego przedmiotu omówimy narzędzia do analizy struktury modelu traktowanego jako czarna skrzynka, oraz do analizy predykcji z tego modelu. Pozwoli to na zwiększenie zaufania do modelu, poprawę skuteczności modelu, oraz możliwość wyciągnięcia użytecznej wiedzy z modelu. |
|
||
1000-2M11WWI |
Zajęcia przedmiotu
Grupy przedmiotu
- Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka (Wydział Matematyki, Informatyki i Mechaniki)
Skrócony opis
Wykłady z zagadnień współczesnej informatyki prowadzone przez wybitnych naukowców z całego świata.. |
|
||
1000-2M12ZMI |
Zajęcia przedmiotu
Grupy przedmiotu
- Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka (Wydział Matematyki, Informatyki i Mechaniki)
Skrócony opis
W ostatnich latach spektakularnym sukcesem sztucznej inteligencji było zwycięstwo, stworzonego przez IBM, komputera Watson, w amerykańskim teleturnieju Jeopardy. Pokonanie ludzi w zadaniach wymagających wszechstronnej analizy tekstów o nieograniczonym zakresie tematycznym, a sformułowanych w języku naturalny, było możliwe dzięki synergii wyspecjalizowanych algorytmów i technik sztucznej inteligencji. Na wykładzie pokażemy, jak synteza tych (potencjalnie niezależnie rozwijanych) współczesnych metod pozwoliła na przeprowadzenie wnioskowania prowadzącego do zwycięstwa w prestiżowym teleturnieju. Na laboratorium zajmiemy się tworzeniem aplikacji stosujących wybrane techniki sztucznej inteligencji przy użyciu systemu ABLE: Agent Building and Learning Environment. Ten stworzony przez IBM system oferuje bogaty zestaw algorytmów sztucznej inteligencji, przeznaczonych do realizacji rozmaitych typów wnioskowania i planowania. |
|
||
1000-2M11ZPF |
Zajęcia przedmiotu
Grupy przedmiotu
- Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka (Wydział Matematyki, Informatyki i Mechaniki)
Skrócony opis
Wykład ma na celu przedstawienie najważniejszych zagadnień nowoczesnego programowania funkcyjnego w językach takich jak Haskell, Coq, Idris ze szczególnym uwzględnieniem wykorzystania typów do specyfikowania i weryfikacji programów. |
|
||
1000-2N09ZSO |
Zajęcia przedmiotu
Grupy przedmiotu
- Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka (Wydział Matematyki, Informatyki i Mechaniki)
Skrócony opis
Wykład jest gorąco zalecany studentom, którzy zamierzają w przyszłości uczestniczyć w seminarium magisterskim 'Systemy rozproszone', które w części obejmuje zagadnienia systemów operacyjnych, w tym rozproszonych systemów operacyjnych. Przedmiot jest realizowany poprzez wykład (częściowo prowadzony w formie ćwiczeń, połączony z przeglądaniem jądra, czytaniem prac naukowych) i laboratorium. Zamierzamy razem ze studentami przyjrzeć się dokładnie budowie konkretnego systemu operacyjnego. Przykładem omawianym na zajęciach jest Linux, który jest nowoczesnym systemem, popularnym u nas na wydziale, często stosowanym jako platforma serwerowa, ale także na stacjach roboczych, komórkach, jako system wbudowany. Linux jest dostępny w postaci źródeł co pozwala na dokładnie przyjrzenie się zastosowanym w nim algorytmom, strukturom danych, a także samodzielne eksperymentowanie i prowadzenie badań w dziedzinie systemów operacyjnych. |
|
||
1000-1M18ZRR |
Zajęcia przedmiotu
Grupy przedmiotu
Skrócony opis
Przegląd bardziej zaawansowanych zagadnień teorii równań różniczkowych cząstkowych: gładkość rozwiązań równań eliptycznych, metoda ilorazów różnicowych, teoria Fredholma, elementy teorii Schaudera, teorii półgrup, metody wariacyjne. |
|
||