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 2025Z - Semestr zimowy 2025/26 2025L - Semestr letni 2025/26 (zajęcia mogą być semestralne, trymestralne lub roczne) |
Opcje | ||||||
|---|---|---|---|---|---|---|---|
| 2024Z | 2025Z | 2025L | |||||
| 1000-2M25APM | brak | brak |
 
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
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 | brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2025/26
Grupy przedmiotu
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 |
|
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
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-2M15ZTA |
|
|
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 | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
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 | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
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-2M10TKI |
|
|
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 | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
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. |
|
||
