Złożoność obliczeniowa WM-I-ZO
Celem przedmiotu jest przekazanie wiedzy z zakresu podstaw złożoności obliczeniowej: maszyn abstrakcyjnych, modeli obliczeń oraz klas złożoności. Po zaliczeniu przedmiotu student powinien znać i rozumieć konsekwencje praktyczne przynależności problemu np. do klas P lub NP oraz różnic między algorytmem rozwiązującym dane zadanie a algorytmem heurystycznym lub aproksymacyjnym.
Dyscyplina naukowa, do której odnoszą się efekty uczenia się
E-Learning
W cyklu 2020/21_Z: E-Learning (pełny kurs) z podziałem na grupy | W cyklu 2019/20_Z: E-Learning (pełny kurs) | W cyklu 2021/22_Z: E-Learning (pełny kurs) z podziałem na grupy | W cyklu 2022/23_Z: E-Learning (pełny kurs) z podziałem na grupy |
Grupa przedmiotów ogólnouczenianych
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Typ przedmiotu
Wymagania wstępne
Koordynatorzy przedmiotu
Efekty kształcenia
- zna i rozumie pojęcia problemów obliczeniowych i decyzyjnych, maszyn abstrakcyjnych, nierozstrzygalności, klas złożoności obliczeniowej oraz ich wzajemnych powiązań (I2_W01, I2_W11)
- potrafi skonstruować maszyny abstrakcyjne dla średnio skomplikowanych problemów decyzyjnych i obliczeniowych, potrafi analizować algorytmy pod kątem złożoności czasowej i pamięciowej, potrafi podać przykłady problemów należących do różnych klas złożoności (I2_U01, I2_U06)
szacunkowy nakład pracy studenta:
uczestnictwo w zajęciach 30 h
przygotowanie do zajęć 15 h
przygotowanie do weryfikacji 33 h
projekt 20 h
konsultacje z prowadzącym 2 h
Kryteria oceniania
Dla wszystkich efektów przyjmuje się następujące kryteria oceny we wszystkich formach weryfikacji:
ocena 5: osiągnięty w pełni (bez uchwytnych niedociągnięć)
ocena 4,5: osiągnięty niemal w pełni i nie są spełnione kryteria przyznania wyższej oceny
ocena 4: osiągnięty w znacznym stopniu i nie są spełnione kryteria przyznania wyższej oceny
ocena 3,5: osiągnięty w znacznym stopniu – z wyraźną przewagą pozytywów – i nie są spełnione kryteria przyznania wyższej oceny
ocena 3: osiągnięty dla większości przypadków objętych weryfikacją i nie są spełnione kryteria przyznania wyższej oceny
ocena 2: nie został osiągnięty dla większości przypadków objętych weryfikacją
Uwagi
|
W cyklu 2019/20_Z:
Semantyka i weryfikacja programów |
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: