Przedmioty obieralne dla informatyki (grupa przedmiotów zdefiniowana przez Wydział Matematyki, Informatyki i Mechaniki)
|
Legenda
Jeśli przedmiot jest prowadzony w danym cyklu dydaktycznym, to w odpowiedniej komórce pojawi się koszyk rejestracyjny. Ikona koszyka zależy od tego, czy możesz się rejestrować na dany przedmiot.
- nie jesteś zalogowany 
- aktualnie nie możesz się rejestrować 
- możesz się zarejestrować 
- możesz się wyrejestrować (lub wycofać prośbę) 
- złożyłeś prośbę o zarejestrowanie (i nie możesz jej już wycofać) 
- jesteś pomyślnie zarejestrowany (i nie możesz się wyrejestrować)
Kliknij na ikonę "i" przy koszyku, aby uzyskać dodatkowe informacje.
2023Z - Semestr zimowy 2023/24 2023L - Semestr letni 2023/24 2024Z - Semestr zimowy 2024/25 2024L - Semestr letni 2024/25 (zajęcia mogą być semestralne, trymestralne lub roczne) |
Opcje | |||||||
|---|---|---|---|---|---|---|---|---|
| 2023Z | 2023L | 2024Z | 2024L | |||||
| 1000-2M16AN | brak | brak | brak |
 
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Nie podano opisu skróconego, przejdź do strony przedmiotu aby uzyskać więcej danych.
|
|
||
| 1000-2M23ALE | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2023/24
Grupy przedmiotu
Skrócony opis
Wykład dotyczy zagadnień z pogranicza informatyki, sztucznej inteligencji i ekonomii. Omawiane będą najważniejsze zagadnienia z teorii gier (kooperacyjnych i niekooperacyjnych), teorii wyboru społecznego, teorii mechanizmów i analizy sieci społecznych. Wykład będzie się koncentrował na algorytmach i rozwiązaniach o dużym praktycznym znaczeniu. |
|
||
| 1000-2M24ATM | brak | brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Wykład ten łączy elementy strukturalnej teorii grafów, algorytmów parametryzowanych, oraz teorii modeli skończonych. Wątkiem przewodnim wykładu są wyniki algorytmiczne, nazywane “algorytmicznymi meta-twierdzeniami”, które mówią, że całe rodziny problemów algorytmicznych można rozwiązać efektywnie na instancjach o szczególnej strukturze. Zazwyczaj będziemy rozważali problemy grafowe dla grafów o szczególnej strukturze. Przykładowo, każdy problem obliczeniowy, który można opisać zdaniem logiki pierwszego rzędu, można rozwiązać w czasie liniowym na wszystkich grafach planarnych, lub na wszystkich grafach o ustalonym maksymalnym stopniu wierzchołków. Wynik ten można uogólnić na różne inne klasy grafów (w tym klasy nigdziegęste, oraz klasy monadycznie stabilne) czy inne logiki. Wykład prowadzony po angielsku. |
|
||
| 1000-2M02AA | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2023/24
Grupy przedmiotu
Skrócony opis
Teoria gier została zapoczątkowana przez von Neumanna i Morgensterna jako matematyczna teoria racjonalnego zachowania. Gra składa się z opisu możliwych posunięć i definicji funkcji zysku dla każdego z graczy. Oczywiście, każdy z graczy stara się wybrać taką strategię, jaka maksymalizuje jego zysk. Najczęściej w teorii gier uważa się, że racjonalne zachowanie graczy jest dobrze opisywane pojęciem równowagi Nasha. |
|
||
| 1000-2N00ALG | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2023/24
Grupy przedmiotu
Skrócony opis
Wykład jest kontynuacją wykładu "Algorytmy i struktury danych". Celem zajęć jest zaznajomienie studentów z technikami konstrukcji efektywnych algorytmów dla różnych rodzajów problemów kombinatorycznych. Wymagania wstępne: Algorytmy i struktury danych |
|
||
| 1000-718ADG |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
Skrócony opis
Algorytmiczne problemy i metody analiz danych z sekwencjonowania wysokoprzepustowego i innych wielkoskalowych technik eksperymentalnych współczesnej genomiki. Tematy będą obejmować problemy mapowania odczytów na genomy referencyjne, rekonstrukcji zsekwencjonowanych genomów z odczytów, klasyfikacji i kwantyfikacji odczytów. Przedstawione zostaną metody rozwiązywania tych problemów w oparciu o dane z różnych eksperymentów i technologii sekwencjonowania, a także podejścia wykorzystujące łącznie dane różnego typu. |
|
||
| 1000-2M24ANS | brak | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Przedmiot poświęcony jest teoretycznym aspektom obliczania najkrótszych ścieżek w grafach, wykraczającym poza zakres podstawowych przedmiotów algorytmicznych. Omówimy niektóre z najważniejszych teoretycznych osiągnięć ostatnich dekad w tym zakresie: algorytmy skalujące w przypadku ujemnych wag, wyrocznie odległości, algorytmy dynamiczne i równoległe, ograniczenia dolne. Spojrzymy również na zastosowania tychże i związki z innymi fundamentalnymi problemami algorytmicznymi na grafach. |
|
||
| 1000-2M12APW | brak | brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Wykład poświęcony będzie ponadwielomianowym algorytmom dla problemów NP-trudnych, ze szczególnym uwzględnieniem algorytmów parametryzowanych. Wykład jest pomyślany dla studentów i doktorantów zainteresowanych algorytmiką i kombinatoryką, i rozważających pracę naukową (choćby na poziomie pracy magisterskiej). |
|
||
| 1000-2N09ALT |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
Skrócony opis
Wykład jest poświęcony omówieniu podstawowych metod projektowania i analizowania algorytmów związanych z tekstami. Zasadniczym problemem będzie zrozumienie struktury wielu skomplikowanych algorytmów oraz różnego typu techniki algorytmiczne i struktury danych (drzewa sufiksowe, grafy podsłów). Teksty są prostym a jednocześnie powszechnym typem informacji, ale będą rozważane zarówno standardowe teksty (jako ciągi symboli), jak również bardziej strukturalne formy: teksty dwuwymiarowe (związki z grafiką) i drzewa etykietowane (struktury występujące w XML i biologii obliczeniowej). Klasyczne problemy algorytmiczne związane są z szukaniem (lub wykrywaniem) wzorca, regularnością i kompresją tekstów. Ponadto rozważymy problemy związane z biologią obliczeniową (uliniowienie, drzewa ewolucyjne) oraz ze "stringologią" fraktali dwuwymiarowych. Wiele ciekawych tekstów jest zadanych w formie skompresowanej, rozmiar rzeczywistego tekstu może być wykładniczy w stosunku do rozmiaru n jego opisu. |
|
||
| 1000-2M24RTS | brak | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Rosnąca złożoność modeli i systemów sztucznej inteligencji tworzy nowe ciekawe wyzwania dotyczące analizy bezpieczeństwa, odporności i zachowania tych modeli. Na przedmiocie będziemy analizować i omawiać aktualne artykuły oraz kierunki badań nad godną zaufania sztuczną inteligencją. Z uwagi na dynamiczny rozwój tej tematyki, przedmiot nie ma sztywnego programu, ale będzie priorytetowo traktował wyzwania badawcze aktualne na moment prowadzenia przedmiotu, w szczególności artykuły opublikowane na tegorocznych konferencjach typu CVPR, NeurIPS, ICML, ECML. |
|
||
| 1000-2M22AN | brak | brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Algorytmiczna analiza automatów o nieskończenie wielu stanach: automaty ze stosem, sieci Petriego, automaty nad alfabetem nieskończonym. |
|
||
| 1000-2M19TCH | brak |
|
brak | brak |
Zajęcia przedmiotu
Semestr letni 2023/24
Grupy przedmiotu
Skrócony opis
Program obejmuje dwa obszary zastosowań informatyki będące obecnie w kręgu głównych zainteresowań biznesu z uwagi na oferowane lub spodziewane źródła przewagi konkurencyjnej: chmurę obliczeniową i uczenie maszynowe. Ujęcie zagadnień z zachowaniem podejścia, w którym środowiska chmurowe (głównie typu IaaS i PaaS) są przede wszystkim kontekstem wykonawczym pozwoli skupić się słuchaczom na rozwiązywaniu konkretnych problemów manifestując tym samym podejście pragmatyczne. Całości towarzyszy wspólna praca wraz z partnerem biznesowym nad projektem integrującym tematy z zakresu programu przedmiotu, którego wykonanie jest wymaganym elementem uzyskania oceny. Wybór konkretnych zagadnień wykładu zależy od scenariuszy przedstawionych przez partnera biznesowego, lecz będzie obejmować co najmniej modelowanie matematyczne, szeregi czasowe i techniki przetwarzania języka naturalnego (NLP). |
|
||
| 1000-2M23DE |
|
brak | brak | brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
Skrócony opis
Overview of the data processing pipeline; collection and storage of raw data; processing, cleaning, and storage of processed data; scaling tools for the data processing system. |
|
||
| 1000-2M03DM | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2023/24
Grupy przedmiotu
Skrócony opis
Przedstawienie głównych zagadnień w dziedzinie eksploracji danych (data mining) i metod ich rozwiązywania; omówienia podstawowych algorytmów i ich efektywnych realizacji na dużych zbiorach danych dla trudnych problemów takich, jak reguły asocjacyjne, redukty, dyskretyzacja atrybutów ciągłych, wzorce czasowe, drzewo decyzyjne; przedstawienie nowoczesnych technik obliczeń takich, jak równoległe przetwarzania, obliczenia ewolucyjne, heurystyki za pomocą standardowych baz danych lub logicznie zbudowanych struktur danych. |
|
||
| 1000-2M23DLS | brak |
|
brak | brak |
Zajęcia przedmiotu
Semestr letni 2023/24
Grupy przedmiotu
Skrócony opis
Nie podano opisu skróconego, przejdź do strony przedmiotu aby uzyskać więcej danych.
|
|
||
| 1000-2M13DZD |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
Skrócony opis
Przedmiot ugruntowuje teoretyczną i praktyczną wiedzę z zakresu metod uczenia maszynowego i eksploracji danych, pod kątem zastosowań związanych z dużymi, heterogenicznymi, rozproszonymi i dynamicznie przyrastającymi źródłami danych. Omawiana jest problematyka zapewnienia wystarczającej wiarygodności i jakości danych celem uczenia skutecznych modeli klasyfikacji, predykcji itd., jak i utrzymania skuteczności takich modeli jako składowych większych systemów informatycznych. Odwołujemy się do szerokiego zakresu praktycznych form i źródeł danych, w szczególności danych generowanych maszynowo. Omawiamy szeroki zakres praktycznych celów stawianych metodom uczenia maszynowego i eksploracji danych, jak np. wykrywanie anomalii lub podobnych przypadków. Dyskutujemy na praktycznych przykładach pełen cykl życia danych i informacji w systemach przetwarzania i analizy danych, z uwzględnieniem odpowiednio w nie wkomponowanych rozwiązań bazujących na uczeniu maszynowym i eksploracji danych. |
|
||
| 1000-2M22ETG |
|
brak | brak |
|
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
Skrócony opis
The course gives an introduction to extremal graph theory, a branch of graph theory which studies how global parameters of a graph, such as its edge density or chromatic number, can influence its local substructures (for instance, how many edges can a graph on n vertices have without containing a triangle). After introducing the basic results and tools of the subject, the course will focus on the celebrated Szeméredi regularity lemma and its applications, and in the last part of the lecture we will introduce modern and interesting theory of graph limits. Note: Course is given in English. |
|
||
| 1000-2M17FT |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
Skrócony opis
FinTech (Financial Technology) oznacza nowopowstający gałąź w branży IT, której celem jest użycie najnowszych technologii informacyjnych w celu usprawnienia usług finansowych. O ile nowinki technologiczne wprowadzane są od wielu lat małymi kroczkami przez wszystkie liczące się tradycyjne banki, o tyle firmy FinTech dążą do technologicznej rewolucji, która zupełnie zmieni bankowość jaką znamy. Produkty FinTech opierają się między innymi na technologiach Big Data, analizie sieci społecznych, algorytmach uczenia maszynowego, sztucznej intelligencji. Na przykład, w USA istnieją już firmy pożyczkowe, które badają zdolność kredytową klientów tylko i wyłącznie na podstawie analizy ich kont na popularnych portalach społecznościowych. Algorytmy służące do oceny zdolności kredytowej na podstawie aktywności on-line i znajomych zostały też opatentowane przez Facebook (od 2014 roku). |
|
||
| 1000-2M24FPS | brak | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Przedmiot ma na celu przedstawienie zaawansowanych mechanizmów programowania funkcyjnego z typami zależnymi na przykładzie tworzenia klienta i serwera protokołu sieciowego. Na zajęciach wykorzystywane będzie programowanie funkcyjne w OCamlu wzbogacone o elementy weryfikacji funkcyjnych własności wykonywane w Coq-u. |
|
||
| 1000-719GP2 |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
Skrócony opis
Celem wykładu jest zapoznanie studenta wybranymi z modelami, algorytmami i narzędziami stosowanymi w genomice porównawczej ze szczególnym uwzględnieniem drzew i ich zastosowaniem w różnych kontekstach. Planowane ćwiczenia będą częściowo formie laboratorium komputerowego. |
|
||
| 1000-2M00GO |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
Skrócony opis
Analiza wybranych problemów geometrii obliczeniowej i metod, które je rozwiązują (zamiatanie, dziel i rządź, prune and search, dualizacja itp..). Teoria i zastosowania. |
|
||
| 1000-2M09GOB | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2023/24
Grupy przedmiotu
Skrócony opis
Spojrzenie na problemy wizualizacji od strony geometrii obliczeniowej i zastosowanie nabytej wiedzy w praktyce. |
|
||
| 1000-317bDNN |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
Skrócony opis
Celem zajęć jest przybliżenie studentom praktycznej wiedzy z zakresu głębokich sieci neuronowych. W trakcie kursu przedstawione zostaną wykorzystywane obecnie techniki, algorytmy oraz narzędzia. Poruszane metody są stosowane między innymi do problemów z dziedziny rozpoznawania obrazów i przetwarzania języka naturalnego. |
|
||
| 1000-135GK |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
Skrócony opis
Wykład ma na celu zapoznanie uczestników z podstawowymi algorytmami i strukturami danych stosowanymi w grafice komputerowej. Przedstawiane wiadomości dotyczą algorytmów grafiki rastrowej, geometrii dwu- i trójwymiarowej, elementów geometrii obliczeniowej, modelowania geometrycznego, algorytmów widoczności i modeli oświetlenia. |
|
||
| 1000-2M12GRZ | brak |
|
brak | brak |
Zajęcia przedmiotu
Semestr letni 2023/24
Grupy przedmiotu
Skrócony opis
Przedmiot obejmuje wprowadzenie do teorii grafów rzadkich, dziedziny badawczej w teorii grafów. Materiał będzie obejmował kombinatoryczne własności abstrakcyjnych pojęć rzadkości, takich jak klasy o ograniczonej ekspansji i klasy nigdzie-gęste, a także szereg powiązań teorii z algorytmiką, teorią grafów ekstremalnych oraz teorią modeli. Uwaga: Przedmiot prowadzony w języku angielskim. |
|
||
| 1000-2M09OTA | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2023/24
Grupy przedmiotu
Skrócony opis
Handel elektroniczny jest jednym z podstawowych zastosowań technologii internetowej. Tworzenie zaawanasowanych rozwiązań w tej dziedzinie wymaga nie tylko umiejętności informatycznych, ale także wiedzy z zakresu toerii gier, ekonomii i innych nauk społecznych. Podczas zajęc przedstawiony zostaną najważniejsze zagadnienia dotyczące handlu elektronicznego, w tym: tworzenie optymalnych mechanizmów wyboru, projektowanie aukcji, aukcje kombinatoryczne, itp. Wiele technik omawianych na wykładzie wykorzystywane jest przy tworzeniu usług i oprogramowania najwiekszych firm z branży IT, takich jak, na przykład, Google, Ebay czy Microsoft (Yahoo). |
|
||
| 1000-2M22IKW |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
Skrócony opis
Kurs wprowadzający do nowoczesnego przetwarzania informacji kwantowej i jego kluczowych zastosowań w technologiach kwantowych. Przeznaczony jest dla studentów kierunku informatyka i matematyka. Zakłada podstawową wiedzę z klasycznej teorii informacji Shannona, geometrii i algebry liniowej oraz analizy matematycznej. Studenci zapoznają się najpierw z podstawowymi pojęciami związanymi z fizyką kwantową (definicje, twierdzenia i metody wykonywania obliczeń), które definiują niezwykłe właściwości informacji kwantowej. Następnie skupimy naszą uwagę na ich wykorzystaniu w komunikacji kwantowej i kryptografii kwantowej. Druga połowa wykładu będzie poświęcona obliczeniom kwantowym; omówimy kilka rozważanych modeli obliczeniowych oraz podstawowe klasy algorytmów kwantowych. Wykładom będą towarzyszyć ćwiczenia, które będą obejmować rozwiązywanie zadań oraz praktykę programowania na symulatorach układów kwantowych. |
|
||
| 1000-720IPZ |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
Skrócony opis
Podczas zajęć studenci w kilkuosobowych zespołach rozwiązują jeden z dwóch problemów powiązanych tematycznie. W każdym roku jest to inny, interdyscyplinarny problem, wymagający programowania i analizy danych. Następnie zespoły rozwiązujące dwa różne zadania łączą się w większe zespoły i dokonują syntezy wyników obu podzespołów. Podczas semestru studenci wymieniają się danymi i częściowymi wynikam. Przedmiot kończy się sympozjum z prezentacjami organizowanym wspólnie z Sorboną i Uniwersytetem w Heidelbergu. |
|
||
| 1000-2M20IRIO |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
Skrócony opis
Przedmiot to spojrzenie z perspektywy inżyniera na tworzenie złożonego ekosystemu serwisów które składają się na publiczną chmurę obliczeniową. Infrastruktura chmury to złożony system rozproszony z wyjątkowymi wymaganiami: wysokiej niezawodności, ogromnej skali i pracujący w wielowarstwowym oprogramowaniu. Pokażemy, jak te wymagania wpływają na kluczowe zagadnienia projektowania (komunikacja, skalowalność, alokacja zasobów, zarządzanie danymi) i inżynierii niezawodności (monitorowanie i testowanie). Kurs prowadzony będzie przez inżynierów Google’a pracujących na co dzień przy projektowaniu, wdrażaniu i utrzymywaniu infrastruktury chmury. Naszym celem nie jest nauczenie konkretnych technologii chmurowych, a raczej fundamentalnych zasad projektowania systemów rozproszonych wielkiej skali. Planujemy ilustrować te zasady na przykładach systemów, nad którymi pracowali wykładowcy. |
|
||
| 1000-2M15ZTA |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
Skrócony opis
Automaty nad słowami nieskończonymi, drzewami i innymi strukturami wejściowymi. Niestandardowe mechanizmy kontroli: automaty ważone/probabilistyczne, stratne, współbieżne, czasowe. Związki pomiędzy automatami, grami i logikami. Algorytmiczna (nie)rozstrzygalność problemów decyzyjnych. |
|
||
