Grupa przedmiotów obieralnych dla informatyki magisterskiej- specjalność Automaty, logika, złożoność (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-2M02AA |
Algorytmiczne aspekty teorii gier (od 2025-10-01)
|
brak |
 
|
brak | brak |
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
- (od 2025-10-01) Grupa przedmiotów obieralnych dla informatyki magisterskiej- specjalność Automaty, logika, złożoność
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-2M12APW |
Algorytmy parametryzowane (od 2025-10-01)
|
|
brak | brak | brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
- (od 2025-10-01) Grupa przedmiotów obieralnych dla informatyki magisterskiej - specjalność Algorytmika
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-2M22AN |
Automaty nieskończone (od 2025-10-01)
|
|
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, automaty z licznikami, sieci Petriego. |
|
|
| 1000-2M22ALG |
Automaty, logika i gry (od 2025-10-01)
|
brak | brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2025/26
Grupy przedmiotu
Skrócony opis
Wykład opisuje związki pomiędzy logiką a automatami skończonymi. Punktem wyjścia jest klasyczne twierdzenie, że automaty skończone opisują dokładnie te języki, które można zdefiniować w logice monadycznej drugiego rzędu. Wykład omawia daleko idące rozszerzenia tego twierdzenia, dotyczące przede wszystkim obiektów nieskończonych, takich jak nieskończone słowa czy drzewa. Ważną rolę w teorii odgrywają pewne gry matematyczne, przede wszystkim tzw. gry parzystości, w których rozgrywka jest nieskończona. |
|
|
| 1000-2M25AMK |
Automaty, macierze, kody (od 2025-10-01)
|
brak | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
- (od 2025-10-01) Grupa przedmiotów obieralnych dla informatyki magisterskiej- specjalność Automaty, logika, złożoność
- (od 2025-10-01) Przedmioty obieralne dla informatyki i ML
Skrócony opis
Związki między automatami ważonymi, kodami, i powiązanymi półgrupami macierzy. Najważniejsze algorytmy, oraz algebraiczne i kombinatoryczne pytania dotyczące tych obiektów. |
|
|
| 1000-2M12GRZ |
Grafy rzadkie (od 2025-10-01)
|
brak | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
- (od 2025-10-01) Grupa przedmiotów obieralnych dla informatyki magisterskiej - specjalność Algorytmika
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-2M15ZTA |
Języki, automaty i obliczenia II (od 2025-10-01)
|
|
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-2M23PA |
Przekształcenia automatowe (od 2025-10-01)
|
brak | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
Skrócony opis
Klasyczny model automatu skończonego czyta słowo i udziela odpowiedzi “tak” czy “nie”. Wykład dotyczy automatów o bardziej złożonych odpowiedziach, przede wszystkim takich, których odpowiedzią jest inne słowo. Oprócz kombinatoryki, teoria takich automatów czerpie również z algebry (ciała, pierścienie, półgrupy), z logiki (interpretacje), czy też programowania funkcyjnego (rachunek λ). |
|
|
| 1000-2N03TI |
Teoria informacji (od 2025-10-01)
|
|
brak | brak |
|
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
- (od 2025-10-01) Grupa przedmiotów obieralnych dla informatyki magisterskiej - specjalność Algorytmika
- (od 2025-10-01) Grupa przedmiotów obieralnych dla informatyki magisterskiej- specjalność Automaty, logika, złożoność
- (od 2025-10-01) Przedmioty obieralne fakultatywne dla informatyki (IIIr. licencjatu, nowy program)
Skrócony opis
Wprowadzenie w teorię przydatną w wielu zastosowaniach informatyki, jak m.in. w kryptografii, przy modelowaniu języka naturalnego, czy w bio-informatyce. Teoria ta określa ilościowe miary informacji zawartej w zmiennej losowej lub w ciągu bitów. Wprowadza także kryteria optymalnego kompresowania (kodowania) informacji i przesyłania wiadomości przez niepewny kanał. W przypadku braku studentów obcojęzycznych, zajęcia będą prowadzone po polsku. |
|
|
| 1000-2M25WER |
Weryfikacja formalna (od 2025-10-01)
|
brak | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
- (od 2025-10-01) Grupa przedmiotów obieralnych dla informatyki magisterskiej- specjalność Automaty, logika, złożoność
- (od 2025-10-01) Przedmioty obieralne dla informatyki i ML
Skrócony opis
Na kursie przedstawiona zostanie teoria formalnej weryfikacji i syntezy programów. Przedstawione zostaną zagadnienia sprawdzania modeli (ang. model-checking) dla systemów skończenie- i nieskończeniestanowych, dla oprogramowania i sprzętu, dla czasu dyskretnyego i ciągłego oraz dla systemów deterministycznych i stochastycznych. |
|
|
| 1000-2M24ZAZ |
Złożoność obliczeniowa II (od 2025-10-01)
|
brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Teoria złożoności klasyfikuje problemy obliczeniowe ze względu na ich trudność i tłumaczy, dlaczego niektóre problemy okazują się odporne na próby znalezienia dobrych algorytmów. Przedmiot ten jest kontynuacją przedmiotu „Złożoność obliczeniowa”. Poruszymy klasyczne tematy teorii złożoności, które nie zmieściły się na tamtym przedmiocie. |
|
|
