( Przedmioty zaawansowane obieralne )-Systemy informacyjno-decyzyjne-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-ARxxx-DSP-AMO | brak | brak | brak | brak | 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
Podstawowym celem wykładu jest zapoznanie studentów z pojęciem optimum, warunkami koniecznymi i dostatecznymi optymalności dla zadań optymalizacji bez ograniczeń i z ograniczeniami, pozwalającymi na weryfikację poprawności uzyskiwanych z pakietów rozwiązań. Studenci zapoznają się również z pewnymi pakietami modelowania i rozwiązywania zadań optymalizacyjnych (AMPL, MATLAB). Ponadto w ramach wykładu przedstawione zostaną elementy teorii dualności Lagrange`a oraz wybrane metody numerycznego rozwiązywania zadań optymalizacji. Szczególnie dużo uwagi poświęca się zadaniom programowania liniowego i kwadratowego. Celem dodatkowym jest zapoznanie studentów z pewnymi rzeczywistymi zastosowaniami metod optymalizacyjnych, formułowaniem modeli optymalizacyjnych oraz różnymi problemami, z którymi mogą się zetknąć w trakcie ich rozwiązywania, jak również praktycznym wykorzystaniem istniejących pakietów optymalizacyjnych, w tym w szczególności z liniowymi zadaniami mieszania/diety oraz (...) |
|
||
| 103B-ARxxx-DSP-AMO | brak | brak | brak | brak | brak | brak | brak | brak | brak | brak | brak | brak |
|
brak |
|
brak |
|
brak |
|
brak |
|
brak |
|
Zajęcia przedmiotu
rok akademicki 2018/2019 - sem. zimowy
Grupy przedmiotu
Skrócony opis
Podstawowym celem wykładu jest zapoznanie studentów z pojęciem optimum, warunkami koniecznymi i dostatecznymi optymalności dla zadań optymalizacji bez ograniczeń i z ograniczeniami, pozwalającymi na weryfikację poprawności uzyskiwanych z pakietów rozwiązań. Studenci zapoznają się również z pewnymi pakietami modelowania i rozwiązywania zadań optymalizacyjnych (AMPL, MATLAB). Ponadto w ramach wykładu przedstawione zostaną elementy teorii dualności Lagrange`a oraz wybrane metody numerycznego rozwiązywania zadań optymalizacji. Szczególnie dużo uwagi poświęca się zadaniom programowania liniowego i kwadratowego. Celem dodatkowym jest zapoznanie studentów z pewnymi rzeczywistymi zastosowaniami metod optymalizacyjnych, formułowaniem modeli optymalizacyjnych oraz różnymi problemami, z którymi mogą się zetknąć w trakcie ich rozwiązywania, jak również praktycznym wykorzystaniem istniejących pakietów optymalizacyjnych, w tym w szczególności z liniowymi zadaniami mieszania/diety oraz (...) |
|
||
| 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.
|
|
||
| 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ń. |
|
||
| 103B-INxxx-MSP-MED |
|
brak |
|
brak |
|
brak |
|
brak |
|
brak |
|
brak |
|
brak |
|
brak | brak | brak | brak | brak | brak | brak | brak |
Zajęcia przedmiotu
rok akademicki 2012/2013 - sem. zimowy
Grupy przedmiotu
Skrócony opis
Na treść wykładu składa się szeroki zakres tematów z obecnie bardzo intensywnie rozwijanej dziedziny eksploracji danych. Prezentowane techniki i algorytmy mają istotne znaczenie praktyczne - dobrze nadają się do wydobywania wzorców ukrytych w olbrzymich zasobach danych rzeczywistych. Przewiduje się, że prezentowane metody będą miały pierwszorzędne znaczenie dla ewolucji systemów baz danych do postaci efektywnych systemów baz wiedzy. Zostaną przedstawione przykłady języków eksploracji danych (zwanych także językami specyfikacji wiedzy), które już obecnie można efektywnie zaimplementować w środowisku współczesnych systemów baz danych. Oprócz omówienia zagadnień odkrywania różnych typów wiedzy zostaną przedstawione najnowsze znaczące osiągnięcia w efektywnym pozyskiwaniu wiedzy poprzez stosowanie zwięzłych bezstratnych reprezentacji wzorców częstych i reguł asocjacyjnych. Zostanie dokonany krótki przegląd wybranych systemów eksploracji danych, które pojawiły się w komercyjnym (...) |
|
||
| 103C-INxxx-MSP-MED | brak | brak | brak | brak | brak | brak | brak | brak | brak | brak | brak | brak | brak | brak | brak | brak |
|
|
|
|
|
|
|
Zajęcia przedmiotu
rok akademicki 2020/2021 - sem. zimowy
Grupy przedmiotu
Skrócony opis
Na treść wykładu składa się szeroki zakres tematów z dziedziny eksploracji danych. Zostaną przedstawione metody odkrywania różnych typów wiedzy (takich jak np. reguły asocjacyjne i decyzyjne, wzorce sekwencyjne) z dużych zasobów danych oraz metody efektywnego pozyskiwania wiedzy poprzez stosowanie zwięzłych bezstratnych reprezentacji. Przedstawione zostaną także bardzo wydajne metody wyszukiwania duplikatów obiektów, grupowania i klasyfikacji danych, umożliwiające wykonanie tych zadań nawet o kilka rzędów wielkości szybciej niż przy zastosowaniu standardowych algorytmów. Omówione zostanie wykorzystanie impulsowych sieci neuronowych do prognozowania. Zaprezentowane będą metody odkrywania zależności funkcyjnych i przybliżonych pomiędzy zbiorami atrybutów. Omówione zostaną zagadnienia wnioskowania z niepełnych danych i na podstawie wiedzy częściowej. |
|
||
| 103B-xxxxx-MSP-MSI | brak | brak | brak |
|
brak | brak | brak | brak | brak | brak | brak |
|
brak |
|
brak |
|
brak | brak | brak | brak | brak | brak | brak |
Zajęcia przedmiotu
rok akademicki 2013/2014 - sem. letni
Grupy przedmiotu
Skrócony opis
Celem przedmiotu jest zapoznanie i praktyczne przećwiczenie zaawansowanych komputerowych metod "sztucznej inteligencji" (Sz.I.) przeznaczonych dla tzw. "autonomicznych agentów". W pierwszej części (6 h) omawiane są podstawy logicznych systemów agentowych: reprezentacja wiedzy i procedury wnioskowania w logice predykatów. W drugiej części (6 h) przedstawione są zagadnienia przeszukiwania przestrzeni stanów i planowania, realizowane z pomocą ogólnych metodyk rozwiązywania problemów. W trzeciej części (15 h) wyjaśniane są zagadnienia modelowania niepewności, ze szczególnym uwzględnieniem Sieci Bayesa i dynamicznej Sieci Bayesa oraz metod wnioskowania w tych sieciach. Ostatnia część (3h) poświęcona jest podstawom systemu percepcji agenta i zasadom jego komunikowania się z człowiekiem za pomocą obrazu i mowy. |
|
||
| 103A-CTTCM-MSA-EQUTH |
|
brak | brak | brak | brak |
|
brak |
|
brak |
|
|
|
brak |
|
brak |
|
brak |
|
brak |
|
brak |
|
brak |
Zajęcia przedmiotu
rok akademicki 2012/2013 - sem. zimowy
Grupy przedmiotu
Skrócony opis
Wykład omawia podstawy modelowania i analizy systemów teleinformatycznych przy wykorzystaniu podstawowych metod metematycznych teorii kolejek. Teoria kolejek dostarcza metod i narzędzi do analizy systemów, w których użytkownicy rywalizują o dostęp do określonych zasobów i jest szeroko wykorzystywana w telekomunikacji, technice informatycznej, automatyce itp. Oprócz podstaw teoretycznych, w ramach wykładu zostaną przedstawione przykłady zastosowania podstawowych modeli systemów kolejkowych do analizy wybranych systemów teleinformatycznych. Podstawy teorii procesów stochastycznych wchodzą w zakres wykładu, ale wymagana jest od studentów dobra znajomość podstawowych pojęć z zakresu rachunku prawdopodobieństwa i analizy matematycznej. |
|
||
| 103B-INSID-MSP-SNR | 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
Nie podano opisu skróconego, przejdź do strony przedmiotu aby uzyskać więcej danych.
|
|
||
| 103B-ARxxx-MSP-SAU |
|
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. zimowy
Grupy przedmiotu
Skrócony opis
Wykład poświęcony jest systemom decyzyjnym i sterującym, które adaptują się do nieznanego z góry lub zmieniającego się środowiska, w którym działają. Metody analizy i konstrukcji systemów tego rodzaju wywodzą się z dwóch dziedzin wiedzy: sztucznej inteligencji (uczenie się przez wzmacnianie) oraz teorii sterowania (sterowanie adaptacyjne). Wykład omawia oba podejścia. |
|
||
| 103A-xxxxx-MSP-TK |
|
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. zimowy
Grupy przedmiotu
Skrócony opis
Przedmiot zaznajamia studentów z teorią kolejek - działem probabilistyki o decydującym znaczeniu dla modelowania systemów i sieci telekomunikacyjnych. Teoria kolejek dostarcza narzędzi do obliczania miar probabilistycznych takich jak np. prawdopodobieństwo odrzucenia zgłoszenia w sieci telefonicznej, czy rozkład prawdopodobieństwa oczekiwania pakietu w buforze węzła sieci IP. |
|
||
| 103A-INxxx-MSP-ZMWO | 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
Celem przedmiotu jest zapoznanie studentów z zaawansowanymi metodami stosowanymi w produkcji oprogramowania wysokiej jakości oraz jego ewolucji. Omawiane są różne formalne metody specyfikacji oprogramowania pozwalające na uzyskanie wysokiej niezawodności. Prezentowane są nowoczesne podejścia do projektowania np. MDA, design by contract, metodyki lekkie. Omawiane są różne metody ponownego użycia np. projektowanie aspektowe, komponentowa inżynieria oprogramowania, wzorce projektowe i architektoniczne. Studenci poznają także zaawansowane techniki testowania oprogramowania obiektowego. Uczą się stosowania metryk oprogramowania w projektowaniu i testowaniu. Przedstawiane są techniki ponownej inżynierii kodu poprawiające jego jakość. Wykład jest skorelowany z zajęciami laboratoryjnymi. W ramach zajęć laboratoryjnych studenci stosują poznane metody do rozwiązania konkretnych problemów. Poznają także narzędzia do specyfikacji formalnych i automatyzacji testowania. |
|
||
