wniosekinf2zalb2

	A	B	C	D	E	F	G	H	I
1	Załącznik B.2
2	Matryca efektów kształcenia
3
4	Symbol kierunkowych efektów kształcenia	efekt kształcenia	moduły kształcenia
5	Symbol kierunkowych efektów kształcenia	efekt kształcenia	SEM	OB2	PWR	MRJP	Logika	ZLO	WZI
6	K_W01	ma pogłębioną wiedzę z działów matematyki niezbędnych do studiowania informatyki (logika i jej związki z informatyką, teoria złożoności)					x	x
7	K_W02	dobrze rozumie rolę i znaczenie konstrukcji rozumowań matematycznych					x	x
8	K_W03	zna problemy, techniki i narzędzia związane z budową kompilatorów				x
9	K_W04	zna techniki synchronizacji procesów i komunikacji międzyprocesowej w scentralizowanym i rozproszonym modelu programu współbieżnego			x
10	K_W05	zna algorytmy wzajemnego wykluczania i uzgadniania w systemach rozproszonych			x
11	K_W06	zna ogólne zasady tworzenia i rozwoju form indywidualnej przedsiębiorczości, wykorzystującej wiedzę z zakresu informatyki							x
12	K_W07	zna zasady bezpieczeństwa i higieny pracy w stopniu pozwalającym na samodzielną pracę na stanowisku w zawodzie informatyka
13	K_W08	ma podstawową wiedzę dotyczącą uwarunkowań prawnych i etycznych związanych z działalnością naukową i dydaktyczną							x
14	K_W09	zna i rozumie podstawowe pojęcia i zasady z zakresu ochrony własności przemysłowej i prawa autorskiego oraz konieczność zarządzania zasobami własności intelektualnej; potrafi korzystać z zasobów informacji patentowej							x
15
16	K_U01	posiada umiejętność konstruowania rozumowań matematycznych					x	x
17	K_U02	potrafi wyrażać problemy obliczeniowe w języku matematyki					x	x
18	K_U03	potrafi zbudować kompilator dla języka programowania o średnim stopniu złożoności				x
19	K_U04	projektuje algorytmy w podstawowych modelach obliczalności: maszynach Turinga, obwodach logicznych						x
20	K_U05	identyfikuje przynależność i trudność problemów obliczeniowych w stosunku do ważnych klas złożoności: NC, P, NP, PSPACE, wykorzystując ich różne charakteryzacje						x
21	K_U06	potrafi zastosować mechanizmy synchronizacji procesów i wątków w wybranych technologiach w zależności od architektury i możliwości konkretnego komputera			x
22	K_U07	potrafi zastosować metody weryfikacji programów współbieżnych			x
23	K_U07	posługuje się nowoczesnymi technologiami rozpraszania i zrównoleglania obliczeń			x
24	K_U09	analizuje pojęcia sformalizowane w logice pierwszego rzędu, tworzy formalizacje zadanych pojęć w logice pierwszego rzędu lub dowodzi niemożności takiej formalizacji					x
25	K_U10	analizuje pojęcia sformalizowane w wybranych systemach logicznych o znaczeniu informatycznym, tworzy w nich formalizacje zadanych pojęć lub dowodzi niemożności takiej formalizacji					x
26	K_U11	posiada pogłębioną umiejętność przygotowania wystąpień ustnych, w języku polskim i języku obcym, w zakresie informatyki lub w obszarze leżącym na pograniczu różnych dyscyplin naukowych	x
27	K_U12	potrafi opisywać wybrane problemy informatyczne i ich rozwiązania w sposób zrozumiały dla nieinformatyka; potrafi przygotować prezentację (artykuł) z użyciem narzędzi informatycznych	x
28	K_U13	potrafi przygotować (także w języku angielskim) opracowanie naukowe z wybranej dziedziny informatyki	x
29	K_U14	ma umiejętności językowe w zakresie informatyki zgodne z wymaganiami określonymi dla poziomu B2+ Europejskiego Systemu Opisu Kształcenia Językowego	x		x	x	x	x
30	K_U15	potrafi określić kierunki dalszego uczenia się i zrealizować proces samokształcenia	x
31
32	K_K01	zna ograniczenia własnej wiedzy i rozumie potrzebę dalszego kształcenia, w tym zdobywania wiedzy pozadziedzinowej	x	x
33	K_K02	potrafi precyzyjnie formułować pytania, służące pogłębieniu własnego zrozumienia danego tematu (w szczególności w kontaktach z nieinformatykiem) lub odnalezieniu brakujących elementów rozumowania	x	x
34	K_K03	potrafi pracować zespołowo, w tym w zespołach interdyscyplinarnych; rozumie konieczność systematycznej pracy nad wszelkimi projektami, które mają długofalowy charakter	x		x	x
35	K_K04	rozumie i docenia znaczenie uczciwości intelektualnej w działaniach własnych i innych osób; postępuje etycznie							x
36	K_K05	ma świadomość odpowiedzialności za podejmowane inicjatywy badań, eksperymentów lub obserwacji; rozumie społeczne aspekty praktycznego stosowania zdobytej wiedzy i umiejętności oraz związaną z tym odpowiedzialność							x
37	K_K06	potrafi formułować opinie na temat podstawowych zagadnień informatycznych	x	x
38	K_K07	zna najważniejsze organizacje zawodowe w swoje dziedzinie (ACM, IEEE, PTI) i rozumie korzyści z członkowstwa	x
39	K_K08	rozumie potrzebę systematycznego zapoznawania się z czasopismami naukowymi i popularnonaukowymi w celu poszerzania i pogłębiania wiedzy	x
40	K_K09	potrafi myśleć i działać w sposób przedsiębiorczy	x						x
41
42
43		Objaśnienia skrótów
44	PWR	Programowanie współbieżne i rozproszone
45	SEM	Seminarium magisterskie
46	MRJP	Metody Realizacji Języków programowania
47	ZLO	Teoria złożoności
48	WZI	Wybrane zagadnienia informatyki
49	OB2	Moduł OBIERALNE2 (Algorytmika, Algorytmy tekstowe, Kompresja danych - wprowadzenie, Programowanie w logice, Systemy uczące się, Sztuczna inteligencja i systemy doradcze, Teoria informacji, Weryfikacja wspomagana komputerowo, Wnioskowanie w serwisach i systemach informatycznych, Wstęp do biologii obliczeniowej, Zaawansowane bazy danych, Zaawansowane systemy operacyjne + monografy)
50
51
52
53
54
55
56
57
58
59
60
61
62	Tabela efektów kierunkowych w odniesieniu do form kształcenia