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-2M10TKI |
 
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
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-2M13TAU |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
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-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. |
|
||
| 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-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-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 2023/24
Grupy przedmiotu
Skrócony opis
Wykład przedstawia aktualnie rozwijane narzędzia modelowania i analizy złożonych systemów biologicznych. |
|
||
