Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specj. 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-217bLOG | brak |
 
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Wprowadzenie do logiki zdaniowej i logiki pierwszego rzędu: elementy teorii modeli, elementy teorii dowodu, rola w informatyce. Inne logiki ważne w informatyce. Przedmiot ma dwa warianty. W pierwszym z nich zajęcia mają charakter bardziej praktyczny i prowadzone są wraz z laboratorium, w drugim – zajęcia mają pogłębiony charakter teoretyczny. |
|
||
| 1000-217bPSC | brak | brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2025/26
Grupy przedmiotu
Skrócony opis
Redakcja tekstów naukowych, właściwy dobór źródeł, przygotowani i wygłaszanie prezentacji. Najważniejsze problemy prawne i etyczne w prowadzeniu badań w dziedzinie informatyki. Projektowanie interfejsów (user experience) i przeprowadzanie badań z udziałem użytkowników (user studies). |
|
||
| 1000-218bPRB | brak | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
Skrócony opis
Celem zajęć jest przeprowadzenie przez studentów niewielkiego projektu badawczego: teoretycznego lub eksperymentalnego. Miejsce i termin spotkań każdy student ustala indywidualnie ze swoim opiekunem. |
|
||
| 1000-218bZO |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Teoria złożoności jest dziedziną komplementarną do algorytmiki. Podczas gdy algorytmika dostarcza najbardziej ekonomicznych rozwiązań problemów obliczeniowych, teoria złożoności tłumaczy, dlaczego niektóre problemy okazują się odporne na próby znalezienia dobrych algorytmów i klasyfikuje problemy obliczeniowe ze względu na ich trudność. Ocenia także walory różnych wzbogaceń tradycyjnego modelu obliczeń, jak obliczenia zrandomizowane, równoległe, interakcyjne, czy kwantowe. |
|
||
