( 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.
2012Z - rok akademicki 2012/2013 - sem. zimowy 2013L - rok akademicki 2012/2013 - sem. letni 2013Z - rok akademicki 2013/2014 - sem. zimowy 2014L - rok akademicki 2013/2014 - sem. letni 2014Z - rok akademicki 2014/2015 - sem. zimowy 2015L - rok akademicki 2014/2015 - sem. letni 2015Z - rok akademicki 2015/2016 - sem. zimowy 2016L - rok akademicki 2015/2016 - sem. letni 2016Z - rok akademicki 2016/2017 - sem. zimowy 2017L - rok akademicki 2016/2017 - sem. letni 2017Z - rok akademicki 2017/2018 - sem. zimowy 2018L - rok akademicki 2017/2018 - sem. letni 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 (zajęcia mogą być semestralne, trymestralne lub roczne) |
Opcje | ||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2012Z | 2013L | 2013Z | 2014L | 2014Z | 2015L | 2015Z | 2016L | 2016Z | 2017L | 2017Z | 2018L | 2018Z | 2019L | 2019Z | 2020L | 2020Z | 2021L | 2021Z | 2022L | 2022Z | 2023L | 2023Z | |||||
| 103A-INxxx-MSP-AIS | brak |
 
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Zajęcia przedmiotu
rok akademicki 2012/2013 - sem. letni
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. |
|
||
| 103A-xxxxx-MSP-GIS |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
brak | brak | brak | brak | brak | brak | brak |
Zajęcia przedmiotu
rok akademicki 2012/2013 - 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.
|
|
||
| 103D-xxxxx-MSP-KODA |
|
brak |
|
brak | brak |
|
|
|
|
|
|
|
|
|
brak |
|
|
|
|
|
|
|
|
Zajęcia przedmiotu
rok akademicki 2012/2013 - sem. zimowy
Grupy przedmiotu
Skrócony opis
Celem wykładu jest omówienie podstaw teoretycznych oraz metod kodowania danych, zasad realizacji prostych algorytmów kompresji, przegląd współczesnych narzędzi i standardów z uwzględnieniem potencjalnych obszarów zastosowań, analiza możliwości oraz kryteriów doboru koderów optymalnych dla określonego rodzaju danych, a także sformułowanie współczesnych paradygmatów kompresji. Zarys użytecznych teorii 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 kodów Huffmana oraz arytmetycznego. Szczególny nacisk położono na analizę kodeków danych obrazowych, modelowanie danych w przestrzeni obrazu, transformacje i kodowanie kontekstowe. Studenci poznają algorytmy m.in. CALIC, EZW, JPEG-LS, JPEG, JPEG2000, JPEG_XR, ZIP, PNG, JBIG, WebP, rodziny MPEG. |
|
||
| 103B-INIIT-MSP-LI | brak |
|
brak |
|
brak | brak | brak | brak | brak | brak |
|
brak | brak | brak | brak | brak | brak | brak | brak | brak | brak | brak | brak |
Zajęcia przedmiotu
rok akademicki 2012/2013 - sem. letni
Grupy przedmiotu
Skrócony opis
Na wykładzie przedstawiona będzie teoria krat, algebry Posta, teoria zbiorów rozmytych, teoria zbiorów przybliżonych zaproponowana przez Z. Pawlaka, rachunek zdań, logika pierwszego rzędu, logika probabilistyczna, logika rozmyta, logika modalna (system S4 oraz S5), logiki wielowartościowe, oraz logiki niemonotoniczne. Omówione będzie podejście Dempstera-Shafera do problemów związanych z niepełną informacją. Podejście to porównane zostanie z teorią zbiorów przybliżonych. Przedstawione zostaną różne metody dowodzenia twierdzeń. |
|
||
| 103A-INxxx-MSP-PSIK | brak | brak | brak | brak | brak | brak | brak |
|
|
|
|
brak |
|
brak |
|
|
|
brak | brak | brak | brak | brak | brak |
Zajęcia przedmiotu
rok akademicki 2015/2016 - sem. letni
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.(...) |
|
||
| 103B-INxxx-MSP-SPOP |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
brak | brak | brak | brak |
Zajęcia przedmiotu
rok akademicki 2012/2013 - 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. |
|
||
