Algorithms and complexity theory Kierunek studiów: Informatyka
Kod programu: W4-S1IN19.2021

Nazwa modułu: Algorithms and complexity theory
Kod modułu: 08-IO1S-13-AACT
Kod programu: W4-S1IN19.2021
Semestr:
  • semestr letni 2025/2026
  • semestr letni 2024/2025
  • semestr letni 2023/2024
Język wykładowy: angielski
Forma zaliczenia: egzamin
Punkty ECTS: 6
Opis:
Celem jest wprowadzenie słuchacza w zagadnienia związane z analizą algorytmów pod względem ich efektywności jak i poprawności. Prezentowane są zagadnienia złożoności obliczeniowej ze szczególnym uwzględnieniem równań rekurencyjnych oraz paradygmaty konstruowania algorytmów (,,dziel i zwyciężaj’’, programowanie dynamiczne, strategie zachłanne).
Wymagania wstępne:
(brak informacji)
Literatura podstawowa:
(brak informacji)
Efekt modułowy Kody efektów kierunkowych do których odnosi się efekt modułowy [stopień realizacji: skala 1-5]
Ma świadomość znacznego wpływu cech algorytmów (złożoności, poprawności), na podstawie których zbudowane są elementy składowe (moduły, funkcje, procedury) większych systemów programowych na końcową sprawność , poprawność działania i bezpieczeństwo tych systemów. Potrafi planować i realizować terminowo różne zadania. [AACT_K_7]
K_K01 [1/5] K_K04 [1/5] K_K05 [1/5]
Potrafi wyznaczyć złożoności pesymistyczne i średnie (czasowe i pamięciowe) zadanych, niebanalnych algorytmów. Potrafi porównać grupę algorytmów przeznaczonych do rozwiązania wybranego problemu, wybrać algorytm najlepszy oraz odrzucić algorytmy wymagających zbyt dużych zasobów komputera niezbędnych do ich wykonania. [AACT_U_4]
K_U01 [1/5] K_U02 [1/5] K_U04 [1/5]
Potrafi wyznaczyć złożoność obliczeniową algorytmów rekurencyjnych i zapisać ich złożoność w postaci równania rekurencyjnego. Potrafi rozwiązywać proste równania. [AACT_U_5]
K_U01 [1/5] K_U04 [1/5] K_U08 [1/5]
Potrafi dokonać oceny przyjętych rozwiązań algorytmicznych oraz założonych struktur danych w systemie informatycznym o małej i średniej złożoności. Ma umiejętność wskazania zalet i wad przyjętych rozwiązań. [AACT_U_6]
K_U01 [1/5] K_U02 [1/5] K_U03 [1/5]
Ma wiedzę za zakresu metod wyznaczania złożoności obliczeniowej algorytmów, w tym złożoności czasowej, pamięciowej, średniej, pesymistycznej. Zna podstawowe notacje (O, Omega, Teta) dla szacowania rzędu funkcji. Zna i rozumie podstawowe klasy złożoności algorytmów, takie jak wielomianowe (P), wykładnicze (NP-zupełne, NP-trudne). [AACT_W_1]
K_W02 [1/5] K_W03 [1/5] K_W09 [2/5]
Ma wiedzę z zakresu metod rozwiązywania równań rekurencyjnych w tym metody przez podstawienie, metod iteracyjnych oraz twierdzenia o rekurencji uniwersalnej. [AACT_W_2]
K_W02 [1/5] K_W03 [1/5] K_W09 [2/5]
Ma wiedzę z zakresu podstawowych paradygmatów konstruowania algorytmów, takich jak ,,dziel i zwyciężaj’’, programowania dynamicznego oraz strategii zachłannych. Zna i rozumie podstawy działania oraz wady i zalety algorytmów konstruowanych za pomocą wymienionych paradygmatów. Potrafi podać przykłady algorytmów opartych na poszczególnych paradygmatach. [AACT_W_3]
K_W09 [2/5] K_W10 [2/5]
Typ Opis Kody efektów modułowych do których odnosi się sposób weryfikacji
sprawozdania [AACT_w_1]
Rozwiązanie przez studentów zadań przydzielonych na laboratorium i przesłanie w formie sprawozdania w określonym terminie
AACT_K_7 AACT_U_4 AACT_U_5 AACT_U_6 AACT_W_1 AACT_W_2 AACT_W_3
Egzamin [AACT_w_2]
Weryfikacja wiedzy w oparciu o treści prezentowane na wykładzie. Egzamin składa się z pytań otwartych z teorii oraz przynajmniej dwóch zadań z treścią.
AACT_U_4 AACT_U_5 AACT_U_6 AACT_W_1 AACT_W_2 AACT_W_3
Rodzaj prowadzonych zajęć Praca własna studenta Sposoby weryfikacji
Typ Opis (z uwzględnieniem metod dydaktycznych) Liczba godzin Opis Liczba godzin
wykład [AACT_fs_1]
Przekazanie treści kształcenia w formie werbalnej z wykorzystaniem środków audiowizualnych oraz innych pisemnych pomocy dydaktycznych. Zwracanie uwagi na zagadnienia trudniejsze w zrozumieniu oraz o głębszych podstawach teoretycznych. Aktywizacja słuchaczy przez zadawanie pytań dotyczących przekazywanych treści
15
Zapoznanie się z tematyką wykładu z wykorzystaniem: przygotowanego skryptu do przedmiotu, wskazanej dodatkowej literatury i źródeł internetowych.
30 Egzamin [AACT_w_2]
laboratorium [AACT_fs_2]
Szczegółowe przygotowanie studentów do rozwiązywania zadań ze wskazaniem na metodologię postępowania, wskazaniem kolejności wykonywanych czynności. Rozwiązywanie zadań z treścią.
30
Przygotowanie studenta do laboratorium. Samodzielne rozwiązywanie zadań; Przygotowanie sprawozdań z rozwiązanymi zadaniami w wersji papierowej i oddanie ich w wyznaczonym terminie.
90 sprawozdania [AACT_w_1]
Załączniki
Opis modułu (PDF)
Informacje o sylabusach mogą ulec zmianie w trakcie trwania studiów.
Sylabusy (USOSweb)
Semestr Moduł Język wykładowy
(brak danych)