Przedmioty 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.
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-2M24ATM |
Algorytmiczna teoria modeli (od 2024-10-01)
|
brak | brak |
 
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
- (od 2024-10-01) Przedmioty dla doktorantów
- (od 2024-10-01) Przedmioty obieralne dla informatyki
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-2M24ANS |
Algorytmy najkrótszych ścieżek (od 2024-10-01)
|
brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2023/24
Grupy przedmiotu
- (od 2024-10-01) Przedmioty dla doktorantów
- (od 2024-10-01) Przedmioty obieralne dla informatyki
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-716BIS |
Biologia systemów (od 2024-10-01)
|
brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2023/24
Grupy przedmiotu
- (od 2024-10-01) Przedmioty dla doktorantów
Skrócony opis
Wykład przedstawia aktualnie rozwijane narzędzia modelowania i analizy złożonych systemów biologicznych. |
|
|
| 1000-2M15ZTA |
Języki, automaty i obliczenia II (od 2024-10-01)
|
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
- (od 2024-10-01) Przedmioty dla doktorantów
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-2M13TAU |
Teoria aukcji (od 2024-10-01)
|
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
Grupy przedmiotu
- (od 2024-10-01) Przedmioty dla doktorantów
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. |
|
|
