Przedmioty informatyczne dla doktorantów (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.
2024Z - Semestr zimowy 2024/25 2024L - Semestr letni 2024/25 2025Z - Semestr zimowy 2025/26 2025L - Semestr letni 2025/26 (zajęcia mogą być semestralne, trymestralne lub roczne) |
Opcje | |||||||
|---|---|---|---|---|---|---|---|---|
| 2024Z | 2024L | 2025Z | 2025L | |||||
| 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-2M25APM |
Algorytmika przestrzeni metrycznych (od 2025-10-01)
|
brak | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
- (od 2025-10-01) Przedmioty informatyczne dla doktorantów
- (od 2025-10-01) Przedmioty obieralne dla informatyki i ML
Skrócony opis
Wykład ma na celu zaznajomienie studentów z problemami optymalizacyjnymi związanymi z przestrzeniami metrycznymi. Szczególny nacisk położony będzie na algorytmy aproksymacyjne. |
|
|
| 1000-2M25APZ |
Algorytmika przetwarzania zapytań (od 2025-10-01)
|
brak | brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2025/26
Grupy przedmiotu
- (od 2025-10-01) Przedmioty informatyczne dla doktorantów
- (od 2025-10-01) Przedmioty obieralne dla informatyki i ML
Skrócony opis
Przedmiot jest poświęcony najważniejszym algorytmom związanym z przetwarzaniem zapytań bazodanowych. Celem przedmiotu jest poznanie wybranych narzędzi algorytmicznych w stopniu wystarczającym do wykorzystania ich w praktyce. |
|
|
| 1000-718ADG |
Algorytmy analizy danych genomicznych (od 2025-10-01)
|
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
- (od 2025-10-01) Przedmioty informatyczne dla doktorantów
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-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-716BIS | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Wykład przedstawia aktualnie rozwijane narzędzia modelowania i analizy złożonych systemów biologicznych. |
|
||
| 1000-2M15ZTA |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
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. |
|
||
| 1000-2M09OTW |
Obliczeniowa teoria wyboru społecznego (od 2025-10-01)
|
brak | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
- (od 2025-10-01) Przedmioty informatyczne dla doktorantów
Skrócony opis
Obliczeniowa Teoria Wyboru Społecznego jest dziedziną na przecięciu informatyki, ekonomii i nauk społecznych, która bada metody którymi możemy agregować preferencje ludzi w celu podjęcia wspólnej decyzji. Przykładowo, znacząca część teorii bada reguły wyboru pojedynczego zwycięzcy (np. systemy używane w wyborach prezydenckich). Teoria ta bada również reguły (protokoły/algorytmy) które mogą być używane do podejmowania decyzji publicznych w innych przypadkach: np., w przypadku wyboru komitetu, wyboru projektów które powinny być realizowane w ramach budżetu partycypacyjnego, przyporządkowania uczniów/studentów do szkół w oparciu o ich preferencje, czy też do efektywnej alokacji zasobów. |
|
|
| 1000-2M22OW |
Optymalizacja wypukła (od 2025-10-01)
|
brak | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
- (od 2025-10-01) Przedmioty informatyczne dla doktorantów
Skrócony opis
This is an introduction to convex optimization, giving an overview of the landscape of convex optimization problems, and covering the most important convex optimization algorithms and lower bounds, as well as convex modelling techniques. The lab sessions cover convex modelling using modern software and implementation of selected convex optimization algorithms. |
|
|
| 1000-2M13TAU |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Aukcje stanowią szeroko stosowany mechanizm przydziału i wymiany zasobów, znajdujący zastosowanie zarówno w świecie rzeczywistym (np. aukcje internetowe) jak i w aplikacjach komputerowych (np. alokacja zasobów w systemach wieloagenowych czy rynki elektroniczne). Które aukcje są najlepsze z punktu widzenia sprzedającego, a które z punktu widzenia kupującego? Jakie znaczenie ma znajomość wartościowań innych kupujących? Na ile groźna jest zmowa? Czy trudno wyznaczyć zwycięzcę gdy kupuje się zestawy różnych ale powiązanych ze sobą przedmiotów i jakie jest znaczenie języka licytacji? Celem przedmiotu jest przybliżenie podstawowych zagadnień i problemów dotyczących aukcji oraz pogłębienie zrozumienia tych problemów w oparciu o teorię gier i teorię złożoności obliczeniowej. |
|
||
| 1000-2M10TKI |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Algebra ogólna i teoria kategorii to klasyczne juz działy matematyki oferujące abstrakcyjne pojęcia, metody i wyniki, które zaadoptowane zostały przez podstawy informatyki i stanowią dziś standardowy język mówienia między innymi o modelowaniu, projektowaniu i systematycznym konstruowaniu złożonych systemów oprogramowania. Wykład przypomni podstawowe pojęcia algebry ogólnej i od podstaw wprowadzi język teorii kategorii, z konieczności ograniczając sie do pojęć najważniejszych i dotyczących ich podstawowych wyników. Zasygnalizujemy przynajmniej, jak język ten wykorzystywany jest w różnych dziedzinach informatyki, między innymi w teorii typów czy w teorii specyfikacji algebraicznych. Do wykładu przewidziane są ćwiczenia, w praktyce przeplatane z wykładem. Wykład może być prowadzony w języku angielskim, ale w przypadku braku studentów obcojęzycznych, zajęcia zapewne będą prowadzone po polsku. |
|
||
| 1000-2M23ZWL |
Złożoność określania własności logicznych stwierdzeń (od 2025-10-01)
|
brak | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
- (od 2025-10-01) Przedmioty informatyczne dla doktorantów
Skrócony opis
Na wykładzie przedstawiony zostanie stan wiedzy dotyczący zależności między użytym słownikiem symboli (kwantyfikatory, spójniki logiczne, rodzaje relacji oraz symboli funkcyjnych) używanych w wypowiedzeniu a złożonością problemu spełnialności oraz problemu dowodliwości. |
|
|
