Algorytmika
Informacje ogólne
Kod przedmiotu: | MFI-I.4Z.132 |
Kod Erasmus / ISCED: | (brak danych) / (brak danych) |
Nazwa przedmiotu: | Algorytmika |
Jednostka: | Wydział Matematyki, Fizyki i Informatyki |
Grupy: | |
Punkty ECTS i inne: |
0 LUB
6.00
(w zależności od programu)
|
Język prowadzenia: | polski |
Wymagania wstępne: | Umiejętność programowania proceduralnego i obiektowego w C++, znajomość i umiejętność implementacji podstawowych struktur danych. Przedmioty wprowadzające: - Podstawy programowania - Programowanie obiektowe - Algorytmy i struktury danych |
Godzinowe ekwiwalenty punktów ECTS: | Na przyznaną liczbę 6 punktów ECTS składają się: 1. Godziny kontaktowe z nauczycielem akademickim: - konsultacje - 2 godz. - udział w egzaminie - 2 godz. - udział w kolokwium - 2 godz. - udział w wykładach - 30 godz. - udział w laboratorium - 30 godz. - konsultacje - 20 godz. RAZEM: 84 godz. 2. Samodzielna praca studenta: - przygotowanie do kolokwium - 6 godz. - przygotowanie do egzaminu - 10 godz. - samodzielna implementacja algorytmów dla zadanych problemów - 30 godz. - przygotowanie do laboratorium - 20 godz. RAZEM: 66 godz. godziny kontaktowe+praca samodzielna=150 godz; 25godz./ECTS=6ECTS - w tym liczba punktów ECTS za godziny kontaktowe z bezpośrednim udziałem nauczyciela akademickiego - 3,36 punktów ECTS - w tym liczba punktów ECTS za godziny realizowane w formie samodzielnej pracy studenta - 2,64 punktów ECTS |
Sposób weryfikacji efektów kształcenia: | Warunkiem zaliczenia przedmiotu jest udział studenta w przewidzianych planem studiów zajęciach dydaktycznych oraz uzyskanie pozytywnych ocen z prac objętych tymi zajęciami. 1. Zaliczenie laboratorium (max.90 pkt.) a) aktywność i frekwencja na zajęciach ( 20 pkt .) b) 4 algorytmy do samodzielnej implementacji ( 4x10 pkt.) c) sprawdzian pisemny (30 pkt.) Próg zaliczenia 50 pkt. (W01, W02, W03; U01, U02, K01) 2. Wykład - egzamin ustny (W01, W02, W03; U01, U02, K01) |
Pełny opis: |
Przedmiot omawia sposoby klasyfikacji i analizy algorytmów: 1. Modele obliczeniowe jednorodne (maszyna Turinga i URM) 2. Modele obliczeniowe niejednorodne (obwody logiczne) 3. Główne klasy złożoności, ich wzajemne relacji i typowi reprezentanci 4. Semantyka języków programowania i konstrukcji algorytmicznych 5. Poprawność całkowita i częściowa programów |
Literatura: |
1. J. L. Balcasar, J. Diaz, J. Gabarro, "Structural complexity I, II", Springer Verlag 2. O. Goldreich, "Computational Complexity", Cambridge University Press 3. G. Winskel, "Formal semantics of programming languages" |
Efekty uczenia się: |
WIEDZA W01 - Student zna własności semantyczne języków programowania, K_W01, K_W02 W02 - Student zna teoretyczne ograniczenia możliwości systemów obliczeniowych, K_W01, K_W02 W03 - Student rozumie naturę i konsekwencje problemów złożoności, K_W01, K_W02 UMIEJĘTNOŚCI U01 - Student potrafi tworzyć matematyczne modele problemów obliczeniowych, K_U02, K_U03 U02 - Student umie analizować i ocenić kwestie dotyczące złożoności obliczeniowej, K_U02, K_U03 KOMPETENCJE SPOŁECZNE K01 - Zna ograniczenia własnej wiedzy, rozumie potrzebę dalszego kształcenia, potrafi pracować zespołowo, K_K01, K_K02, K_K03. |
Zajęcia w cyklu "Semestr zimowy 2022/2023" (zakończony)
Okres: | 2022-10-01 - 2023-02-01 |
Przejdź do planu
PN WT ŚR CZ PT |
Typ zajęć: |
Laboratorium, 30 godzin
Wykład, 30 godzin
|
|
Koordynatorzy: | Anna Sasak-Okoń | |
Prowadzący grup: | Monika Piekarz, Anna Sasak-Okoń | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Egzamin
Laboratorium - Zaliczenie na ocenę Wykład - Egzamin |
Właścicielem praw autorskich jest Uniwersytet Marii Curie-Skłodowskiej w Lublinie.