( Przedmioty zaawansowane obieralne )-Inżynieria systemów informatycznych-mgr.-EITI (grupa przedmiotów zdefiniowana przez Wydział Elektroniki i Technik Informacyjnych)
| ||||||||||||||||
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.
2018Z - rok akademicki 2018/2019 - sem. zimowy 2019L - rok akademicki 2018/2019 - sem. letni 2019Z - rok akademicki 2019/2020 - sem. zimowy 2020L - rok akademicki 2019/2020 - sem. letni 2020Z - rok akademicki 2020/2021 - sem. zimowy 2021L - rok akademicki 2020/2021 - sem. letni 2021Z - rok akademicki 2021/2022 - sem. zimowy 2022L - rok akademicki 2021/2022 - sem. letni 2022Z - rok akademicki 2022/2023 - sem. zimowy 2023L - rok akademicki 2022/2023 - sem. letni 2023Z - rok akademicki 2023/2024 - sem. zimowy 2024L - rok akademicki 2023/2024 - sem. letni (zajęcia mogą być semestralne, trymestralne lub roczne) |
Opcje | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2018Z | 2019L | 2019Z | 2020L | 2020Z | 2021L | 2021Z | 2022L | 2022Z | 2023L | 2023Z | 2024L | |||||
103B-INxxx-MSP-SPOP | brak | brak | brak | brak | brak |
Zajęcia przedmiotu
rok akademicki 2018/2019 - sem. zimowy
Grupy przedmiotu
Skrócony opis
Celem przedmiotu jest przedstawienie metod i języków specyfikacyjnych w procesie tworzenia oprogramowania. Treść wykład obejmuje języki funkcyjne oraz metody weryfikowania specyfikacji. Ćwiczenia laboratoryjne umożliwiają studentom nabycie praktycznej umiejętności programowania w języku Haskel i zapoznanie się z techniką specyfikacji systemu w języku Alloy oraz analizy specyfikacji z użyciem narzędzia Alloy Analyzer. |
|
|||||||||
103A-INxxx-MSP-PSIK | brak | brak | brak | brak | brak | brak | brak | brak |
Zajęcia przedmiotu
rok akademicki 2018/2019 - sem. zimowy
Grupy przedmiotu
Skrócony opis
Celem przedmiotu jest przedstawienie obecnego stanu wiedzy, kierunków rozwojowych i powstałych rozwiązań technicznych dotyczących programowalności sieci komputerowych. Powody dla których owa programowalność jest poszukiwana są różne. Jedne wynikają z nowych potrzeb, kreowanych przez olbrzymie centra danych i usługi "w chmurze" (ang. big data, cloud computing), inne wynikają z dążenia do obniżania kosztów administracji i utrzymania sieci komputerowych. Znajomość problematyki i technik programowalności sieci jest już dziś potrzebna, i nie tylko w zespołach badawczych ale również w zespołach wdrażających nowe rozwiązania po stronie dostawców sieci i po stronie dostawców zdalnych usług świadczonych poprzez Internet. Programowalne sieci umożliwią stworzenie rozwiązań sieciowych "szytych na miarę". Zajęcia zostały przygotowane i są prowadzone z wykorzystaniem umiejętności prezentacyjnych.(...) |
|
||||||
103D-xxxxx-MSP-KODA | brak |
Zajęcia przedmiotu
rok akademicki 2018/2019 - sem. zimowy
Grupy przedmiotu
Skrócony opis
Zakres przedmiotu obejmuje podstawy teorii informacji (modele, reguły kodowania i zniekształceń źródeł) oraz elementy analizy funkcjonalnej, teorii aproksymacji oraz przetwarzania sygnałów. Zagadnienia implementacji omawiane są na przykładzie kodowania Huffmana, arytmetycznego i numerycznego. Szczególny nacisk położono na analizę kodeków danych obrazowych, modelowanie danych w przestrzeni obrazu, transformacje i kodowanie kontekstowe. Studenci poznają algorytmy i standardy kompresji m.in. CALIC, EZW, JPEG-LS, JPEG, JPEG 2000, ZIP, GIF, PNG i rodziny MPEG.(...) |
|
|||||||||||||
103A-xxxxx-MSP-GIS | brak | brak | brak | brak | brak | brak | brak | brak |
Zajęcia przedmiotu
rok akademicki 2018/2019 - sem. zimowy
Grupy przedmiotu
Skrócony opis
Przedmiot zaznajamia studenta z pojęciami, metodami i narzędziami analizy i projektowania wykorzystującymi metody teorii grafów i sieci. Wykład obejmuje takie zagadnienia jak: podstawy grafów i sieci, modelowanie problemów dyskretnych za pomocą grafów, algorytmy grafowe, struktury danych, sieci złożone, przepływy w sieciach.
|
|
||||||
103A-INxxx-MSP-AIS |
Zajęcia przedmiotu
rok akademicki 2018/2019 - sem. zimowy
Grupy przedmiotu
Skrócony opis
Celem przedmiotu jest przedstawienie problemu integracji złożonych systemów na poziomie architektonicznym, miejsca i roli systemów informatycznych w architekturze korporacyjnej oraz sposobu wykorzystania architektury usługowej. Wykład przedstawia też cele i korzyści wynikające z zarządzania architekturą złożonych systemów oraz metody modelowania decyzji architektonicznych. Ćwiczenia laboratoryjne pozwalają studentom praktycznie zapoznać się z zagadnieniami projektowania architektury systemu. |
|
||||||||||||||