PROGRAM STUDIÓW I. INFORMACJE OGÓLNE 1. Nazwa jednostki prowadzącej kierunek: W y d z i a ł M a t e m a t y k i i I n f o r m a t y k i 2. Nazwa kierunku: I n f o r m a t y k a 3. Oferowane specjalności: I n f o r m a t y k a t e o r e t y c z n a 4. Poziom kształcenia: s t u d i a d r u g i e g o s t o p n i a 5. Profil kształcenia: o g ó l n o a k a d e m i c k i 6. Forma studiów: s t u d i a s t a c j o n a r n e / n i e s t a c j o n a r n e 7. Liczba semestrów: 4 / 6 8. Łączna liczba punktów ECTS konieczna do uzyskania kwalifikacji odpowiadających poziomowi kształcenia: 1 2 0 9. Łączna liczba godzin dydaktycznych: 1 0 9 5 / 7 1 7 10. Program uchwalony na posiedzeniu Rady Wydziału dnia 30.05.2012 r., obowiązuje od 1 października 2012 r. II. MODUŁY KSZTAŁCENIA MK_1, Modelowanie i analiza systemów informatycznych K_W05, K_W07 K_U 01, K_U02, K_U05, K_U12, K_K01, K_K02, K_K03, ocena projektu za zajęcia wymagające bezpośredniego udziału nauczycieli akademickich i studentów: 3 / 2 za zajęcia o charakterze praktycznym: 2 / 3 1. Modelowanie i analiza systemów informatycznych MK_2, Zaawansowane bazy danych K_W07, K_W14, K_U01, K_U09 K_K01, K_K02, K_K03, ocena wykonanych zadań laboratoryjnych, kolokwium 1. Zaawansowane bazy danych 1
MK_3, Metody analityczne w informatyce K_W04, K_U08, K_K05 Kolokwium, aktywność na 1. Metody analityczne w informatyce MK_4, Teoria obliczeń K_W01 K_U01 K_K03 1. Teoria obliczeń MK_5, Zaawansowane programowanie obiektowe K_W12, K_W13, K_W14 K_U07, K_U16 K_K02, ocena projektu za zajęcia wymagające bezpośredniego udziału nauczycieli akademickich i studentów: 1 / 1 za zajęcia o charakterze praktycznym: 3 / 2 1. Zaawansowane programowanie obiektowe w C++ 2. Zaawansowane programowanie obiektowe w Javie Student wybiera jeden z powyższych przedmiotów MK_6, Programowanie niskopoziomowe 2
K_W02, K_W12, K_W15 K_U16, K_U17, K_U19 K_K03, K_K05 1. Programowanie niskopoziomowe MK_7, Logika w informatyce K_W04, K_W12 K_U01, K_U05, K_U08, K_U14, K_U17 K_K01 Egzamin pisemny lub ustny, obserwacja studenta na, ocena wykonanych zadań laboratoryjnych za zajęcia wymagające bezpośredniego udziału nauczycieli akademickich i studentów: 1 / 1 1. Logika w informatyce MK_8, Metody algebraiczne w informatyce K_W04, K_W13,K_W14, K_W15 K_U01, K_U08, K_U20 K_K01, K_K02, K_K03, K_K05 Kolokwium, aktywność na, ocena projektu za zajęcia wymagające bezpośredniego udziału nauczycieli akademickich i studentów: 2 / 2 1. Metody algebraiczne w informatyce MK_9, Podstawy modelowania i symulacji rozmytej K_W06 K_U06 K_K01, K_K03, K_K05, kolokwium 3
1. Podstawy modelowania i symulacji rozmytej MK_10, Systemy ekspertowe K_W08, K_W15 K_U10, K_U20 K_K01, ocena projektu Pkt. ECTS 3. za zajęcia wymagające bezpośredniego udziału nauczycieli akademickich i studentów: 1 / 1 1. Systemy ekspertowe MK_11, Masywne obliczenia równoległe K_W11, K_W12, K_W13, K_W15 K_U13, K_U16, K_U17, K_U18, K_U19, K_U20 K_K01, K_K03, K_K05, ocena wykonanych zadań laboratoryjnych 1. Masywne obliczenia równoległe MK_12, Systemy weryfikacji poprawności dowodów K_W02, K_W03, K_W12, K_W13 K_U05, K_U14, K_U17 K_K01, K_K02, K_K05, ocena wykonanych zadań laboratoryjnych za zajęcia wymagające bezpośredniego udziału nauczycieli akademickich i studentów: 3 / 2 4
1. Systemy weryfikacji poprawności dowodów MK_13, Podstawy odkrywania wiedzy z danych K_W02, K_W12, K_W13, K_W14, K_W15 K_U01, K_U06, K_U14, K_U17, K_U20 K_K01, K_K02, K_K03 Zaliczenie pisemne lub ustne, obserwacja studenta na, ocena wykonanych zadań laboratoryjnych, ocena projektu 1. Podstawy odkrywania wiedzy z danych MK_14, Konstrukcja kompilatorów K_W02, K_W12, K_W14, K_W15 K_U14, K_U16 K_K02 1. Konstrukcja kompilatorów MK_15, Bezpieczeństwo danych i systemów informatycznych K_W09, K_W12 K_U11, K_U15, K_U17 K_K05, kolokwium 1. Bezpieczeństwo danych i systemów informatycznych 5
MK_16, Zaawansowane algorytmy i struktury danych K_W03 K_U01, K_U02, K_U07 K_K01, K_K03 1. Zaawansowane algorytmy i struktury danych MK_17, Zastosowanie informatyki w logice K_W13 K_U14 K_K03 1. Podstawy weryfikacji modelowej 2. Inteligentne systemy dedukcyjne Student wybiera jeden przedmiot. MK_18, Zarządzanie bazami wiedzy matematycznej K_W07, K_W15 K_U01, K_U09 K_K02, K_K04 Zaliczenie pisemne lub ustne, obserwacja studenta na, kolokwium za zajęcia o charakterze praktycznym: 3 / 2 1. Zarządzanie bazami wiedzy matematycznej MK_19, Dowodzenie własności programów 6
K_W03, K_W14 K_U05, K_U14 K_K04 Egzamin pisemny lub ustny, kolokwium, ocena projektu, obserwacja studenta na za zajęcia o charakterze praktycznym: 4 / 4 1. Dowodzenie własności programów MK_20, Zarządzanie projektami informatycznymi K_W10 K_U12 K_K01, K_K03, K_K05, ocena projektu za zajęcia wymagające bezpośredniego udziału nauczycieli akademickich i studentów: 1 / 1 1. Zarządzanie projektami informatycznymi MK_21, Język obcy K_W01 K_U01, K_U04 K_K03, K_K05 Aktywność na, kolokwium, zaliczenie pisemne lub ustne Pkt. ECTS 6. za zajęcia wymagające bezpośredniego udziału nauczycieli akademickich i studentów: 3 / 3 za zajęcia o charakterze praktycznym: 4 / 4 1. Język obcy 1 2. Język obcy 2 Student uczęszcza na oba przedmioty. Student wybiera jeden z poniższych języków: - język angielski - język rosyjski - język niemiecki 7
MK_22, Seminarium magisterskie K_W01, K_W02, K_U01, K_U03, K_U04 K_K03, K_K04, K_K05 Obserwacja studenta na Pkt. ECTS 6. za zajęcia wymagające bezpośredniego udziału nauczycieli akademickich i studentów: 2 / 2 za zajęcia o charakterze praktycznym: 4 / 4 1. Seminarium magisterskie 1 2. Seminarium magisterskie 2 Student uczęszcza na oba seminaria. Seminaria tematyczne - student wybiera tematykę z listy proponowanej przez zakłady/katedry MK_23, Pracownia magisterska K_W01, K_W02, K_W15 K_U01, K_U02, K_U04, K_U20 K_K01, K_K03, K_K04, K_K05 Sprawdzanie zaawansowania przygotowywanej pracy magisterskiej Pkt. ECTS 22. za zajęcia wymagające bezpośredniego udziału nauczycieli akademickich i studentów: 4 / 4 za zajęcia o charakterze praktycznym: 14 / 14 1. Pracownia magisterska 1 2. Pracownia magisterska 2 Student uczęszcza na obie pracownie. Student wybiera promotora pracy magisterskiej, do którego uczęszcza na pracownie. *Ilość modułów jest dowolna. Obok kodów modułów (MK_1, ) należy wpisać ich nazwy. Jeśli program przewiduje praktyki, należy zdefiniować dla nich efekty kształcenia, opisać sposoby ich weryfikacji oraz określić liczbę pkt ECTS. III. WSKAŹNIKI ILOŚCIOWE 1. Łączna liczba punktów ECTS za zajęcia wymagające bezpośredniego udziału nauczycieli akademickich i studentów: 4 7 / 3 2 2. Łączna liczba punktów ECTS w ramach zajęć z zakresu nauk podstawowych: 0 / 0 3. Łączna liczba punktów ECTS w ramach zajęć o charakterze praktycznym: 7 1 / 7 0 4. Minimalna liczba punktów ECTS z zajęć ogólnouczelnianych lub na innym kierunku: 6 8
5. Minimalna liczba punktów ECTS z zajęć wychowania fizycznego: 0 6. Procentowy udział punktów ECTS uzyskiwanych wskutek realizacji modułów do wyboru: 35 / 35 7. Procentowy udział punktów ECTS dla każdego obszaru kształcenia, do którego przyporządkowany jest program studiów (jeżeli efekty kształcenia określone dla programu kształcenia wyodrębniono z kilku obszarów kształcenia): obszar nauk ścisłych: 51,91 % obszar nauk technicznych: 48,09 % IV. WARUNKI UKOŃCZENIA STUDIÓW ORAZ UZYSKIWANY TYTUŁ ZAWODOWY Warunkiem ukończenia studiów drugiego stopnia i uzyskania tytułu zawodowego magistra jest uzyskanie absolutorium, przygotowanie pracy dyplomowej (magisterskiej) oraz zdanie egzaminu dyplomowego (magisterskiego).. (pieczątka i podpis Dziekana) 9