e1 w16 - politechnika wrocławskapwr.edu.pl/fcp/2gbukoqttklqhbx08slkatxycei8pmgqgs38praobvm8... ·...

Zał nr 4 do ZW

WYDZIAŁ PODSTAWOWYCH PROBLEMÓW TECHNIKIKARTA PRZEDMIOTU

Nazwa w jezyku polskim : Podstawy ElektronikiNazwa w jezyku angielskim : Introduction to ElectronicsKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W16Grupa kursów : TAK

Wykład Cwiczenia Laboratorium Projekt SeminariumLiczba godzin zajec zorganizowanych wUczelni (ZZU)

30 30

Liczba godzin całkowitego nakładu pracystudenta (CNPS)

90 90

Forma zaliczenia zaliczenieDla grupy kursów zaznaczyc kurs kon-cowy

X

Liczba punktów ECTS 3 3w tym liczba odpowiadajaca zajeciom ocharakterze praktycznym (P)

3

w tym liczba punktów odpowiadajaca zaje-ciom wymagajacym bezposredniego kon-taktu (BK)

3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIModuł jest przewidziany jako podstawowy i wprowadzajacy. Wiedza techniczna nie jest wymagana. Punk-tem wyjsciowym sa informacje zgromadzone na przedmiocie fizyka na poziomie szkoły sredniej. Podstawoweumiejetnosci matematyczne (rozwiazywanie równan pierwszego i drugiego stopnia, tworzenie wykresów wieluzmiennych) oraz elementy matematyki liczb zespolonych sa wymagane przy stosowaniu praw Ohma i Kirhoffaoraz obliczeniach dla obwodów rezonansowych. Wymagane umiejetnosci techniczne do zajec laboratoryjnych tominimum precyzji ruchów dłoni. Osoby niedowidzace moga przy konstruowaniu układów posiłkowac sie lupa.

CELE PRZEDMIOTU

C1 Przedstawienie teorii dotyczacej podstawowych układów elektronicznych i ich komponentów.

C2 Dostarczenie doswiadczalnego potwierdzenia wykładanej teorii oraz umozliwienie zdobycia doswiadczeniaw pracy z dyskretnymi elementami elektronicznymi.

1

PRZEDMIOTOWE EFEKTY KSZTAŁCENIAZ zakresu wiedzy studenta:

W1 posiada wiedze na temat technik pomiarowych

W2 posiada wiedze na temat obwodów pradu stałego

W3 posiada wiedze na temat diod i tranzystorów

W4 posiada wiedze na temat układów scalonych

Z zakresu umiejetnosci studenta:

U1 potrafi samodzielnie dokonywac badan elementarnych własnosci układów elektronicznych

U2 potrafi samodzielnie rozwiazywac najprostsze problemy w zakresie działania elektroniki

U3 potrafi posługiwac sie podstawowymi komponetami elektronicznymi

Z zakresu kompetencji społecznych studenta:

K1 potrafi współpracowac z inzynierami elektronikami

K2 potrafi zarzadzac projektami informatycznymi o silnych uwarunkowaniach w warstwie sprzetowej

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wprowadzenie do tematyki 2hWy2 Elementy dyskretne, scalone; schematy i specyfikacje 2hWy3 Pomiary elektroniczne. 2hWy4 Obwody pradu stałego (1) 2hWy5 Obwody pradu stałego (2) 2hWy6 Obwody pradu stałego - oscylacyjne. 2hWy7 Obwody pradu przemiennego (1) 2hWy8 Obwody pradu przemiennego (2) 2hWy9 Dioda i tranzystor. 2hWy10 Tranzystory i diody w układach. 2hWy11 Wykorzystanie tranzystora jako elementu budowy pamieci. 2hWy12 Układy scalone (1) 2hWy13 Układy scalone (2) 2hWy14 Analiza układu elektronicznego. 2h

Forma zajec - laboratoriumLab1 Zajecia wstepne. 2hLab2 Prawo Ohma, prawo Kirhoffa. 2hLab3 Elementy nieliniowe. 2hLab4 Układy całkujace i rózniczkujace. 2hLab5 Tranzystor i dioda. 2hLab6 Układy logiczne (1) 2hLab7 Układy logiczne (2) 2hLab8 Układy rezonujace - kwarcowe. Pomiar oscyloskopowy. 2hLab9 Projekt 14h

2

STOSOWANE NARZEDZIA DYDAKTYCZNE

1. Wykład tradycyjny

2. Wykład multimedialny

3. Rozwiazywanie zadan i problemów

4. Konsultacje

5. Praca własna studentów

OCENA OSIAGNIECIA PRZEDMIOTOWYCH EFEKTÓW KSZTAŁCENIA

Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W4, K1-K2 EgzaminF2 U1-U3, K1-K2 Zaliczenie wszystkich laboratoriów

(wymóg) + projektP=40%*F1+60%*F2

LITERATURA PODSTAWOWA I UZUPEŁNIAJACA

1. Charles Schuler: Electronics : principles & applications

2. Paul Horowitz, Winfield Hill: Sztuka elektroniki

3. Cathleen Shamieh, Gordon McComb: Elektronika dla bystrzaków

OPIEKUN PRZEDMIOTU

mgr inz. Przemysław Błaskiewicz

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUPodstawy Elektroniki

Z EFEKTAMI KSZTAŁCENIA NA KIERUNKU INFORMATYKAPrzedmiotowyefekt ksz-tałcenia

Odniesienie przedmiotowego efektu doefektów kształcenia zdefiniowanych dlakierunku studiów i specjalnosci (o ile doty-czy)

Cele przed-miotu**

Tresci pro-gramowe**

Numernarzedziadydakty-cznego**

W1 K1_W01 K1_W02 C1 Wy1-Wy14 1 2 4 5W2 K1_W01 K1_W02 C1 Wy1-Wy14 1 2 4 5W3 K1_W01 K1_W02 C1 Wy1-Wy14 1 2 4 5W4 K1_W01 K1_W02 C1 Wy1-Wy14 1 2 4 5U1 K1_U01 K1_U02 K1_U04 K1_U06

K1_U09 K1_U10 K1_U11 K1_U15K1_U17 K1_U20 K1_U24 K1_U32

C1 Lab1-Lab9 3 4 5

U2 K1_U01 K1_U02 K1_U15 K1_U17K1_U20

C1 Lab1-Lab9 3 4 5

U3 K1_U01 K1_U09 K1_U15 K1_U20K1_U32

C1 Lab1-Lab9 3 4 5

K1 K1_K01 K1_K05 K1_K11 K1_K13K1_K14

C1 C2 Wy1-Wy14Lab1-Lab9

1 2 3 4 5

K2 K1_K01 K1_K08 K1_K11 C1 C2 Wy1-Wy14Lab1-Lab9

1 2 3 4 5

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Wstep do Mechaniki i Obliczen KwantowychNazwa w jezyku angielskim : Introduction to Quantum Mechanics and Quantum ComputingKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W07Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIAnaliza Matematyczna I, Algebra Liniowa

CELE PRZEDMIOTU

C1 Opanowanie podstawowych pojec mechaniki kwantowej i obliczen kwantorych; opanowanie kwantowychmetod faktoryzacji liczb oraz ustalania klucza sesyjnego

C2 Opanowanie podstawowych narzedzi obliczen kwantowych

1


W1 Zna pojecie bitu kwantowego

W2 Zna podstawowe bramki kwantowe

W3 Zna algorytm faktoryzacji Shora

W4 Zna protokół BB84


U1 Umie zdiagonalizowac macierz Hermitowska

U2 Umie przeprowadzac obliczenia na bramkach kwantowych

U3 Umie obliczyc dyskretna transformate Fouriera

U4 Umie stosowac zasade nieznaczonosci

U5 Potrafi skonstruowac kwantowy algorytm faktoryzacji

U6 Umie zaimplementowac algorytm BB84


K1 Rozumie ograniczenia współczesnej kryptografii

K2 Rozumie potrzebe sledzenia postepów w dziedzinie obliczen kwantowych

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wstep do przestrzeni Hilberta 4hWy2 Operatory Hermitowskie 4hWy3 Stany kwantowe 2hWy4 Informacje kwantowe 4hWy5 Kodowanie supergeste 2hWy6 Maszyny obliczeniowe 2hWy7 Transformata Fouriera 2hWy8 Szybka faktoryzacja 4hWy9 Protokoł BB84 4hWy10 Zastosowania 2h

Forma zajec - cwiczeniaCw1 Przestrzenie Hilberta 4hCw2 Operatory 4hCw3 Operatory samosprzezone i unitarne 4hCw4 Stany kwantowe 4hCw5 Transformata Fouriera 4hCw6 Faktoryzacja liczb naturalnych 4hCw7 Spiny i protokół BB84 4hCw8 Interferancja kwantowa 2h

2





4. Rozwiazywanie zadan programistycznych

5. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W4, K1-K2 Test zaliczeniowyF2 U1-U6, K1-K2 Dwa kolokwia sprawdzajace

umiejetnosci obliczenioweP=50%*F1+%*F2


1. Mika Hirvensalo, Algorytmy kwantowe, 2008

2. Witold Jacek, Wojciech Donderowicz, Janusz Jacak, Lucjan Jacak, Wstep do informatyki i kryptografiikwantowej

OPIEKUN PRZEDMIOTU

prof. Jacek Cichon

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUWstep do Mechaniki i Obliczen Kwantowych



Cele przed-miotu**



W1 K1_W01 K1_W02 K1_W13 C1 Wy1-Wy10 1 2 5 6W2 K1_W06 C1 Wy1-Wy10 1 2 5 6W3 K1_W01 K1_W05 K1_W09 C1 Wy1-Wy10 1 2 5 6W4 K1_W01 K1_W02 K1_W09 K1_W11 C1 Wy1-Wy10 1 2 5 6U1 K1_U10 K1_U31 C2 Cw1-Cw8 3 4 5 6U2 K1_U31 C2 Cw1-Cw8 3 4 5 6U3 K1_U02 K1_U30 K1_U31 C2 Cw1-Cw8 3 4 5 6U4 K1_U13 K1_U31 C2 Cw1-Cw8 3 4 5 6U5 K1_U09 K1_U12 K1_U32 C2 Cw1-Cw8 3 4 5 6U6 K1_U13 K1_U31 C2 Cw1-Cw8 3 4 5 6K1 K1_K08 K1_K12 C1 C2 Wy1-Wy10

Cw1-Cw81 2 3 4 5 6

K2 K1_K01 K1_K11 C1 C2 Wy1-Wy10Cw1-Cw8

1 2 3 4 5 6

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Fizyka Technologii InformacyjnychNazwa w jezyku angielskim : Physics of Information ThechnologyKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W14Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIAnaliza matematyczna II, wykład z Fizyki, Algebra Liniowa, Metody Probabilistyczne i Statystyka

CELE PRZEDMIOTU

C1 Celem wykładu jest omówienie zjawisk fizycznych bedacych podstawa współczesnych metod transmisjidanych

C2 Celem cwiczen jest opanowanie technik obliczeniowych zwiazanych z problemami omawianymi nawykładzie

1


W1 Zna pojecie interferencji

W2 Zna metody opisu oraz uwzgledniania zakłócen

W3 Zna podstawowe techniki kodowania i dekodowanie sygnałów

W4 Zna podstawowe techniki korekcji sygnałów

W5

W6



K1 Zna ograniczenia fizyczne przepustowosci kanalów komunikacyjnych

K2 Zna ograniczenia fizyczne na gestosc zapisu informacji

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Miary informacji i zakłócen 2hWy2 Techniki komunikacyjne - linie transmisyjne, fale. Fale radiowe, mikrofale, włókna optyczne 2hWy3 Zródła i detektory sygnałów. Kanały komunikacyjne i zakłócenia. 2hWy4 Metody zapisu i odczytu - nosniki i urzadzenia magnetyczne, elektroniczne; techniki holo-

graficzne4h

Wy5 Kodowanie i dekodowanie: amplitudy i czestotliwosci, kodowanie binarne, kompresjadanych

4h

Wy6 Korekcja błedów, elementy kryptografii 2hWy7 Elementy mechaniki kwantowej: stany kwantowe i informacja, obliczenia i komunikacja 4hWy8 Elementy kryptografii kwantowej 4hWy9 Fizyczne ograniczenia technologii informacyjnych: bariery współczesnych technologii 4hWy10 Nowe technologie - realizacja laboratoryjne i wyniki teoretyczne 2h

Forma zajec - cwiczeniaCw1 Fale radiowe. Moc sygnału. Interferencja 6hCw2 Techniki zapisu danych 4hCw3 Kodowanie i dekodowanie. 4hCw4 Elementy teorii informacji. Pojemnosc kanału 6hCw5 Elementy fizyki kwantowej 4hCw6 Kanały kwantowe 6h

2




3. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W6, K1-K2 Kolokwium zaliczenioweF2 U1-U, K1-K2 Aktywnosc na cwiczeniachP=60%*F1+40%*F2


1. Neil Gershenfeld, The Physics of Information Technology, Cambridge University Press, 2000

OPIEKUN PRZEDMIOTU

dr hab. inz. Włodzimierz Salejda

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUFizyka Technologii Informacyjnych



Cele przed-miotu**



W1 K1_W01 K1_W02 C1 Wy1-Wy10 1 3 4W2 K1_W01 K1_W02 C1 Wy1-Wy10 1 3 4W3 C1 Wy1-Wy10 1 3 4W4 C1 Wy1-Wy10 1 3 4W5 C1 Wy1-Wy10 1 3 4W6 C1 Wy1-Wy10 1 3 4K1 K1_K01 K1_K08 C1 C2 Wy1-Wy10

Cw1-Cw61 2 3 4

K2 K1_K01 K1_K08 K1_K12 C1 C2 Wy1-Wy10Cw1-Cw6

1 2 3 4

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Jezyki i Paradygmaty ProgramowaniaNazwa w jezyku angielskim : Programming Languages and ParadigmsKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W25Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIKurs programowania, Technologia programowania

CELE PRZEDMIOTU

C1 Omówienie najbardziej istotnych paradygmatach we współczesnym programowaniu

C2 Praktyczna znajomosc omawianych jezyków oraz paradygmatów pozwala pogłebic techniki programowania

1


W1 Posiada wiedze z zakresu paradygmatów programowania imperatywnego, obiektowego oraz generycznegoumozliwiajaca na rozwiazanie postawionych problemów

W2 Posiada wiedze z zakresu paradygmatu programowania funkcjonalnego

W3 Posiada wiedze z zakresu paradygmatów programowania współbieznego oraz niskopoziomowego


U1 Potrafi przeprowadzic analize oraz projekt podanego problemu

U2 Potrafi wybrac odpowiedni jezyk oraz paradygmat programowania


K1 Potrafi wyjasnic zagadnienia zwiazane z paradygmatami programowania

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wprowadzenie 2hWy2 Projektowanie i analiza 2hWy3 Programowanie imperatywne 2hWy4 Programowanie obiektowe 4hWy5 Programowanie generyczne 4hWy6 Programowanie funkcjonalne 4hWy7 Programowanie współbiezne 4hWy8 Programowanie niskopoziomowe 4hWy9 Techniki pozwalajace na jednoczesne wykorzystanie kilku paradygmatów programowania 4h

Forma zajec - laboratoriumLab1 Projektowanie i analiza 4hLab2 Programowanie imperatywne 2hLab3 Programowanie obiektowe 4hLab4 Programowanie generyczne i metaprogramowanie 4hLab5 Programowanie funkcjonalne 4hLab6 Programowanie współbiezne 4hLab7 Programowanie niskopoziomowe 4hLab8 Programowanie jednoczesnie w kilku paradygmatach 4h





4. Konsultacje


2


Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W3, K1-K1 BrakF2 U1-U2, K1-K1 Ocena terminowosci i jakosci odd-

awanych zadan programistycznychoraz wadomosci przedstawionychna wykładzie

P=0%*F1+100%*F2LITERATURA PODSTAWOWA I UZUPEŁNIAJACA

1. Bernd Bruegge, Allen H. Dutoit, Inzynieria oprogramowania w ujeciu obiektowym. UML, wzorce projek-towe i Jav

2. Bruce J. Maclennan, Functional Programming: Practice and Theory

3. X. Leroy, The Objective Caml system

OPIEKUN PRZEDMIOTU

dr Marcin Zawada

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUJezyki i Paradygmaty Programowania



Cele przed-miotu**



W1 K1_W04 K1_W05 K1_W06 K1_W08K1_W15

C1 Wy1-Wy9 1 2 4 5

W2 K1_W05 K1_W06 K1_W08 K1_W15 C1 Wy1-Wy9 1 2 4 5W3 K1_W05 K1_W06 K1_W13 C1 Wy1-Wy9 1 2 4 5U1 K1_U02 K1_U03 K1_U18 K1_U19 C1 Lab1-Lab8 3 4 5U2 K1_U03 K1_U18 K1_U24 C1 Lab1-Lab8 3 4 5K1 K1_K12 K1_K14 C1 C2 Wy1-Wy9

Lab1-Lab81 2 3 4 5

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Problemy Społeczne i Zawodowe Informatyki (PHM)Nazwa w jezyku angielskim : Social and Professional Issues of Computer ScienceKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_P01Grupa kursów : TAK


30


60


X

Liczba punktów ECTS 2w tym liczba odpowiadajaca zajeciom ocharakterze praktycznym (P)w tym liczba punktów odpowiadajaca zaje-ciom wymagajacym bezposredniego kon-taktu (BK)

2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIznajomosc jezyka polskiego

CELE PRZEDMIOTU

C1 przedstawienie przepisów, zasad funkcjonowania systemu prawnego i dobryk praktyk w zakresiefunkcjonowania w systemie prawnym

1


W1 zna podstawowe zasady systemu prawnego, reguły interpretacji i realizacji norm prawnych

W2 zna i rozumie zakres i podstawowe zasady prawa cywilnego

W3 zna rozumie zakres i podstawowe zasady działania administracji publicznej

W4 zna podstawowe reguły dotyczace działalnosci gospodarczej

W5 zna zasady umów o dzieło, umów zlecenia i prawa pracy niezbedne w działalnosci informatyka

W6 zna zasady funkcjonowania systemu karnego, posiada wiedze szczegółowa w zakresie przestepstw w zakre-sie zwiazanym z działalnoscia inforamtyczna

W7 zna zasady ochrony własnosci intelektualnej wynikajace z prawa autorskiego, prawa patentowego i prawpokrewnych

W8 zna szczególne zasady swiadczenia usług w wypadku swiadczenia droga elektroniczna

W9 zna reguły ochrony obrotu zwiazene z elektronicznymi srodkami płatniczymi

W10 zna reguły zwiazane z dokumentem elektronicznym i jego ochrona

W11 zna ograniczenia zwiazane z przetwarzaniem danych osobowych


U1 potrafi przeanalizowac przepis prawny, wyodrebnic normy prawne, ocenic zgodnosc z norma prawna

U2 potrafi zredagowac dokumenty o charakterze prawnym dotyczace własnosci informatycznej

U3 potrafi wdrozyc we własnej działalnosci reguły ochrony własnosci intelektualnej

U4 potrafi wdrozyc we własnej działalnosci reguły ochrony danych osobowych

U5 potrafi wdrozyc we własnej działalnosci system zarzadzania ryzykiem

U6 potrafi dostosowac własna działalnosc informatyczna do zasad ochrony informacji, zasad etycznych i normprawa karnego reguły ochrony własnosci intelektualnej

U7 potrafi wdrozyc we własnej działalnosci system ochrony danych osobowych


K1 potrafi komunikowac sie z podmiotami publicznymi w zakresie niezbednym w pracy inforamtyka

K2 potrafi oszacowac ryzyko prawne własnej działalnosci gospodarczej

K3 potrafi zawierac i interpretowac umowy cywilno-prawne

K4 potrafi prowadzic działalnosc informatyczna bez przekraczania norm prawnych

K5 potrafi stosowac narzedzia prawne ochrony własnosci intelektualnej i ograniczyc zagrozenia własnej działal-nosci przed roszczeniami osób trzecich

TRESCI PROGRAMOWE

2

Forma zajec - wykładyWy1 elementy prawa cywilnego 4hWy2 elementy prawa administracyjnego 4hWy3 elementy prawa gospodarczego 4hWy4 elementy prawa pracy 4hWy5 prawo karne w działalnosci informatycznej, zasady etyki 4hWy6 prawo autorskie i ochrona własnosci przemysłowej 4hWy7 ochrona danych osobowych 2hWy8 szczególne regulacje w wybranych obszar 4h




3. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W11, U1-U7, K1-K5 kolokwium zaliczeniowe, prace do

samodzielnego wykonaniaP=100%*F1


1. Prawo cywilne, prawo gospodarcze, elementy prawa, prawo pracy. Teresa Majtas. WSKiZ

2. teksty zródłowe, dostepne np. przez Internetowy System Inforamcji Prawnej

OPIEKUN PRZEDMIOTU

prof. Mirosław Kutyłowski

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUProblemy Społeczne i Zawodowe Informatyki (PHM)



Cele przed-miotu**



W1 K1_W14 K1_W17 C1 Wy1-Wy8 1 3 4W2 K1_W14 K1_W17 C1 Wy1-Wy8 1 3 4W3 K1_W14 K1_W17 C1 Wy1-Wy8 1 3 4W4 K1_W14 K1_W17 C1 Wy1-Wy8 1 3 4W5 K1_W14 K1_W17 C1 Wy1-Wy8 1 3 4W6 K1_W14 K1_W17 C1 Wy1-Wy8 1 3 4W7 K1_W14 K1_W17 C1 Wy1-Wy8 1 3 4W8 K1_W14 K1_W17 C1 Wy1-Wy8 1 3 4W9 K1_W14 K1_W17 C1 Wy1-Wy8 1 3 4W10 K1_W14 K1_W17 C1 Wy1-Wy8 1 3 4W11 K1_W14 K1_W17 C1 Wy1-Wy8 1 3 4U1 K1_U02 K1_U06 K1_U14 K1_U15 2 3 4U2 K1_U02 K1_U15 2 3 4U3 K1_U02 K1_U15 2 3 4U4 K1_U02 K1_U14 K1_U15 2 3 4U5 K1_U14 K1_U15 2 3 4U6 K1_U14 K1_U15 K1_U25 K1_U32 2 3 4U7 K1_U03 K1_U17 K1_U25 K1_U32 2 3 4K1 K1_K01 K1_K02 K1_K04 K1_K10

K1_K13 K1_K14C1 Wy1-Wy8 1 2 3 4

K2 K1_K03 K1_K04 K1_K09 K1_K11K1_K13

C1 Wy1-Wy8 1 2 3 4

K3 K1_K01 K1_K03 K1_K04 K1_K11K1_K15

C1 Wy1-Wy8 1 2 3 4

K4 K1_K01 K1_K03 K1_K04 K1_K08K1_K09 K1_K11 K1_K13

C1 Wy1-Wy8 1 2 3 4

K5 K1_K01 K1_K04 K1_K10 K1_K11K1_K13

C1 Wy1-Wy8 1 2 3 4

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Podstawy Zarzadzania Firma InformatycznaNazwa w jezyku angielskim : Basics of Management of IT companyKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_P04Grupa kursów : TAK


15 15


30 30


X


1


1 1

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIbrak

CELE PRZEDMIOTU

C1 Poznanie metod organizacji, zarzadzania oraz zakładania firm informatycznych.

C2 Opanowanie podstawowych narzedzi słuzacych do planowania i kontrolowania procesu realizacji przed-siewziecia informatycznego

1


W1 Zna pojecie wykresu Gantt’a

W2 Zna podstawowe rodzaje przedsiebiorstw

W3 Zna podstawowe struktury organizacyjne przedsiebiorstw IT

W4 Zna podstawowe formy sprawozdan finansowych


U1 Potrafi zbudowac wykres Gantt’a przedsiewziecia i wyznaczyc sciezke krytyczna

U2 Potrafi zaprojektowac proces realizacji przedsiewziecia informatycznego

U3 Potrafi zanalizowac podstawowa dokumentacje finansowa przedsiebiorstwa

U4 Potrafi zgromadzic dokumenty potrzebne do załozenia przedsiebiorstwa informatycznego


K1 Potrafi rozpoznac strukure organizacyjna przedsiebiorstwa IT

K2 Potrafi samodzielnie załozyc firme informatyczna

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Metody zarzadzania firma 4hWy2 Formy organizacjno - prawne przesiebiorstwa 2hWy3 Metody organizacji wewnetrznej przesiebiorstwa 2hWy4 Zasady orgaznizacji i realizacji projektu 2hWy5 Informacje finansowe oraz ich analiza 3hWy6 Procedury zakładania firmy informatycznej 1h

Forma zajec - cwiczeniaCw1 Wykresy Gantt’a 2hCw2 Analiza technik zarzadzania wybranych przedsiebiorstw 4hCw3 Planowanie realizacji projektu informatycznego 4hCw4 Analiza dokumentacji finansowej 2hCw5 Budowanie planu bussinesowego 2hCw6 Analiza dokumentów potrzebnych do załozenia firmy IT 1h

2





4. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W4, K1-K2 Kolokwium zaliczenioweF2 U1-U4, K1-K2 Realizacja zleconego zadaniaP=50%*F1+50%*F2


1. Ricky W. Griffin, Podstawy zarzadzania organizacjami, PWN 2010

2. Korzeniowski Leszek F., Podstawy zarzadzania organizacjami, DIFIN, 2011

OPIEKUN PRZEDMIOTU

prof. Jacek Cichon

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUPodstawy Zarzadzania Firma Informatyczna



Cele przed-miotu**



W1 K1_W17 C1 Wy1-Wy6 1 2 4 5W2 K1_W14 K1_W17 C1 Wy1-Wy6 1 2 4 5W3 K1_W16 K1_W17 C1 Wy1-Wy6 1 2 4 5W4 K1_W14 K1_W17 C1 Wy1-Wy6 1 2 4 5U1 K1_U15 K1_U16 K1_U31 C2 Cw1-Cw6 3 4 5U2 K1_U15 K1_U16 K1_U22 C2 Cw1-Cw6 3 4 5U3 K1_U15 K1_U16 C2 Cw1-Cw6 3 4 5U4 K1_U15 C2 Cw1-Cw6 3 4 5K1 K1_K03 K1_K06 K1_K07 C1 C2 Wy1-Wy6

Cw1-Cw61 2 3 4 5


1 2 3 4 5

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Wstep do Informatyki i ProgramowaniaNazwa w jezyku angielskim : Introduction to Computer Science and ProgrammingKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_I01Grupa kursów : TAK


30 15 30


90 60 90


X

Liczba punktów ECTS 3 2 3w tym liczba odpowiadajaca zajeciom ocharakterze praktycznym (P)

2 3


3 2 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIDla tego modułu nie sa okreslone wymagania wstepne.

CELE PRZEDMIOTU

C1 Zapoznanie sie z podstawowymi zagadnieniami informatyki a szczególnie z algorytmika

C2 Opanowanie umiejetnosci projektowania i analizy prostych algorytmów

C3 Opanowanie umiejetnosci projektowania prostych algorytmów i implementacji w jezyku C

1


W1 Zna rekurencje jako technike konstrukcji efektywnych algorytmów

W2 Zna przeglad z nawrotami jako technike konstrukcji efektywnych algorytmów

W3 Zna zasade dziel i zwyciezaj jako technike konstrukcji efektywnych algorytmów

W4 Zna obliczenia na stosie jako technike konstrukcji efektywnych algorytmów

W5 Zna programowanie dynamiczne jako technike konstrukcji efektywnych algorytmów

W6 Zna systemy regułowe jako technike konstrukcji efektywnych algorytmów

W7 Zna automaty skonczone jako technike konstrukcji efektywnych algorytmów

W8 Posiada elementarna wiedze z matematycznych podstaw informatyki teoretycznej


U1 Potrafi przeprowadzic eksperymenty obliczeniowe celem oceny poprawnosci algorytmu

U2 Potrafi przeprowadzic eksperymenty obliczeniowe celem oceny złozonosci czasowej algorytmu

U3 Posiada praktyczna umiejetnosc programowania w jezyku C


K1 Potrafi wyjasnic podstawowe zagadnienia zwiazane z informatyka bez odwoływania sie do terminologiitechnicznej i naukowej

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Algorytmy i programy 2hWy2 Projektowanie algorytmu 2hWy3 Elementy jezyka C 2hWy4 Podstawowe typy danych w C 2hWy5 Czasowa złozonosc obliczeniowa 2hWy6 Rekurencja 2hWy7 Przeszukiwanie z nawrotami 2hWy8 Zasada dziel i zwyciezaj 2hWy9 Obliczenia na stosie 2hWy10 Programowanie dynamiczne 2hWy11 Systemy regułowe 2hWy12 Automaty skonczone 2hWy13 Rozstrzygalnosc i obliczalnosc 2hWy14 Nierozstrzygalnosc i nieobliczalnosc 2hWy15 Klasy złozonosci 2h

2

Forma zajec - cwiczeniaCw1 Schematy blokowe 1hCw2 Projektowanie zstepujace 2hCw3 Proste algorytmy iteracyjne 2hCw4 Proste algorytmy rekurencyjne 2hCw5 Struktury dynamiczne 4hCw6 Analiza programu 4h

Forma zajec - laboratoriumLab1 Srodowisko programowania 2hLab2 Podstawowe instrukcje 4hLab3 Proste algorytmy iteracyjne 6hLab4 Proste algorytmy rekurencyjne 8hLab5 Zadanie projektowe 10h






5. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W8, K1-K1 Kolokwium w ostatnim tygodniu

zajecF2 U1-U3, K1-K1 BrakF3 U1-U3, K1-K1 Kontrola realizacji list zadanP=60%*F1+0%*F2+40%*F3


1. S. Alagic, M.A. Arbib. Projektowanie programów poprawnych i dobrze zbudowanych. WNT, Warszawa1982.

2. M. Kotowski. Wysokie C. LUPUS, Warszawa, 1998.

3. D. Harel, Y. Feldman. Rzecz o istocie informatyki. WNT, Warszawa 2008.

4. B. W. Kernighan, D. M. Ritchie. Jezyk ANSI C. WNT, Warszawa 2002.

5. A. Hunt, D. Thomas. Pragmatyczny programista. Od czeladnika do mistrza. WNT, Warszawa, 2002.

OPIEKUN PRZEDMIOTU

dr Przemysław Kobylanski

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUWstep do Informatyki i Programowania



Cele przed-miotu**



W1 K1_W05 C1 Wy1-Wy15 1 2 5 6W2 K1_W05 C1 Wy1-Wy15 1 2 5 6W3 K1_W05 C1 Wy1-Wy15 1 2 5 6W4 K1_W05 C1 Wy1-Wy15 1 2 5 6W5 K1_W05 C1 Wy1-Wy15 1 2 5 6W6 K1_W05 C1 Wy1-Wy15 1 2 5 6W7 K1_W05 K1_W07 C1 Wy1-Wy15 1 2 5 6W8 K1_W01 C1 Wy1-Wy15 1 2 5 6U1 K1_U09 C2 C3 Cw1-Cw6

Lab1-Lab53 4 5 6

U2 K1_U09 C2 C3 Cw1-Cw6Lab1-Lab5

3 4 5 6

U3 K1_U19 K1_U23 C2 C3 Cw1-Cw6Lab1-Lab5

3 4 5 6

K1 K1_K14 C1 C2 C3 Wy1-Wy15Cw1-Cw6Lab1-Lab5

1 2 3 4 5 6

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Kurs ProgramowaniaNazwa w jezyku angielskim : ProgrammingKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_I02Grupa kursów : TAK


30 30


45 75


X


2


2 2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIZnajomosc jezyka C.

CELE PRZEDMIOTU

C1 Zapoznanie z podstawami programowania obiektowego na przykładzie jezyków Java i C++

C2 Nabycie umiejetnosci programowania w jezykach obiektowych (Java i C++)

1


W1 Zna podstawowe pojecia i zagadnienia wystepujace w programowaniu obiektowym

W2 Zna podstawowe zasady projektowania obiektowego aplikacji

W3 Zna jezyki programowania obiektowego C++ i JAVA


U1 Umie programowac proste problemy w jezykach C++ i JAVA.

U2 Potrafi zaprojektowac i zaimplementowac graficzny interfejs uzytkownika.

U3 Potrafi zbudowac prosta aplikacje sieciowa.

U4 Potrafi stworzyc pełna dokumentacje tworzonego kodu


K1 Potrafi wyjasnic w sposób zrozumiały na czym polega projektowanie obiektowe.

K2 Potrafi zaprojektowac graficzny interfejs uzytkownika zrozumiały dla niespecjalisty.

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wprowadzenie do jezyków obiektowych 2hWy2 Klasy i obiekty 2hWy3 Dziedziczenie 2hWy4 Wyjatki 2hWy5 Graficzny interfejs uzytkownika 4hWy6 Aplety 2hWy7 Watki 2hWy8 Proces dokumentowania kodu 2hWy9 Kolekcje i typy uogólnione 2hWy10 Strumienie i serializacja danych. Gniazdka sieciowe 2hWy11 Wprowadzenie do UML 4hWy12 Zintegrowane srodowisko programistyczne. Testowanie aplikacji 2hWy13 Podsumowanie wykładu. Kolokwium zaliczeniowe 2h

Forma zajec - laboratoriumLab1 Zapoznanie sie z kompilatorami jezyków JAVA i C++ 2hLab2 Proste problemy 10hLab3 Proste interfejsy graficzne 8hLab4 Dokumentacja kodu 2hLab5 Projekty programistyczne 8h

2





4. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W3, K1-K2 Kolokwium z podstawowych włas-

nosci porgramowania obiektowegoF2 U1-U4, K1-K2 Ocena terminowosci i jakosci odd-

awanych zadan programistycznychP=20%*F1+80%*F2


1. Bruce Eckel, Thinking in Java, Helion, 2009.

2. Bruce Eckel, Thinking in C++, Helion, 2009.

3. G. Booch, J. Rumbaugh, I. Jacobson, UML przewodnik uzytkownika, WNT, 2002.

4. Developer Resources for Java Technology, http://www.oracle.com/technetwork/java/index.html

5. Stroustrup B, Jezyk C++, Warszawa, WNT, 1997.

6. Ken Arnold, James Gosling, Java, WNT, Warszawa 1999.

7. Bertrand Meyer, Programowanie zorientowane obiektowo, Helion.

OPIEKUN PRZEDMIOTU

dr Maciej Gebala

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUKurs Programowania



Cele przed-miotu**



W1 K1_W06 K1_W08 K1_W11 K1_W15 C1 Wy1-Wy13 1 2 4 5W2 K1_W06 K1_W08 K1_W15 C1 Wy1-Wy13 1 2 4 5W3 K1_W08 C1 Wy1-Wy13 1 2 4 5U1 K1_U01 K1_U15 K1_U18 K1_U19

K1_U22 K1_U24C1 Lab1-Lab5 3 4 5

U2 K1_U01 K1_U12 K1_U15 K1_U18K1_U21 K1_U22 K1_U24

C1 Lab1-Lab5 3 4 5

U3 K1_U01 K1_U04 K1_U12 K1_U15K1_U19 K1_U21 K1_U22 K1_U24

C1 Lab1-Lab5 3 4 5

U4 K1_U01 K1_U04 K1_U12 K1_U15K1_U22 K1_U24

C1 Lab1-Lab5 3 4 5


1 2 3 4 5

K2 K1_K01 K1_K04 K1_K05 K1_K14 C1 C2 Wy1-Wy13Lab1-Lab5

1 2 3 4 5

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Technologia ProgramowaniaNazwa w jezyku angielskim : Programming TechnologyKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_I03Grupa kursów : TAK


30 15 30


60 60 60


X


1 3


2 1 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIKurs programowania

CELE PRZEDMIOTU

C1 Przedstawienie podstawowych zagadnieniem zwiazanych z technologia oprogramowania

C2 Cwiczenie zagadnien dotyczacych projektowania oprogramowania

C3 Dostarczenie umiejetnosci praktycznych wzorców projektowych, tworzenia oceny i realizacji oprogramowa-nia

1


W1 Posiada wiedze z zakresu modelowania systemów informatycznych oraz zna jezyk UML

W2 Posiada wiedze z zakresu wzorców projektowych

W3 Zna techniki efektywnego programowania sieciowego

W4 Zna metody kontroli jakosci kodu


U1 Potrafi projektowac w jezyku UML

U2 Potrafi dobrac odpowiedni wzorzec projektowy

U3 Potrafi sprawdzic jakosci kodu

U4 Potrafi programowac urzadzenia mobilne oraz wykorzystywac najnowsze technologie


K1 Potrafi prezentowac projekty informatyczne bez uzywania specjalistycznej terminologii

K2 Potrafi stosowac standardowe techniki oraz oprogramowanie do pracy w grupach

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wprowadzenie 2hWy2 Jezyk UML 2hWy3 Projektowanie i analiza obiektowa 4hWy4 Wzorce projektowe 6hWy5 Wprowadzenie do testowania 2hWy6 Techniki efektywnego programowania sieciowego 2hWy7 Wyrazenia regularne oraz analiza składniowa XML 2hWy8 Programowanie aspektowe 2hWy9 Programowanie systemów mobilnych 4hWy10 Programowanie z wykorzystaniem najnowszych technologii 4h

Forma zajec - cwiczeniaCw1 Jezyk UML 4hCw2 Projektowanie obiektowe 7hCw3 Wzorce projektowe 4h

Forma zajec - laboratoriumLab1 Wprowadzenie do programowania w wybranym jezyku np. C++, Java, C 4hLab2 Projektowanie systemów informatycznych w jezyku UML 4hLab3 Wzorce projektowe 6hLab4 Testowanie programów 2hLab5 Programowanie sieciowe 2hLab6 Programowanie aspektowe 2hLab7 Programowanie systemów mobilnych 4hLab8 Programowanie z wykorzystaniem najnowszych technologii 4h

2






5. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W4, K1-K2 BrakF2 U1-U4, K1-K2 KolokwiumF3 U1-U4, K1-K2 Kontrola realizacji list zadanP=0%*F1+50%*F2+50%*F3


1. Bernd Bruegge, Allen H. Dutoit, Inzynieria oprogramowania w ujeciu obiektowym. UML, wzorce projek-towe i Java

2. Erich Gamma, Richard Helm, Ralph, Wzorce projektowe. Elementy oprogramowania obiektowegowielokrotnego uzytku

3. Craig Larman, UML i wzorce projektowe. Analiza i projektowanie obiektowe oraz iteracyjny model wyt-warzania aplikacji

OPIEKUN PRZEDMIOTU

dr Marcin Zawada

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUTechnologia Programowania



Cele przed-miotu**



W1 K1_W01 K1_W06 K1_W08 C1 Wy1-Wy10 1 2 5 6W2 K1_W05 K1_W06 K1_W08 C1 Wy1-Wy10 1 2 5 6W3 K1_W08 K1_W11 C1 Wy1-Wy10 1 2 5 6W4 K1_W15 C1 Wy1-Wy10 1 2 5 6U1 K1_U01 K1_U02 C2 C3 Cw1-Cw3

Lab1-Lab83 4 5 6

U2 K1_U19 K1_U22 K1_U24 C2 C3 Cw1-Cw3Lab1-Lab8

3 4 5 6


3 4 5 6


3 4 5 6


1 2 3 4 5 6


1 2 3 4 5 6

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Bazy Danych i Zarzadzanie InformacjaNazwa w jezyku angielskim : Data Bases and Information ManagementKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_I04Grupa kursów : TAK


30 15 15


60 60 60


X


2 2


2 2 2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIWymagane jest zaliczenie nastepujacego modułu: Wstep do Informatyki i Programowania

CELE PRZEDMIOTU

C1 Przedstawienie podstawowych aspektów systemów baz danych oraz obsługi danych

C2 Praktyczne przecwiczenie podstawowych aspektów zwiazanych z bazami danych

C3 Implementacja podstawowych aspektów zwiazanych z bazami danych w wybranym systemie bazodanowym

1


W1 Zna składnie i komendy jezyka SQL

W2 Zna operatory algebry relacji

W3 Zna mechanizm działania transakcji

W4 Zna pojecia zwiazane z zaleznosciami funkcyjnymi

W5 Zna definicje postaci normalnych relacji


U1 Potrafi posługiwac sie jezykiem SQL

U2 Potrafi obsługiwac system zarzadzania baza danych

U3 Potrafi tworzyc obiekty obsługujace dane w bazie danych

U4 Potrafi przeprowadzic proces normalizacji relacji

U5 Potrafi zaprojektowac baze danych na podstawie analizy biznesowej


K1 Posiada zdolnosc współpracy z innymi specjalistami w zakresie tworzenia i obłsugi baz danych

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Podstawy bazy danych, algebra relacji 2hWy2 Podstawowe komendy SQL 2hWy3 Zaawansowane komendy SQL 2hWy4 Aspekty aktywne baz danych 2hWy5 Aspekty systemowe baz danych 2hWy6 Inne jezyki manipulowania danymi 2hWy7 Projektowanie baz danych 4hWy8 Autoryzacja w bazach danych 2hWy9 Zaleznosci funkcyjne 2hWy10 Normalizacja baz danych 2hWy11 Transakcje w bazach danych 4hWy12 Wykonywanie zapytan w bazach danych 2hWy13 Rozproszone bazy danych 2h

Forma zajec - cwiczeniaCw1 Jezyk SQL 5hCw2 Obiekty bazy danych 2hCw3 Zaleznosci funkcyjne i normalizacja 4hCw4 Projektowanie baz danych 4h

2

Forma zajec - laboratoriumLab1 Zapoznanie sie z system bazodanowym 1hLab2 Jezyk SQL 4hLab3 Obiekty bazy danych 2hLab4 Baza danych dla wybranego zagadnienia 2h






Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W5, K1-K1 Egzamin koncowyF2 U1-U5, K1-K1 Dwa sprawdziany, aktywnoscF3 U1-U5, K1-K1 Rozliczenie sie z zadanych list

zadanP=50%*F1+25%*F2+25%*F3


1. H. Garcia-Molina, J. Ullman, J. Widom - Systemy baz danych. Pełny wykład. WNT

2. J. Ullman - Principles of Database Systems, 1982

3. R. Coburn, SQL dla kazdego, 2001

4. T. Connolly, C. Begg - Systemy baz danych. RM, drugie wydanie

OPIEKUN PRZEDMIOTU

dr Wojciech Macyna

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUBazy Danych i Zarzadzanie Informacja



Cele przed-miotu**



W1 K1_W02 K1_W10 C1 Wy1-Wy13 1 2 3W2 K1_W10 C1 Wy1-Wy13 1 2 3W3 K1_W01 C1 Wy1-Wy13 1 2 3W4 K1_W10 C1 Wy1-Wy13 1 2 3W5 K1_W10 C1 Wy1-Wy13 1 2 3U1 K1_U26 K1_U28 C2 C3 Cw1-Cw4

Lab1-Lab43


3


3


3


3


1 2 3

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Architektura Komputerów i Systemy OperacyjneNazwa w jezyku angielskim : Computer Architecture and Operating SystemsKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_I05Grupa kursów : TAK


60 30 30


90 60 60

Forma zaliczenia egzaminDla grupy kursów zaznaczyc kurs kon-cowy

X


3 3


3 3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIZnajomosc jezyka C oraz podstaw logiki i rachunku zdan.

CELE PRZEDMIOTU

C1 Zapoznanie sie ze struktura i budowa współczesnych procesorów, komputerów i systemów operacyjnych

C2 Umiejetnosc projektowania prostych układów logicznych składajacych sie na budowe procesora

C3 Umiejetnosc programowania mechanizmów systemowych i współpracy z urzadzeniami komputera

1


W1 Zna podstawowe architektury komputerów

W2 Zna podstawowe zasady działania układów logicznych komputera

W3 Zna podstawowe zadania systemów operacyjnych

W4 Zna strukture pamieci komputerów i sposoby zarzadzania nia

W5 Zna strukture stosowanych systemów plików

W6 Zna podstawowe problemy zwiazane ze współbieznoscia procesów i ich synchronizacja


U1 Umie projektowac proste układy logiczne i cyfrowe

U2 Umie zainstalowac i obsłuzyc z poziomu konsoli system operacyjny

U3 Potrafi opracowac i zaimplementowac skrypty wykorzystujace programy systemowe

U4 Potrafi wykorzystac mechanizmy systemu operacyjnego w implementacjach w jezykach wysokiego poziomu

U5 Potrafi za pomoca programów systemowych zdiagnozowac działanie komputera i naprawic system plików


K1 Potrafi w sposób zrozumiały wytłumaczyc budowe i zasade działania komputera

K2 Potrafi zrozumiec i wytłumaczyc działanie systemu operacyjnego komputera

K3 Potrafi zdiagnozowac działanie systemu operacyjnego na komputerze

K4 Potrafi wytłumaczyc działanie systemów plików i niebezpieczenstwa zwiazane z błedami w tych systemach

TRESCI PROGRAMOWE

2

Forma zajec - wykładyWy1 Historia obliczen i architektur komputerowych 2hWy2 Reprezentacja danych 2hWy3 Budowa procesora, modele CISC i RISC 4hWy4 Mikroprogramowanie 2hWy5 Struktura potokowa, problemy synchronizacji 4hWy6 Modele i struktura pamieci, poziomy pamieci, pamiec wirtualna 4hWy7 Komputery wektorowe 2hWy8 Procesory wielowatkowe 2hWy9 Maszyny wirtualne 2hWy10 Podstawy organizacji wejscia i wyjscia, obsługa urzadzen zewnetrznych 4hWy11 Zadania systemów operacyjnych 2hWy12 Procesy i watki, zakleszczenia 4hWy13 Przydział zasobów, buforowanie i synchronizacja 6hWy14 Zarzadzanie pamiecia 4hWy15 Systemy plików, warstwa logiczna i fizyczna 6hWy16 Współbieznosc i synchronizacja procesów, przeciwdziałanie zakleszczeniu 4hWy17 Sieci komputerowe - protokoły DNS, IP, UDP i TCP 4hWy18 Podsumowanie wykładu 2h

Forma zajec - cwiczeniaCw1 Układy logiczne 4hCw2 Minimalizacja funkcji boolowskich metoda tablic Karnaugha 4hCw3 Dekompozycja funkcji boolowskich 4hCw4 Układy synchroniczne 4hCw5 Minimalizacja liczby stanów automatu 4hCw6 Układy asynchroniczne 4hCw7 Projektowanie układów cyfrowych 6h

Forma zajec - laboratoriumLab1 Instalacja systemu operacyjnego, obsługa plików z poziomu konsoli 4hLab2 Obsługa procesów w systemie 2hLab3 Filtry, strumienie i przetwarzanie potokowe 2hLab4 Tworzenie skryptów powłoki systemu operacyjnego 4hLab5 Obsługa plików z poziomu jezyka C 2hLab6 Obsługa procesów z poziomu jezyka C 4hLab7 Obsługa potoków z poziomu jezyka C 2hLab8 Tworzenie i obsługa watków z poziomu jezyka C 4hLab9 Komunikacja miedzyprocesorowa w jezyku C: komunikaty, pamiec współdzielona, semafory 6h






5. Konsultacje


3


Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W6, K1-K4 Egzamin pisemnyF2 U1-U5, K1-K4 Kartkówki, aktywnosc przy

rozwiazywaniu problemówF3 U1-U5, K1-K4 Odbiór zadan programistycznychP=40%*F1+30%*F2+30%*F3


1. D. Patterson, J. Hennessy, Computer Organization and design, Elsevier 2005

2. A. Silberschatz, J.L. Peterson, G. Gagne, Podstawy systemów operacyjnych. WNT, Warszawa 2005.

3. A. S. Tanenbaum, Modern Operating Systems. wydanie 2, Prentice-Hall Inc., 2001

4. W. R. Stevens, Programowania w srodowisku systemu UNIX. WNT, Warszawa 2002

5. L. Bic, A. C. Shaw, The Logical Design of Operating Systems. Prentice-Hall Inc., 1988

6. Hennessy, J. L., and D. A. Patterson. Computer Architecture: A Quantitative Approach, 3rd ed. San Mateo,CA: Morgan Kaufman, 2002

OPIEKUN PRZEDMIOTU

dr Maciej Gebala

4

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUArchitektura Komputerów i Systemy Operacyjne



Cele przed-miotu**



W1 K1_W02 K1_W13 C1 Wy1-Wy18 1 2 5 6W2 K1_W02 K1_W09 K1_W13 C1 Wy1-Wy18 1 2 5 6W3 K1_W06 K1_W09 K1_W13 C1 Wy1-Wy18 1 2 5 6W4 K1_W02 K1_W13 C1 Wy1-Wy18 1 2 5 6W5 K1_W02 K1_W13 C1 Wy1-Wy18 1 2 5 6W6 K1_W02 K1_W13 C1 Wy1-Wy18 1 2 5 6U1 K1_U01 K1_U20 C2 C3 Cw1-Cw7

Lab1-Lab93 4 5 6


3 4 5 6

U3 K1_U01 K1_U15 K1_U23 K1_U27 C2 C3 Cw1-Cw7Lab1-Lab9

3 4 5 6


3 4 5 6


3 4 5 6

K1 K1_K02 K1_K14 C1 C2 C3 Wy1-Wy18Cw1-Cw7Lab1-Lab9

1 2 3 4 5 6

K2 K1_K01 K1_K02 K1_K10 K1_K14 C1 C2 C3 Wy1-Wy18Cw1-Cw7Lab1-Lab9

1 2 3 4 5 6

K3 K1_K02 K1_K13 K1_K14 C1 C2 C3 Wy1-Wy18Cw1-Cw7Lab1-Lab9

1 2 3 4 5 6


1 2 3 4 5 6

5

Zał nr 4 do ZW


Nazwa w jezyku polskim : Technologie SiecioweNazwa w jezyku angielskim : Network TechnologiesKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_I06Grupa kursów : TAK


15 30


30 90


X


3


1 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIZnajomosc algorytmów i struktur danych. Umiejetnosc programowania w wybranym jezyku.

CELE PRZEDMIOTU

C1 Omówienie podstaw sieci LAN i WAN. Przedstawienie architektury Internetu oraz protokołów komunika-cyjnych.

C2 Przekazanie podstaw tworzenia aplikacji sieciowych wykorzystujacych rózne protokoły komunikacyjne

1


W1 Zna aspekty wymiany danych w sieciach lokalnych na przykładzie Ethernetu.

W2 Zna model sieci rozległej oraz protokoły wykorzystywane w intersieci.

W3 Zna architekture systemów klient serwer i wielowarstwowych systemów rozproszonych.


U1 Potrafi posługiwac sie wprowadzonymi na wykładzie pojeciami dotyczacymi modeli sieci i protokołów.

U2 Potrafi symulowac programowo działanie wybranych warstw stosu protokołów

U3 Potrafi tworzyc systemy sieciowe klient serwer złozone z wielu komponentów


K1 Potrafi omówic architekture sieci lokalnej i rozległej w sposób powszechnie zrozumiały

K2 Rozumie potrzebe: stosowania wielu współdziałajacych protokołów, tworzenia rozproszonych aplikacjisieciowych

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wprowadzenie do sieci komputerowych. 1hWy2 Architektura sieci. 1hWy3 Warstwa fizyczna. 1hWy4 Warstwa łacza danych. 1hWy5 Podwarstwa LLC. 1hWy6 Warstwa sieciowa. 1hWy7 Algorytmy trasowania. 1hWy8 Warstwa transportowa 1hWy9 Architektura systemów WWW 1hWy10 Protokół HTTP. 1hWy11 Model warstwy klienta 1hWy12 Technologie warstwy serwera 1hWy13 Techniki Java 1hWy14 Usługi rozproszone. 1hWy15 Systemy zarzadzania trescia CMS. 1h

2

Forma zajec - laboratoriumLab1 Testowanie sieci 2hLab2 Modelowanie sieci 2hLab3 Ramkowanie 2hLab4 Symulowanie sieci lokalnej. 2hLab5 Symulowanie sieci rozległej. 2hLab6 Symulowanie niezawodnego transportu 2hLab7 Protokół HTTP. 2hLab8 Wstep do programowania klient serwer. 2hLab9 Programowanie klient serwer. 2hLab10 Programowanie klienta 2hLab11 Programowanie serwera 2hLab12 Obsługa zadan HTTP. 2hLab13 Przesyłanie plików do serwera. 2hLab14 Programowanie usług WebService. 2hLab15 Obsługa SOAP, WSDL. 2h






Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W3, K1-K2 EgzaminF2 U1-U3, K1-K2 Srednia ocen z list zadanP=50%*F1+50%*F2


1. Andrew S. Tanenbaum: Sieci komputerowe.

2. Douglas E. Comer: Sieci komputerowe i intersieci.

3. Douglas E. Comer: Sieci komputerowe TCP/IP.

4. http://docs.oracle.com/javase/tutorial/networking/

OPIEKUN PRZEDMIOTU

dr Łukasz Krzywiecki

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUTechnologie Sieciowe



Cele przed-miotu**



W1 K1_W02 K1_W11 C1 Wy1-Wy15 1 3W2 K1_W03 K1_W11 C1 Wy1-Wy15 1 3W3 K1_W02 K1_W09 K1_W11 C1 Wy1-Wy15 1 3U1 K1_U01 K1_U32 C1 Lab1-Lab15 2 3U2 K1_U01 K1_U09 K1_U17 K1_U22 C1 Lab1-Lab15 2 3U3 K1_U01 K1_U03 K1_U09 K1_U17

K1_U19 K1_U21 K1_U22C1 Lab1-Lab15 2 3

K1 K1_K14 C1 C2 Wy1-Wy15Lab1-Lab15

1 2 3


1 2 3

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Algorytmy i Struktury DanychNazwa w jezyku angielskim : Algorithms adn Data StructuresKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_I07Grupa kursów : TAK


45 30 15


85 50 45


X


2 1


3 2 1

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIModuł wymaga znajomosci narzedzi matematycznych wprowadzonych na analizie matematycznej, algebrze,rachunku prawdopodobienstwa oraz matematyce dyskretnej. Moduł wymaga równiez znajomosci co najmniejjednego jezyka programowania, np. C, C++ lub Java.

CELE PRZEDMIOTU

C1 Poznanie podstawowych algorytmów i struktur danych, nauka metodologii budowy algorytmów i strukturdanych, nauka teorii analizy algorytmów i struktur danych

C2 Praktyczne opanowanie algorymtów i struktur danych omówionych na wykładzie, opanowanie metodologiibudowy algorytmów i struktur danych, opanowanie praktycznej analiza algorytmów i struktur danych

C3 Budowa implementacyjna przedstawionych na wykładzie algorytmów i struktur danych

1


W1 Zna algorytmy sortowania w modelu komparatywnym, algorytmy sortowania o złozonosci liniowej, algo-rytmy wyznaczania statystyki pozycyjnej oraz ich złozonosci obliczeniowe

W2 Zna metodologie budowy oraz analizy złozonosci obliczeniowej algorytmów typu dziel i zwyciezaj, pro-gramowanie dynamiczne, algorytmy zachłanne

W3 Zna struktury danych takie jak: stos, kolejka, lista, kopiec binarny, drzewo BST, drzewo czerwono-czarne,skip lista, kopiec Fibonacci’ego, drzewo van Emde Boas


U1 Potrafi wybrac znany algorytm, zmodyfikowac znany algorytm lub zbudowac nowy algorytm odpowiedni dorozwiazania stawianego problemu informatycznego, a nastepnie zaimplementowac go

U2 Potrafi przeprowadzic analize wybranych algorytmów

U3 Potrafi wybrac znana strukture danych lub zmodyfikowac znana strukture danych odpowiedna do wybranegozastosowania informatycznego, a nastepnie zaimplementowac ja

U4 Potrafi przeprowadzic analize wybranych struktur danych


K1 Rozumie potrzebe stosowania odpowiednich algorytmów i struktur danych w celu optymalizacji działaniasystemów informatycznych

K2 Wie jak stopien komplikacji rozwiazania informatycznego wpływa na mozliwosc jego analizy

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Podstawowe pojecia algorytmiki, pierwszy problem algorytmiczny 2hWy2 Notacja asymptotyczna 2hWy3 Rozwiazywanie równan rekurencjnych 3hWy4 Metodologia dziel i zwyciezaj, analiza złozonosci obliczeniowej 3hWy5 Quick Sort 4hWy6 Kopiec 3hWy7 Dolne ograniczenie na złozonosc obliczeniowa sortowania. 1hWy8 Sortowanie w czasie liniowym 2hWy9 Statystyki pozycyjne 4hWy10 Programowanie dynamiczne, analiza złozonosci obliczeniowej 2hWy11 Algorytmy zachłanne, analiza złozonosci obliczeniowej 2hWy12 Podstawowe struktury danych 1hWy13 Drzewo BST 4hWy14 Drzewo czerwono-czarne 2hWy15 Skip lista 2hWy16 Metodologia wzbogacania struktur danych 2hWy17 Koszt zamortyzowany 2hWy18 Kopce Fibonacci’ego 2hWy19 Podstawy teorii złozonosci obliczeniowej 2h

2

Forma zajec - cwiczeniaCw1 Notacja asymptotyczna 4hCw2 Rozwiazywanie rekurencji 2hCw3 Metodologia dziel i zwyciezaj, analiza złozonosci obliczeniowej 4hCw4 Probabilistyczna analiza algorytmów 2hCw5 Algorytmy sortujace 4hCw6 Programowanie dynamiczne 2hCw7 Algorytmy zachłanne 2hCw8 Podstawowe struktury danych 2hCw9 Drzewo BST 2hCw10 Drzewa czerwono-czarne, skip listy. 2hCw11 Wzbogacanie struktur danych 2hCw12 Koszt zamortyzowany, kopce Fiboncci’ego 2h

Forma zajec - laboratoriumLab1 Algorytmy sortujace 4hLab2 Statystyki pozycyjne 2hLab3 Progamowanie dynamiczne 2hLab4 Algorytmy zachłanne 2hLab5 Struktury danych I 2hLab6 Struktury danych II 3h





4. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W3, K1-K2 EgzaminF2 U1-U4, K1-K2 2 kolokwiaF3 U1-U4, K1-K2 Ocena zadan implementacyjnychP=50%*F1+30%*F2+20%*F3

3


1. T.H. Cormen, Ch. E. Leiserson, R. L. Rivest, Wprowadzenie do algorytmów, WNT

2. D. E. Knuth, Sztuka programowania, tom I i III, WNT

3. R. Sedgewick, Algorithms, Addison Wesley Publishing Company (dostepna w wersji webowej na stroniehttp://algs4.cs.princeton.edu)

4. S. Dasgupta, C. H. Papadimitriou, U. V. Vazirani, Algorithms, McGraw-Hill Science/Engineering/Math;1 edition (September 13, 2006), (dostepna czesciowo na stronie http://www.cs.berkeley.edu/ vazi-rani/algorithms.html)

5. R. L. Graham, D. E. Knuth, O. Patashnik, Matematyka konkretna, PWN

OPIEKUN PRZEDMIOTU

dr Zbigniew Gołebiewski

4

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUAlgorytmy i Struktury Danych



Cele przed-miotu**



W1 K1_W03 C1 Wy1-Wy19 1 4 5W2 K1_W01 K1_W03 K1_W04 K1_W05 C1 Wy1-Wy19 1 4 5W3 K1_W06 C1 Wy1-Wy19 1 4 5U1 K1_U01 K1_U02 K1_U06 K1_U15

K1_U17C2 C3 Cw1-Cw12

Lab1-Lab62 3 4 5


2 3 4 5

U3 K1_U01 K1_U02 K1_U06 K1_U15K1_U17

C2 C3 Cw1-Cw12Lab1-Lab6

2 3 4 5


2 3 4 5


1 2 3 4 5


1 2 3 4 5

5

Zał nr 4 do ZW


Nazwa w jezyku polskim : Programowanie ZespołoweNazwa w jezyku angielskim : Group ProgrammingKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_I08Grupa kursów : TAK


30


120


X

Liczba punktów ECTS 2w tym liczba odpowiadajaca zajeciom ocharakterze praktycznym (P)

2


2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIZaliczony kurs Wstep do Programowania lub podobny. Znajomosc podstaw technik potrzebnych do implemen-tacji relacyjnych baz danych oraz podstaw protokołów sieciowych.

CELE PRZEDMIOTU

C1 Celem jest przygotowanie studentów do zespołowej pracy programistycznej

1


W1 Wiedza z zakresu podstawowych metodyk pracy zespołowej w tworzeniu oprogramowania


U1 Umie zaprojektowac system sredniej wielkosci.

U2 Potrafi implemetowac sredniej wielkosci systemy informatyczne

U3 Potrafi stworzyc dokumentacje techiczna stworzonego systemu

U4 Potrafi testowac system informatyczny.


K1 Potrafi współpracowac przy tworzeniu projektu programistycznego

K2 Potrafi zaprezentowac produkt programistyczny oraz szkolic uzytkowników

TRESCI PROGRAMOWE

Forma zajec - laboratoriumLab1 Przygotowanie do stworzenia projektu 2hLab2 Projekt 8hLab3 Stworzenie kodu programu 14hLab4 Testowanie i walidacja 4hLab5 Wdrozenie systemu 2h


1. Tworzenie projektów programistycznych



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W1, U1-U4, K1-K2 Ocen jakosci koduP=100%*F1


1. Literature do przedmiotu stanowi dokumentacja wykorzystywanych narzedzi programistycznych

OPIEKUN PRZEDMIOTU

dr Marek Klonowski

2

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUProgramowanie Zespołowe



Cele przed-miotu**



W1 K1_W04 K1_W05 K1_W15 K1_W17 C1 Lab1-Lab5 2U1 K1_U02 K1_U08 K1_U15 K1_U19 C1 Lab1-Lab5 1 2U2 K1_U01 K1_U03 K1_U10 K1_U17

K1_U18 K1_U19 K1_U20C1 Lab1-Lab5 1 2

U3 K1_U03 K1_U04 K1_U07 K1_U08 C1 Lab1-Lab5 1 2U4 K1_U03 K1_U09 K1_U10 K1_U11

K1_U17C1 Lab1-Lab5 1 2

K1 K1_K01 K1_K06 K1_K07 K1_K15 C1 Lab1-Lab5 1 2K2 K1_K01 K1_K04 K1_K06 K1_K14 C1 Lab1-Lab5 1 2

3

Zał nr 4 do ZW


Nazwa w jezyku polskim : Obliczenia NaukoweNazwa w jezyku angielskim : Scientific Computing.Kierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_I09Grupa kursów : TAK


30 15 15


60 30 30


X


1 1


2 1 1

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIAnaliza Matematyczna I i II, Algebra z Geometria Analityczna

CELE PRZEDMIOTU

C1 Omówienie wybranych metod numerycznych dotyczacych interpolacji, aproksymacji, numerycznej algebryliniowej, obliczania zer funkcji i rozwiazywania równan rózniczkowych

C2 Opanowanie i teoretyczna analiza metod numerycznych omawianych na wykładzie

C3 Komputerowa realizacja i testowanie metod numerycznych omawianych na wykładzie

1


W1 Zna arytmetyke zmiennopozycyjna, analize błedów zaokraglen. Zna i rozumie pojecia: zadania zleuwarunkowanego, algorytmu stabilnego, algorytmu numerycznie poprawnego.

W2 Zna metody: interpolacji wielomianowej, rozwiazywania układów równan liniowych, obliczania odwrot-nosci macierzy, całkowania i rózniczkowania numerycznego. Zna podstawowe metody: obliczania zerfunkcji i wielomianów, aproksymacji sredniokwadratowej, rozwiazywania równan rózniczkowych zwycza-jnych.


U1 Potrafi reprezentowac dane w arytmetyce zmiennopozycyjnej i wykonywac operacje zmiennopozycyjne.Potrafi przeprowadzic analize błedów zaokraglen prostych algorytmów numerycznych. Potrafi zbadacuwarunkowanie prostych problemów numerycznych.

U2 Potrafi rozwiazywac podstawowe zagadnienia metod numerycznych

U3 Potrafi zaprogramowac i przeprowadzic numeryczne eksperymenty obliczeniowe oceniajace numerycznewłasnosci zadan i algorytmów.


K1 Potrafi omówic w sposób powszechnie zrozumiały podstawowe zagadnienia metod numerycznych.

K2 Rozumie potrzebe stosowania metod numerycznych w informatyce, praktyce.

TRESCI PROGRAMOWE

2

Forma zajec - wykładyWy1 Arytmetyka zmiennopozycyjna, standard IEEE, analiza błedów zaokraglen, analiza prostych

algorytmów2h

Wy2 Zadanie zle uwarunkowane, wskaznik uwarunkowania zadania, uwarunkowanie zadaniarozwiazywania układu równan liniowych

2h

Wy3 Interpolacja wielomianowa Lagrange‘a, reszta, iloraz róznicowy. 2hWy4 Wzór interpolacyjny Newtona, wielomiany Czebyszewa, wezły Czebyszewa, informacja o

funkcjach sklejanych2h

Wy5 Iteracyjne metody obliczania zer funkcji: metoda bisekcji, metody Newtona i siecznych, rzadmetody

2h

Wy6 Obliczanie pierwiastków wielomianów, lokalizacja pierwiastków, algorytm Hornera, deflacjaczynnikiem liniowym, zastosowanie metody Newtona do obliczania pierwiastków wielomi-anu

2h

Wy7 Rozwiazywanie układu równan liniowych, numeryczna realizacja eliminacji Gaussa, wybórelementów głównych, rozkład LU, numeryczne obliczanie odwrotnosci macierzy

2h

Wy8 Iteracyjne metody rozwiazywania układu równan liniowych, zbieznosc ciagu macierzy,metody Jacobiego i Gaussa-Seidla

2h

Wy9 Iloczyn skalarny, rzut ortogonalny na podprzestrzen liniowa, wielomiany ortogonalne,zwiazek rekurencyjny spełniany przez wielomiany ortogonalne

2h

Wy10 Przyblizanie funkcji, aproksymacja sredniokwadratowa za pomoca wielomianów, n-ty wielo-mian optymalny

2h

Wy11 Zadanie najmniejszych kwadratów - układ normalny, macierz Grama 2hWy12 Kwadratura interpolacyjna, rzad kwadratury, wzory trapezów i Simpsona 2hWy13 Wzory złozone trapezów i Simpsona, numeryczne rózniczkowanie 2hWy14 Ekstrapolacja 2hWy15 Metody Rungego Kutty rozwiazywania równan rózniczkowych zwyczajnych 2h

Forma zajec - cwiczeniaCw1 Arytmetyka zmiennopozycyjna 2hCw2 Analiza błedów zaokraglen 2hCw3 Interpolacja wielomianowa 2hCw4 Iteracyjne metody obliczania zer funkcji i wielomianów 2hCw5 Układy równan liniowych 2hCw6 Aproksymacja sredniokwadratowa 2hCw7 Kwadratury i obliczanie numeryczne pochodnych 2hCw8 Kolokwium 1h

Forma zajec - laboratoriumLab1 Srodowisko Octava (Matlaba) 3hLab2 Błedy zaokraglen i uwarunkowanie zadania 4hLab3 Interpolacja 2hLab4 Iteracyjne metody obliczania zer funkcji 2hLab5 Układy równan liniowych 2hLab6 Aproksymacja sredniokwadratowa 2h

3






5. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W2, K1-K2 Egzamin koncowyF2 U1-U3, K1-K2 Kolokwium zaliczenioweF3 U1-U3, K1-K2 Realizacja list zadanP=40%*F1+30%*F2+30%*F3


1. D. Kincaid, W. Cheney, Analiza numeryczna, WNT, 2005

2. A. Kiełbasinski, H. Schwetlick, Numeryczna algebra liniowa, WNT, 1993

3. J. Stoer, R. Bulirsch, Wstep do analizy numerycznej, PWN, 1987

4. C. B. Moler, Numerical Computing with MATLAB, SIAM 2004

5. M. T. Heath, Scientific Computing. An Introduction Survey, McGraw Hill 2002

6. Octave, http://www.octave.org/

OPIEKUN PRZEDMIOTU

dr hab. Paweł Zielinski

4

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUObliczenia Naukowe



Cele przed-miotu**



W1 K1_W02 K1_W04 K1_W13 C1 Wy1-Wy15 1 2 5 6W2 K1_W12 C1 Wy1-Wy15 1 2 5 6U1 K1_U17 C2 C3 Cw1-Cw8

Lab1-Lab63 4 5 6


3 4 5 6


3 4 5 6


1 2 3 4 5 6


1 2 3 4 5 6

5

Zał nr 4 do ZW


Nazwa w jezyku polskim : Jezyki Formalne i Techniki TranslacjiNazwa w jezyku angielskim : Formal Languages and Translation TechniquesKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_I10Grupa kursów : TAK


30 15 15


45 30 45


X


2 2


2 2 2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIModuł wymaga wstepnie podstawowej wiedzy z teorii mnogosci (zbiory, relacje) oraz algorytmów i strukturdanych (grafy, drzewa). Wymagana jest takze znajomosc jezyka programowania C.

CELE PRZEDMIOTU

C1 Zapoznanie z podstawami teorii jezyków formalnych i technik translacji

C2 Nabycie umiejetnosci operowania jezykami regularnymi i bezkontekstowymi

C3 Zaprojektowanie i zaimplementowanie prostego kompilatora

1


W1 Zna pojecie jezyk regularny, jego podstawowe własnosci i sposoby wyrazania jako automatu skonczonegolub wyrazenia regularnego

W2 Zna pojecie jezyk bezkontekstowy, jego podstawowe własnosci i sposoby opisu przez gramatyki i automatyze stosem

W3 Zna podstawowe metody konstruowania parserów


U1 Potrafi okreslic stopien trudnosci rozpoznawania i opisania danego jezyka formalnego

U2 Potrafi wykorzystac narzedzia do budowy parserów i prostych kompilatorów


K1 Rozumie stopien komplikacji zagadnien zwiazanych z przetwarzaniem danych

K2 Potrafi wyjasnic podstawowe zagadnienia zwiazane z technikami translacji i ich zastosowaniami

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Pojecia podstawowe. Automat skonczony 2hWy2 Równowaznosc klasy jezyków rozpoznawanych przez DFA i NFA oraz definiowanych przez

RE. Minimalny DFA2h

Wy3 Własnosci jezyków regularnych. Analiza leksykalna 2hWy4 Gramatyki bezkontekstowe. Ich postacie normalne 2hWy5 Automat ze stosem (PDA). Równowaznosc PDA i gramatyk bezkontekstowych 2hWy6 Własnosci jezyków bezkontekstowych 2hWy7 Budowa kompilatora. Analiza składniowa 2hWy8 Gramatyki typu LL(k) 2hWy9 Analiza wstepujaca. Gramatyki typu LR(k) 2hWy10 Gramatyki SLR, LR(1) i LALR 2hWy11 Translacja sterowana składnia i zaleznosci kontekstowe 2hWy12 Synteza kodu i srodowisko czasu wykonania 2hWy13 Hierarchia Chomsky’ego 2hWy14 Wstep do teorii obliczen 2hWy15 Podsumowanie wykładu 2h

Forma zajec - cwiczeniaCw1 Alfabety, słowa i jezyki 1hCw2 Automaty skonczone i wyrazenia regularne 2hCw3 Minimalizacja automatów i dowody na nalezenie lub nienalezenie do jezyków regularnych 2hCw4 Własnosci gramatyk bezkontekstowych 2hCw5 Automaty ze stosem. Dowody na nalezenie lub nienalezenie do jezyków bezkontekstowych 2hCw6 Parsery zstepujace 2hCw7 Parsery wstepujace 2hCw8 Gramatyki atrybutowe i reguły translacji 2h

2

Forma zajec - laboratoriumLab1 Implementacja analizatora leksykalnego 4hLab2 Implementacja analizatora składniowego 4hLab3 Projekt programistyczny - kompilator 7h






5. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W3, K1-K2 EgzaminF2 U1-U2, K1-K2 Kartkówki, aktywnosc przy tablicyF3 U1-U2, K1-K2 Projekt programistycznyP=40%*F1+20%*F2+40%*F3


1. J.E. Hopcroft, R. Motwani, J.D. Ullman, Wprowadzenie do teorii automatów, jezyków i obliczen, WNT,Warszawa 2005 (ISBN 83-01-14502-1)

2. J.E. Hopcroft, J.D. Ullman, Wprowadzenie do teorii automatów, jezyków i obliczen, WNT, Warszawa 1994(ISBN 83-01-11298-0)

3. A.V. Aho, R. Sethi, J.D. Ullman, Kompilatory. Reguły, metody i narzedzia, WNT, Warszawa 2002, (ISBN:83-204-2656-1)

4. flex: The Fast Lexical Analyzer (http://flex.sourceforge.net/)

5. Bison - GNU parser generator (http://www.gnu.org/software/bison/)

OPIEKUN PRZEDMIOTU

dr Maciej Gebala

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUJezyki Formalne i Techniki Translacji



Cele przed-miotu**



W1 K1_W01 K1_W07 C1 Wy1-Wy15 1 5 6W2 K1_W01 K1_W07 C1 Wy1-Wy15 1 5 6W3 K1_W05 K1_W07 K1_W08 K1_W13 C1 Wy1-Wy15 1 5 6U1 K1_U10 K1_U31 C2 C3 Cw1-Cw8

Lab1-Lab32 3 4 5 6


2 3 4 5 6


1 2 3 4 5 6


1 2 3 4 5 6

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Systemy WbudowaneNazwa w jezyku angielskim : Embedded SystemsKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_I11Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIUmiejetnosc programowania moze ułatwic przyswojenie kolejnego jezyka. Znajomosc tresci przedmiotu Ar-chitektura Komputerów i Systemy Operacyjne

CELE PRZEDMIOTU

C1 zapoznanie z metodami budowy i wykorzystania układów wbudowanych

C2 Nauczenie metod projektowania układów w technologii FPGA

1


W1 posiada wiedze pozwalajaca na zrozumienie sposobu działania procesora

W2 posiada wiedze dotyczaca sposobu organizacji współpracy urzadzen

W3 posiada wiedze na temat technik konstruowania urzadzen jednozadaniowych

W4 posiada wiedze na temat układów programowalnych i jezyków programowania umozliwiajaca tworzeniewłasnych aplikacji

W5 posiada wiedze na temat modeli teoretycznych dla opisu złozonych systemów wbudowanych

W6 posiada wiedze na temat metod realizacji zadan krytycznych czasowo

W7 zna techniki sterowania urzadzeniami przez systemy wbudowane


U1 potrafi zaprojektowac proste procesory jednozadaniowe

U2 potrafi przeanalizowac oraz zaprojektowac niskopoziomowy protokół komunikacyjny

U3 potrafi postepowac zgodnie ze standardowa metodyka realizacji systemów wbudowanych

U4 potrafi posługiwac sie standardowymi narzedziami/jezykami słuzacymi do opisu urzadzen wbudowanych

U5 potrafi wykorzystywac teoretyczne modele procesów realizowanych przez urzadzenia wbudowane

U6 potrafi wykorzystywac techniki szeregowania zadan i realizowac systemy czasu rzeczywistego

U7 potrafi realizowac proste kontrolery

U8 potrafi przeanalizowac sposób pracy i wykorzystac interfejs prostych urzadzen elektronicznych

U9 potrafi zaprojektowac i zaimplementowac prosty system wbudowany za pomoca układów FPGA


K1 posiada swiadomosc mozliwosci wykorzystania technologii i potrafi przekazac wiedze na ten temat

K2 umiejetnosc zarzadzania cyklem zyciowym systemów wbudowanych

K3 posiada umiejetnosc współpracy ze specjalistami z innych zaawansowanych dziedzin wiedzy technicznej

K4 w projekcie, potrafi uwzgledniac czynniki zwiazane z ergonomia i ochrona srodowiska

TRESCI PROGRAMOWE

2

Forma zajec - wykładyWy1 Wprowadzenie 2hWy2 Zasady projektowania 2hWy3 Architektura procesora jednozadaniowego 4hWy4 Projektowanie procesora jednozadaniowego 2hWy5 Urzadzenia peryferyjne i pamiec 2hWy6 Protokoły transmisji danych, interfacing 2hWy7 Architektury programowalnych układów logicznych 2hWy8 Metodyka projektowania systemów wbudowanych 2hWy9 Jezyki opisu hardware’u 2hWy10 Modelowanie 6hWy11 Systemy czasu rzeczywistego, szeregowanie zadan 2hWy12 Systemy kontrolne 2h

Forma zajec - laboratoriumLab1 Wprowadzenie 2hLab2 Podstawy budowy modułowej 2hLab3 Implementacja automatu skonczonego 4hLab4 Klawiatura 16 przyciskowa 2hLab5 Ulotna pamiec RAM 2hLab6 Wyswietlacz LCD 2hLab7 Projekt koncowy 16h






5. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W7, K1-K4 Egzamin koncowyF2 U1-U9, K1-K4 Wykonanie projektuP=50%*F1+50%*F2


1. Embedded System Design. Peter Marwedel, ISBN:ISBN-10 3-540-34048-3

2. Układy FPGA w przykładach. Jacek Majewski, Piotr Zbysinski

3. ISE WebPack in-depth tutorial. Xilinx.com

OPIEKUN PRZEDMIOTU

mgr inz. Przemysław Błaskiewicz

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUSystemy Wbudowane

Z EFEKTAMI KSZTAŁCENIA NA KIERUNKU INFORMATYKA

4

Przedmiotowyefekt ksz-tałcenia


Cele przed-miotu**



W1 K1_W01 K1_W02 K1_W05 K1_W07K1_W11 K1_W12 K1_W13 K1_W14K1_W16

C1 Wy1-Wy12 1 2 5 6

W2 K1_W01 K1_W02 K1_W05 K1_W11K1_W13

C1 Wy1-Wy12 1 2 5 6

W3 K1_W02 K1_W04 K1_W15 C1 Wy1-Wy12 1 2 5 6W4 K1_W02 K1_W04 K1_W05 K1_W08 C1 Wy1-Wy12 1 2 5 6W5 K1_W01 K1_W04 K1_W05 K1_W07 C1 Wy1-Wy12 1 2 5 6W6 K1_W01 K1_W04 K1_W05 C1 Wy1-Wy12 1 2 5 6W7 K1_W01 K1_W04 K1_W05 C1 Wy1-Wy12 1 2 5 6U1 K1_U01 K1_U03 K1_U04 K1_U06

K1_U09 K1_U15 K1_U16 K1_U17K1_U20 K1_U22 K1_U24 K1_U26K1_U30 K1_U32

C1 Lab1-Lab7 3 4 5 6

U2 K1_U01 K1_U02 K1_U04 K1_U06K1_U09 K1_U15 K1_U17 K1_U20K1_U22 K1_U24 K1_U29 K1_U30K1_U32

C1 Lab1-Lab7 3 4 5 6


C1 Lab1-Lab7 3 4 5 6

U4 K1_U01 K1_U02 K1_U04 K1_U09K1_U12 K1_U15 K1_U17 K1_U18K1_U19 K1_U20 K1_U22 K1_U32

C1 Lab1-Lab7 3 4 5 6

U5 K1_U01 K1_U02 K1_U04 K1_U10K1_U15 K1_U17 K1_U18 K1_U19K1_U20 K1_U21 K1_U31

C1 Lab1-Lab7 3 4 5 6

U6 K1_U01 K1_U04 K1_U09 K1_U11K1_U15 K1_U17 K1_U18 K1_U19K1_U20 K1_U22 K1_U32

C1 Lab1-Lab7 3 4 5 6


C1 Lab1-Lab7 3 4 5 6


C1 Lab1-Lab7 3 4 5 6

U9 K1_U01 K1_U02 K1_U04 K1_U09K1_U10 K1_U11 K1_U15 K1_U18K1_U19 K1_U20 K1_U21 K1_U22K1_U26 K1_U27 K1_U32

C1 Lab1-Lab7 3 4 5 6

K1 K1_K01 K1_K02 K1_K05 K1_K12K1_K13 K1_K14


1 2 3 4 5 6

K2 K1_K06 K1_K07 K1_K08 K1_K09K1_K11


1 2 3 4 5 6

K3 K1_K01 K1_K04 K1_K08 K1_K10K1_K11 K1_K12 K1_K13 K1_K15


1 2 3 4 5 6


1 2 3 4 5 6

5

Zał nr 4 do ZW


Nazwa w jezyku polskim : Projekt DyplomowyNazwa w jezyku angielskim : Diploma projectKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_I13Grupa kursów : TAK

Wykład Cwiczenia Laboratorium Projekt SeminariumLiczba godzin zajec zorganizowanych wUczelni (ZZU)Liczba godzin całkowitego nakładu pracystudenta (CNPS)

450


X


15

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIDopuszczenie do siódmego semestru studiów.

CELE PRZEDMIOTU

C1 Realizacja projektu dyplomowego oraz sprawdzenie umiejetnosci samodzielnej pracy studenta


W1 Opanuje nowe narzedzia informatyczne

W2 Ma opanowane metody pisania dokumentacji


U1 Potrafi samodzielnie zbudowac poprawnie działajaca aplikacje

U2 Potrafi samodzielnie napisac dokumentacje zbudowanej aplikacji


K1 Wykazuje sie samodzielnoscia zawodowa

K2 Potrafi prezentowac nowe rozwiazania informatyczne

K3 Rozumie zasady ochrony własnosci intelektualnej

1

TRESCI PROGRAMOWE

Moduł poswiecony realizacji projektu dyplomowego inzynierskiego. W jego skład typowo wchodzi: zbudowanieustalonej z opiekunem aplikacji, przetestowanie jej poprawnosci oraz spisanie jej dokumentacji. Mozliwe saodstepstwa od tej reguły, jednak tylko w uzgodnieniu z Komisja Programowa kierunku Informatyka.



2. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W2, U1-U2, K1-K3 Ocena jakosci wykonania projektu i

jego dokumentacjiP=100%*F1


1. Literatura merytoryczna uzgodniona z opiekunem pracy dyplomowej

2. Literatura techniczna uzgodniona z opiekunem pracy dyplomowej

OPIEKUN PRZEDMIOTU

prof. Jacek Cichon

2

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUProjekt Dyplomowy



Cele przed-miotu**



W1 K1_W05 K1_W06 C1 2 3W2 K1_W14 K1_W15 K1_W16 C1 2 3U1 K1_U03 K1_U06 K1_U15 K1_U17

K1_U19 K1_U21 K1_U24 K1_U32C1 1 2 3

U2 K1_U01 K1_U15 K1_U22 K1_U32 C1 1 2 3K1 K1_K01 K1_K04 K1_K08 K1_K09

K1_K11 K1_K12 K1_K13C1 1 2 3

K2 K1_K02 K1_K14 C1 1 2 3K3 K1_K04 K1_K10 C1 1 2 3

3

Zał nr 4 do ZW


Nazwa w jezyku polskim : Seminarium DyplomoweNazwa w jezyku angielskim : Diploma SeminarKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_I14Grupa kursów : TAK


30


90


X

Liczba punktów ECTS 2w tym liczba odpowiadajaca zajeciom ocharakterze praktycznym (P)

2


2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJI

CELE PRZEDMIOTU

C1 Opanowanie techniki realizacji projektu dyplomowego (realizacji projektu, napisanie dokumentacji projektu,przygotowanie prezentacji)

1


W1 Zna zasady dokumentowania projektów informatycznych


U1 Potrafi sie posługiwac jezykiem Latex w stopniu wystarczajacym do napisania dokumentacji projektu in-zynierskiego

U2 Potrafi przygotowywac krótka prezentacje

U3 Potrafi wygłosic krótki wykład


K1 Rozumie pojecie plagiatu

K2 Potrafi w sposób zwiezły przedstawic projekt informatyczny

TRESCI PROGRAMOWE

Forma zajec - seminariumSem1 Zasady pisania prac dyplomowych 2hSem2 Omawianie tematów prac 8hSem3 Dyskusje na temat postepów prac 10hSem4 Zasady budowania prezentacji 2hSem5 Prezentacje uczestników seminarium 10h




3. Prezentacje multimedialne studentów



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W1, U1-U3, K1-K2 Wygłoszenie dwóch multimedial-

nych referatówP=100%*F1

2


1. Podrecznik jezyka Latex

2. Instrukcja obsługi klasy beamer

3. Profesjonalna dodatkowa lektura zwiazana z celem realizowanego projektu dyplomowego uczestnika sem-inarium

OPIEKUN PRZEDMIOTU

prof. Jacek Cichon

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUSeminarium Dyplomowe



Cele przed-miotu**



W1 K1_W15 K1_W16 C1 Sem1-Sem5 4U1 K1_U01 K1_U02 K1_U12 K1_U15

K1_U22 K1_U32C1 Sem1-Sem5 1 2 3 4

U2 K1_U02 K1_U21 K1_U22 K1_U26K1_U32

C1 Sem1-Sem5 1 2 3 4

U3 K1_U02 K1_U06 K1_U15 K1_U18 C1 Sem1-Sem5 1 2 3 4K1 K1_K10 K1_K12 C1 Sem1-Sem5 1 2 3 4K2 K1_K02 K1_K13 K1_K14 C1 Sem1-Sem5 1 2 3 4

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Wprowadzenie do Funkcji ZespolonychNazwa w jezyku angielskim : Introduction to Complex FunctionsKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W01Grupa kursów : TAK


30 30


75 105


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIUkonczenie kursu Analiza Matematyczna 1 i Algebra 1 z ocena pozytywna

CELE PRZEDMIOTU

C1 Omówienie podstawowych pojec, twierdzen oraz metod analizy matematycznej funkcji jednej zmiennej ze-spolonej

C2 Praktyczne opanowanie podstawowych metod analizy funkcji jednej zmiennej zespolonej (granice ciagów ifunkcji, rózniczkowanie, całkowanie, punkty osobliwe)

1


W1 Zna pojecie granicy ciagu, szeregu, granicy funkcji, ciagłosci funkcji i pochodnej jednej zmiennej zespolonej

W2 Zna pojecie całki funkcji zespolonej


U1 Potrafi posługiwac sie metodami rachunku rózniczkowego funkcji zmiennej zespolonej.

U2 Potrafi posługiwac sie metodami rachunku całkowego funkcji zmiennej zespolonej.


K1 Rozumie potrzebe stosowania metod analizy zespolonej w informatyce.

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Liczby zespolone 2hWy2 Ciagi i szeregi o wyrazach zespolonych 2hWy3 Funkcje zmiennej zespolonej 2hWy4 Granice funkcji i ciagłosc 2hWy5 Pochodna funkcji 2hWy6 Całkowanie I 2hWy7 Wzór całkowy Cauchy‘ego 2hWy8 Funkcje harmoniczne 2hWy9 Szeregi potegowe 2hWy10 Szereg Taylora i Laurenta 2hWy11 Punkty osobliwe i residuum. 2hWy12 Zasada argumentu i twierdzenie Rouchego 1hWy13 Zastosowania twierdzenia o residuach. 2hWy14 Metoda Rice’a - czesc I 1hWy15 Kolokwium 2hWy16 Metoda Rice’a - czesc II 2h

Forma zajec - cwiczeniaCw1 Liczby zespolone 2hCw2 Ciagi i szeregi o wyrazach zespolonych 2hCw3 Funkcje zmiennej zespolonej 2hCw4 Granice funkcji i ciagłosc 2hCw5 Pochodna funkcji 4hCw6 Całkowanie 2hCw7 Wzór całkowy Cauchy‘ego 2hCw8 Funkcje harmoniczne 2hCw9 Szeregi potegowe 2hCw10 Szereg Taylora i Laurenta 2hCw11 Zastosowania twierdzenia o residuach. 4hCw12 Podsumowanie 4h

2




3. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W2, K1-K1 kolokwiumF2 U1-U2, K1-K1 aktywnoscP=50%*F1+50%*F2


1. F. Leja, Funkcje zespolone PWN

2. W. Krysicki, L. Włodarski Analiza matematyczna w zadaniach PWN

3. A. Ganczar, Analiza zespolona w zadaniach PWN

OPIEKUN PRZEDMIOTU

dr Rafał Kapelko

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUWprowadzenie do Funkcji Zespolonych



Cele przed-miotu**



W1 K1_W01 C1 Wy1-Wy16 1 2 3 4W2 K1_W01 K1_W04 C1 Wy1-Wy16 1 2 3 4U1 K1_U02 K1_U31 C2 Cw1-Cw12 3 4U2 K1_U02 K1_U10 K1_U31 C2 Cw1-Cw12 3 4K1 K1_K01 K1_K12 K1_K13 K1_K14 C1 C2 Wy1-Wy16

Cw1-Cw121 2 3 4

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Wprowadzenie do Kombinatoryki AnalitycznejNazwa w jezyku angielskim : Introduction to Analytic CombinatoricsKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W03Grupa kursów : TAK


30 15 15


90 30 60


X


2 2


2 2 2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIOpanowany materiał z kursów analiza matematyczna oraz matematyka dyskretna. Znajomosc podstawowychfaktów z zakresu teorii grafów oraz funkcji zespolonych.

CELE PRZEDMIOTU

C1 Zapoznanie słuchaczy z podstawowymi pojeciami i technikami nowoczesnej kombinatoryki anaalitycznej

C2 Zdobycie umiejetnosci posługiwania sie narzedziami analizy kombinatorycznej z uwzglednieniem analizyalgorytmów

C3 Zdobycie umiejetnosci posługiwania sie pakietami matematycznymi z uwzglednieniem metod symbol-icznych

1


W1 Zna pojecia kombinatoryki analitycznej i widzi ich zwiazek z obietktami wykorzystywanymi w informatyce

W2 Posiada wiedze z zkaresu kombinatoryki analitycznej umozliwiajaca rozwiazywanie pewnych problemówprobabilistycznych

W3 Posiada wiedze z zakresu analizy matematycznej wykorzystywana w kombinatoryce


U1 Umie analizowac algorytmy narzedziami komobinatoryki analitycznej

U2 Umie stosowac pakiety matematyczne dla rozwiazywania problemów kombinatoryki analitycznej


K1 Umiejetnosc przedstawienia problemu kombinatorycznego osobie bez znajomosci zagadnien kombinato-rycznych

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wstep - podstawowe pojecia 3hWy2 Podstawowe klasy kombinatoryczne 3hWy3 Konstrukcje zaawansowane 2hWy4 Ciagi i jezyki 2hWy5 Struktury drzewiaste. 4hWy6 Klasy etykietowane 4hWy7 Kombinatoryka analityczna a prawdopodobienstwo dyskretne 6hWy8 Funkcje wielu zmiennych. 4hWy9 Podsumowanie 2h

Forma zajec - cwiczeniaCw1 Podstawowe konstrukcje 4hCw2 Konstrukcje zaawansowane dla klas nieetykietowanych 4hCw3 Klasy etykietowane. 4hCw4 Kombinatoryka a prawdopodobienstwo dyskretne 3h

Forma zajec - laboratoriumLab1 Wykorzystanie pakietu matematycznego w kombinatoryce analitycznej 7hLab2 Reprezentacja struktur kombinatorycznych. 4hLab3 Testowanie hipotez badawczych 4h





2


Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W3, K1-K1 KolokwiumF2 U1-U2, K1-K1 Lista deklaracyjna i aktywnoscF3 U1-U2, K1-K1 Ocena programówP=40%*F1+30%*F2+30%*F3


1. Philippe Flajolet,Robert Sedgewick: Analytic Combinatorics

2. Witold Lipski, Wiktor Marek: Analiza kombinatoryczna

3. Dokumentacja systemu Wolfram Mathematica

OPIEKUN PRZEDMIOTU

dr Marek Klonowski

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUWprowadzenie do Kombinatoryki Analitycznej



Cele przed-miotu**



W1 K1_W01 K1_W05 C1 Wy1-Wy9 1 3W2 K1_W01 C1 Wy1-Wy9 1 3W3 K1_W01 K1_W04 C1 Wy1-Wy9 1 3U1 K1_U01 K1_U03 K1_U09 C2 C3 Cw1-Cw4

Lab1-Lab32 3


2 3


1 2 3

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Teoretyczne Podstawy InformatykiNazwa w jezyku angielskim : Theoretical Fundamentals of Computer ScienceKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W04Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIJezyki formalne i techniki translacji. Algorytmy i struktury danych. Logika

CELE PRZEDMIOTU

C1 Zapoznanie słuchaczy z teoretycznymi modelami obliczen.

C2 Opanowanie narzedzi formalnych niezbednych do zrozumienia tresci omawianych na wykładzie.


W1 Zna pojecia: maszyna Turinga, funkcja rekurencyjna, funkcja uniwersalna.

W2 Zna podstawowe klasy złozonosci czasowej i pamieciowej.


U1 Potrafi okreslic przynaleznosc problemu do klasy złozonosci czasowej i pamieciowej


K1 Rozumie stopien komplikacji zagadnien zwiazanych z przetwarzaniem danych

K2 Potrafi wyjasnic podstawowe zagadnienia zwiazane z teoria obliczen.

1

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wprowadzenie 2hWy2 Maszyny Turinga 2hWy3 Klasa funkcji rekurencyjnych 2hWy4 Model z rekursja prosta 2hWy5 Funcja uniwersalna. hWy6 Klasy złozonosci czasowej i pamieciowej 4hWy7 Złozonosc Kołmogorowa. 2hWy8 Obliczenia losowe. 2hWy9 Obliczenia kwantowe. 6h

Forma zajec - cwiczeniaCw1 Automaty, Maszyny Turinga, Maszyna RAM 4hCw2 Funkcje rekurencyjne 2hCw3 Funkcje rekurencyjnie przeliczalne 2hCw4 Własciwe funkcje złozonosci 2hCw5 Klasy L, NL, P, NP, co-NP, PSPACE, EXP 4hCw6 Klasy probabilistyczne: RP, co-RP, ZPP, PP i BPP 4hCw7 Złozonosc Kołmogorowa. 2hCw8 Obliczenia kwantowe 4h






Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W2, K1-K2 EgzaminF2 U1-U1, K1-K2 Listy zadanP=60%*F1+40%*F2


1. J.E. Hopcroft, R. Motwani, J.D. Ullman, Wprowadzenie do teorii automatów, jezyków i obliczen, WNT,Warszawa 2005 (ISBN 83-01-14502-1)

2. C. Papadimitrou, Złozonosc obliczeniowa

3. M. Hirvensalo, Algorytmy kwantowe, 2008

OPIEKUN PRZEDMIOTU

dr Filip Zagórski

2

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUTeoretyczne Podstawy Informatyki



Cele przed-miotu**



W1 K1_W07 K1_W13 C1 Wy1-Wy9 1 3W2 K1_W04 K1_W05 C1 Wy1-Wy9 1 3U1 K1_U01 K1_U02 K1_U06 K1_U30

K1_U31C2 Cw1-Cw8 2 3


1 2 3


1 2 3

3

Zał nr 4 do ZW


Nazwa w jezyku polskim : Wprowadzenie do Teorii GrafówNazwa w jezyku angielskim : Introduction to Graph TheoryKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W05Grupa kursów : TAK


30 30


30 30


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIBrak wymagan

CELE PRZEDMIOTU

C1 Wprowadzenie do teorii grafów.

C2 Lepsze zrozumienie materiału omawianego na wykładzie


W1 Zna definicje i twierdzenia teorii

W2 Zna przykłady wyrazania problemów w jezyku teorii grafów.


U1 Potrafi rozwiazywac problemy wyrazone w jezyku teorii grafów.

U2 Potrafi wyrazac wybrane problemy w jezyku teorii grafów.


K1 Rozumie ze wiele problemów optymalizacyjnych mozna rozwiazac przedstawiajac je w jezyku teorii grafów.

1

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wprowadzenie. 6hWy2 Drogi i cykle. 2hWy3 Drzewa. 2hWy4 Grafy planarne. 4hWy5 Kolorowanie grafów. 6hWy6 Grafy skierowane. 2hWy7 Problem skojarzenia małzenstw. 4hWy8 Matroidy. 2h

Forma zajec - cwiczeniaCw1 Wprowadzenie. 6hCw2 Drogi i cykle. 2hCw3 Drzewa. 2hCw4 Grafy planarne. 4hCw5 Kolorowanie grafów. 6hCw6 Grafy skierowane. 2hCw7 Problem skojarzenia małzenstw. 4hCw8 Matroidy. 2h






Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W2, K1-K1 Rozwiazywanie zadanF2 U1-U2, K1-K1 Rozwiazywanie zadanP=60%*F1+40%*F2


1. Robin J. Wilson, Wprowadzenie do teorii grafów.

OPIEKUN PRZEDMIOTU

dr Krzysztof Majcher

2

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUWprowadzenie do Teorii Grafów



Cele przed-miotu**



W1 K1_W01 C1 Wy1-Wy8 1 3W2 K1_W01 C1 Wy1-Wy8 1 3U1 K1_U31 C2 Cw1-Cw8 2 3U2 K1_U31 C2 Cw1-Cw8 2 3K1 K1_K14 C1 C2 Wy1-Wy8

Cw1-Cw81 2 3

3

Zał nr 4 do ZW


Nazwa w jezyku polskim : Wprowadzenie do Topologii i Teorii MiaryNazwa w jezyku angielskim : Introduction to Topology and Measure TheoryKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W06Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJILogika i struktury formalne Analiza matematyczna 1 Analiza matematyczna 2

CELE PRZEDMIOTU

C1 Zapoznanie sie z elementami topologii i teorii miary pozwalajace na studiowanie dziedzin matematykistosowanych w informatyce teoretycznej - w szczególnosci rachunku prawdopodobienstwa i procesówstochastycznych

C2 Zdobycie umiejetnosci posługiwania sie pojeciami i twierdzeniami topologii i teorii miary

1


W1 Student umie podstawy topologii metrycznej

W2 Student umie podstawy teorii miary


U1 Student umie stosowac argumenty topologiczne w rozumowaniach matematycznych

U2 Student umie stosowac argumenty teorio-miarowe w rozumowaniach matematycznych


K1 Student potrafi posługiwac sie zaawansowana literatura naukowa

K2 Student potrafi z dostrzec głebsze zwiazki pomiedzy działami matematyki i informatyki

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Przestrzenie metryczne. 2hWy2 Podstawowe pojecia topologiczne. 2hWy3 Podprzestrzenie, iloczyny kartezjanskie przestrzeni.Przestrzenie osrodkowe i nieosrodkowe. 2hWy4 Zbiory zwarte. 2hWy5 Odwzorowania ciagłe przestrzeni metrycznych. 2hWy6 Zupełnosc i twierdzenie Baire’a. 2hWy7 Sigma-algebry zbiorów; zbiory borelowskie w przestrzeniach metrycznych. 2hWy8 Pojecia miary i miary zewnetrznej. Generowanie miary przez miare zewnetrzna – twierdzenie

Caratheodory‘ego. Przestrzen miarowa.3h

Wy9 Miara zewnetrzna metryczna, miara Lebesgue‘a na prostej. 3hWy10 Funkcje mierzalne. 2hWy11 Całka. 2hWy12 Podstawowe własnosci całki. 2hWy13 Twierdzenia Lebesgue’a o zbieznosci monotonicznej i zmajoryzowanej. 2hWy14 Miara produktowa i twierdzenie Fubiniego. 2h

2

Forma zajec - cwiczeniaCw1 Przestrzenie metryczne 2hCw2 Podstawowe pojecia topologiczne. 2hCw3 Podprzestrzenie, iloczyny kartezjanskie przestrzeni. Przestrzenie osrodkowe i nieosrodkowe. 2hCw4 Zbiory zwarte. 2hCw5 Odwzorowania ciagłe przestrzeni metrycznych. 2hCw6 Zupełnosc i twierdzenie Baire’a. 2hCw7 Sigma-algebry zbiorów; zbiory borelowskie w przestrzeniach metrycznych. 2hCw8 Pojecia miary i miary zewnetrznej. Generowanie miary przez miare zewnetrzna – twierdzenie

Caratheodory‘ego. Przestrzen miarowa.3h

Cw9 Miara zewnetrzna metryczna, miara Lebesgue‘a na prostej. 3hCw10 Funkcje mierzalne. 2hCw11 Całka 2hCw12 Podstawowe własnosci całki. 2hCw13 Twierdzenia Lebesgue’a o zbieznosci monotonicznej i zmajoryzowanej. 2hCw14 Miary produktowe i twierdzenie Fubiniego 2h




3. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W2, K1-K2 EgzaminF2 U1-U2, K1-K2 Kolokwium zaliczenioweP=70%*F1+30%*F2


1. Kazimierz Kuratowski, Wstep do teorii mnogosci i topologii, PWN 2004

2. Stanisław Łojasiewicz, Wstep do teorii funkcji rzeczywistych, PWN 1973

OPIEKUN PRZEDMIOTU

prof. Michał Morayne

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUWprowadzenie do Topologii i Teorii Miary



Cele przed-miotu**



W1 K1_W01 C1 Wy1-Wy14 1 3 4W2 K1_W01 C1 Wy1-Wy14 1 3 4U1 K1_U11 K1_U31 C2 Cw1-Cw14 2 3 4U2 K1_U11 K1_U31 C2 Cw1-Cw14 2 3 4K1 K1_K01 K1_K13 K1_K15 C1 C2 Wy1-Wy14

Cw1-Cw141 2 3 4


1 2 3 4

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Teoria InformacjiNazwa w jezyku angielskim : Information TheoryKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W09Grupa kursów : TAK


30 30


30 30


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIBrak wymagan

CELE PRZEDMIOTU

C1 Wprowadzenie do teorii informacji.

C2 Lepsze zrozumienie materiału prezentowanego na wytkładzie.

1


W1 Zna pojecia: kod, entropia, informacja, kryptosystem, kanał komunikacyjny, złozonosc Kołomogorowa,stała Chaitina, oraz omawiane na wykładzie własnosci. Potrafi podac przykłady ilustrujace omawianepojecia. Rozumie twierdzenia Shannona.


U1 Potrafi dla zadanego zbioru symboli, oraz zadanej przestrzeni probablistycznej wyznaczyc jej kod o najm-niejszej sredniej długosci.

U2 Potrafi wyznaczac takie parametry kodu jak: entropia, entropia warunkowa, srednia długosc, informacja,informacja wzajemna

U3 Potrafi wyliczac parametry kanału komunikacyjnego takie jak przepustowosc kanału. Potrafi obliczyc jakoscreguły decyzyjnej.


K1 Rozumie znaczenie teorio-informacyjnych ograniczen systemów informatycznych.

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wprowadzenie, kody. 2hWy2 Pojecie entropii. 2hWy3 Długosc kodu. 2hWy4 Długosc kodu. 2hWy5 Informacja wzajemna 2hWy6 Kryptosystem, szyfrowanie doskonałe. 2hWy7 Kanały komunikacyjne. 2hWy8 Kanały komunikacyjne. 2hWy9 Zmniejszanie błedów transmisji w kanale. 2hWy10 Twierdzenie Shannaona o kodach. 2hWy11 Dowód twierdzenie Shannaona o kodach. 4hWy12 Złozonosc Kołomogorowa. 4hWy13 Stała Chaitina. 2h

2

Forma zajec - cwiczeniaCw1 Wprowadzenie, kody. 2hCw2 Pojecie entropii. 2hCw3 Długosc kodu. 2hCw4 Srednia długosc kodu. 2hCw5 Informacja wzajemna. 2hCw6 Kryptosystem, szyfrowanie doskonałe. 2hCw7 Kanały komunikacyjne. 2hCw8 Kanały komunikacyjne. 2hCw9 Zmniejszanie błedów transmisji w kanale. 2hCw10 Twierdzenie Shannaona o kodach. 2hCw11 Twierdzenie Shannaona o kodach. 4hCw12 Złozonosc Kołomogorowa. 4hCw13 Stała Chaitina. 2h






Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1, K1-K1 Egzamin.F2 U1-U3, K1-K1 Samodzielne rozwiazywaniae

zadanP=60%*F1+40%*F2


1. Paweł Przybyłowicz "Wstep do teorii Informacji i kodowania"

OPIEKUN PRZEDMIOTU


3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUTeoria Informacji



Cele przed-miotu**



W1 K1_W01 K1_W02 K1_W13 C1 Wy1-Wy13 1 3U1 K1_U10 K1_U17 C2 Cw1-Cw13 2 3U2 K1_U10 K1_U17 C2 Cw1-Cw13 2 3U3 K1_U10 K1_U17 C2 Cw1-Cw13 2 3K1 K1_K01 C1 C2 Wy1-Wy13

Cw1-Cw131 2 3

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Algorytmy Optymalizacji DyskretnejNazwa w jezyku angielskim : Discrete Optimization AlgorithmsKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W08Grupa kursów : TAK


30 15 15


90 45 45


X


2 2


2 2 2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIWstep do Informatyki i Programowania, Kurs programowania, Algorytmy i Struktury Danych

CELE PRZEDMIOTU

C1 Omówienie podstawowych problemów i algorytmów optymalizacji dyskretnej, w szczególnosci: zagad-nienia najkrótszej sciezki, maksymalnego i najtanszego przepływu w sieciach, zagadnienia skojarzen wgrafach, zagadnienia plecakowe, wybrane zagadnienia szeregowania na maszynach oraz efektywne algo-rytmy rozwiazywania prezentowanych zagadnien

C2 Opanowanie i teoretyczna analiza problemów i algorytmów optymalizacji dyskretnej omawianych nawykładzie

C3 Opanowanie algorytmów optymalizacji dyskretnej omawianych na wykładzie

1


W1 Zna problemy i algorytmy znajdowania najkrótszych dróg

W2 Zna problemy i algorytmy znajdowania przepływów ekstremalnych

W3 Zna problemy szeregowania zadan na jednej maszynie i na maszynach równoległych i algorytmy dla tychproblemów

W4 Zna problemy skojarzen i algorytmy dla tych problemów

W5 Zna problem plecakowy i algorytmy dla tego problemu


U1 Potrafi dobrac odpowiedni algorytm dla problemów przedstawionych na wykładzie oraz ich modyfikacji.Umie modyfikowac oraz implementowac algorytmy przedstawione na wykładzie. Potrafi transformowacwybrane problemy do problemów przedstawionych na wykładzie

U2 Umie przeprowadzic analize wybranych problemów i algorytmów, przedstawionych na wykładzie, oraz ichmodyfikacji


K1 Zna i zauwaza, nowe, praktyczne zastosowania problemów i algorytmów optymalizacji dyskretnej

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Programowanie liniowe i całkowitoliczbowe – wybrane pojecia i metody 2hWy2 Problemy najkrótszych dróg 2hWy3 Algorytmy znajdowania najkrótszych dróg 4hWy4 Problem maksymalnego przepływu w sieci. 2hWy5 Algorytmy znajdowania maksymalnego przepływu 2hWy6 Problem najtanszego przepływu w sieci 2hWy7 Algorytmy znajdowania najtanszego przepływu 2hWy8 Ogólny problem szeregowania 2hWy9 Algorytmy szeregowania na jednej maszynie 2hWy10 Algorytmy szeregowania na maszynach równoległych 2hWy11 Problem skojarzenia 2hWy12 Algorytmy dla problemów skojarzenia 2hWy13 Problem plecakowy 2hWy14 Algorytmy dla problemu plecakowego 2h

Forma zajec - cwiczeniaCw1 Modelowanie prostych problemów za pomoca programowania liniowego i całkow-

itoliczbowego2h

Cw2 Problemy najkrótszych dróg 4hCw3 Problemy przepływów ekstremalnych w sieciach 4hCw4 Problemy szeregowania zadan 4hCw5 Kolokwium 1h

2

Forma zajec - laboratoriumLab1 Wprowadzenie do pakietów rozwiazujacych zadania programowania liniowego i całkow-

itoliczbowego3h

Lab2 Algorytmy znajdowania najkrótszych dróg 4hLab3 Algorytmy znajdowania przepływu w sieciach 4hLab4 Algorytmy szeregowania 4h






5. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W5, K1-K1 BrakF2 U1-U2, K1-K1 Kolokwium zaliczenioweF3 U1-U2, K1-K1 Realizacja zleconych zadan pro-

gramistycznychP=0%*F1+50%*F2+50%*F3


1. M. M. Sysło, N. Deo, J. S. Kowalik, Algorytmy optymalizacji dyskretnej z programami w jezyku Pascal,Wydawnictwo Naukowe PWN 1999

2. W. Lipski, Kombinatoryka dla programistów, Wydawnictwa Naukowo-Techniczne WNT 2007

3. C.H. Papadimitriou, K. Steiglitz, Combinatorial Optimization. Algorithms and Complexity, Dover Publi-cation, Inc,Mineola, 1998

4. R.K. Ahuja, T.L. Magnanti and J. B. Orlin, Network Flows: Theory, Algorithms, and Applications, PrenticeHall, 1993

5. P. Brucker, Scheduling Algorithms, Springer-Verlag, Berlin Heidelberg 2007

6. R.S. Garfinkel, G.L. Nemhauser, Programowanie całkowitoliczbowe, PWN, 1978

OPIEKUN PRZEDMIOTU


3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUAlgorytmy Optymalizacji Dyskretnej



Cele przed-miotu**



W1 K1_W04 K1_W05 K1_W06 C1 Wy1-Wy14 1 2 5 6W2 K1_W04 K1_W05 K1_W06 C1 Wy1-Wy14 1 2 5 6W3 K1_W04 K1_W05 K1_W06 C1 Wy1-Wy14 1 2 5 6W4 K1_W04 K1_W05 K1_W06 C1 Wy1-Wy14 1 2 5 6W5 K1_W04 K1_W05 K1_W06 C1 Wy1-Wy14 1 2 5 6U1 K1_U09 K1_U10 K1_U11 K1_U12

K1_U31C2 C3 Cw1-Cw5

Lab1-Lab43 4 5 6


3 4 5 6


1 2 3 4 5 6

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Algorytmika - Wykład MonograficznyNazwa w jezyku angielskim : Algorithmic Monographic LectureKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W10Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIWymagania wstepne zostana okreslone przed rozpoczeciem kursu

CELE PRZEDMIOTU

C1 Opanowanie nowoczesnych technik algorytmicznych

C2 Praktyczne opanowanie nowoczesnych narzedzi algorytmicznych


W1 Opanowanie nowych technik algorytmicznych


U1 Umie zaimplementowac aktualnie badane algorytmy


K1 Rozumie potrzebe ustawicznego podnoszenia swoich kompetencji zawodowych

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Przedstawienie wybranych zagadnien wpółczesnej algorytmiki 30h

1

Forma zajec - cwiczeniaCw1 Rozwiazywanie zadan algorytmicznych 30h







6. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1, K1-K1 Kolokwium zaliczenioweF2 U1-U1, K1-K1 Aktywnosc na cwiczeniach oraz

praktyczna implementacja omaw-ianych na wykładzie algorytmów


1. Literatura zostanie podana na poczatku zajec

OPIEKUN PRZEDMIOTU

prof. Jacek Cichon

2

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUAlgorytmika - Wykład Monograficzny



Cele przed-miotu**



W1 K1_W01 K1_W02 K1_W03 K1_W04K1_W05 K1_W06

C1 Wy1-Wy1 1 2 6 7

U1 K1_U01 K1_U09 K1_U10 K1_U17 C2 Cw1-Cw1 3 4 5 6 7K1 K1_K01 K1_K10 K1_K15 C1 C2 Wy1-Wy1

Cw1-Cw11 2 3 4 5 6 7

3

Zał nr 4 do ZW


Nazwa w jezyku polskim : Programowanie w LogiceNazwa w jezyku angielskim : Programming in LogicKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W11Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIWymaga sie zaliczenie modułów „Logika i struktury formalne” i „Kurs programowania”.

CELE PRZEDMIOTU

C1 Zapoznanie sie z praktycznymi aspektami programowania w logice i z jezykiem programowania Prolog

C2 Opanowanie umiejetnosci programowania w jezyku Prolog oraz tworzenia w nim aplikacji

1


W1 Zna programowanie deklaratywne jako jeden z paradygmatów programowania

W2 Zna jezyk programowania Prolog

W3 Zna automatyczne sposoby dowodzenia twierdzen i ich zastosowania

W4 Zna metode generowania i testowania oraz wie jak poprawiac jej efektywnosc

W5 Zna gramatyki metamorficzne i wie jak wykorzystac je do przetwarzania jezyka naturalnego


U1 Umie stworzyc w Prologu aplikacje wielowatkowa

U2 Umie stworzyc w Prologu aplikacje przetwarzajaca dane w formacie XML

U3 Umie stworzyc w Prologu aplikacje klient-serwer komunikujaca sie przez siec

U4 Umie przetwarzac dane symboliczne


K1 Potrafi wyjasnic podstawowe zagadnienia zwiazane z programowaniem deklaratywnym bez odwoływaniasie do terminologii technicznej i naukowej

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wprowadzenie 2hWy2 Działanie PROLOGu 2hWy3 Struktury danych 2hWy4 Przeszukiwanie rozwiazan 2hWy5 Wejscie i wyjscie 2hWy6 Przykłady programów 2hWy7 Sledzenie programów 2hWy8 Gramatyki metamorficzne 2hWy9 Korutyny i watki 2hWy10 Programowanie równoległe 2hWy11 Interfejs do ODBC 2hWy12 Parser SGML/XML 2hWy13 Klient i serwer HTTP 2hWy14 Ontologie 2hWy15 Wnioskowanie o ontologiach 2h

2

Forma zajec - laboratoriumLab1 Zapoznanie sie ze srodowiskiem programowania 2hLab2 Fakty i reguły 2hLab3 Termy i listy 2hLab4 Rekursja i rekursja ogonowa 4hLab5 Przeszukiwanie rozwiazan 4hLab6 Wejscie i wyjscie 2hLab7 Gramatyki metamorficzne 4hLab8 Korutyny i watki 4hLab9 Parser SGML/XML 2hLab10 Serwer HTTP 4h





4. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W5, K1-K1 KolokwiumF2 U1-U4, K1-K1 Kontrola realizacji list zadanP=60%*F1+40%*F2


1. W.F. Clocksin, C.S. Mellish. Prolog. Programowanie. Helion, 2003.

2. R.A. O’Keefe. The Craft of Prolog. The MIT Press, 1990.

3. L. Sterling, E. Shapiro. The Art of Prolog. The MIT Press, 1994.

OPIEKUN PRZEDMIOTU


3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUProgramowanie w Logice



Cele przed-miotu**



W1 K1_W08 C1 Wy1-Wy15 1 2 4 5W2 K1_W08 C1 Wy1-Wy15 1 2 4 5W3 K1_W01 K1_W08 C1 Wy1-Wy15 1 2 4 5W4 K1_W05 C1 Wy1-Wy15 1 2 4 5W5 K1_W07 C1 Wy1-Wy15 1 2 4 5U1 K1_U19 C1 Lab1-Lab10 3 4 5U2 K1_U19 K1_U26 C1 Lab1-Lab10 3 4 5U3 K1_U19 C1 Lab1-Lab10 3 4 5U4 K1_U26 C1 Lab1-Lab10 3 4 5K1 K1_K14 C1 C2 Wy1-Wy15

Lab1-Lab101 2 3 4 5

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Wybrane Zagadnienia AlgebryNazwa w jezyku angielskim : Selected Topics from AlgebraKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W12Grupa kursów : TAK


30 15 15


30 15 15


X


2 2


2 2 2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIAlgebra z Geometria Analityczna , Algebra Abstrakcyjna i Kodowanie.

CELE PRZEDMIOTU

C1 Rozszerzenie i utrwalenie zdobytej wiedzy na temat algebry. Zapoznanie z zagadnieniami algebry majacymizwiazek z informatyka

C2 Lepsze zrozumienie matriału omawianego na wykładzie.

C3 Zapoznanie z algorytmami omawianymi na wykładzie.

1


W1 Zna pojecia grafu Cayleya grupy. Zna twierdzenia Cayleya i Sylowa. Zna działanie grupowe na krzywycheliptycznych.

W2 Zna pojecia ideał, ideał główny, ideał maksymalny. Zna konstrukcje pierscienia ilorazowego, oraz zas-tosowanie konstrukcji do budowy ciał rozkładu wielomianów.

W3 Zna pojecie rozszerzenia ciała i grupy Galois. Zna zastosowanie teorii Galois.


U1 Potrafi sprawdzac wybrane własnosci omawianych struktur algebraicznych.

U2 Potrafi implementowac omawiane algorytmy.


K1 Rozumie znaczenie algebry w informatyce, w szczególnosci w kryptografii.

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Grupy. 4hWy2 Grupy abelowe, grupy cykliczne. 4hWy3 Twierdzenie Sylowa. 2hWy4 Zastosowanie grup w kryptografii. 2hWy5 Krzywe eliptyczne. 4hWy6 Pierscienie. 4hWy7 Elementy teorii liczb. 4hWy8 Ciała. 4hWy9 Teoria Galois. 4h

Forma zajec - cwiczeniaCw1 Grupy. 2hCw2 Grupy abelowe, grupy cykliczne. 2hCw3 Twierdzenie Sylowa. 1hCw4 Zastosowanie grup w kryptografii. 1hCw5 Krzywe eliptyczne 1hCw6 Pierscienie. 2hCw7 Elementy teorii liczb. 2hCw8 Ciała. 2hCw9 Teoria Galois. 2h

Forma zajec - laboratoriumLab1 Mnozenie i potegowanie w wybranych grupach. 2hLab2 Mnozenie na krzywych eliptycznych. 4hLab3 Protokół Diffiego–Hellmana. 4hLab4 Algorytm Euklidesa 2hLab5 Rozkładanie wielomianów nad ciałami skonczonymi. 3h

2







Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W3, K1-K1 EgzaninF2 U1-U2, K1-K1 Kartkówki,ocena aktywnosic.F3 U1-U2, K1-K1 ocena programów oddanych przez

studenta.P=30%*F1+40%*F2+30%*F3


1. Victor Shoup, A Computational Introduction to Number Theory and Algebra

2. J.S. Milne, Group Theory

3. S.Lang, Algebra

OPIEKUN PRZEDMIOTU


3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUWybrane Zagadnienia Algebry



Cele przed-miotu**



W1 K1_W01 C1 Wy1-Wy9 1 4W2 K1_W01 C1 Wy1-Wy9 1 4W3 K1_W02 C1 Wy1-Wy9 1 4U1 K1_U31 C2 C3 Cw1-Cw9

Lab1-Lab52 3 4


2 3 4


1 2 3 4

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Automatyczna WeryfikacjaNazwa w jezyku angielskim : Automatic VerificationKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W13Grupa kursów : TAK


30 15 15


90 45 45


X


2 2


2 2 2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIUkonczenie kursu „Logika i Struktury Formalne".

CELE PRZEDMIOTU

C1 Zaprezentowanie podstaw logiki modalnej z szczególnym uwzglednieniem logiki LTL. Zanalizowanezostana równiez automaty Buchiego oraz uogólnione automaty Buchiego oraz ich zwiazek ze zdaniamilogiki LTL i automatyczna weryfikacja.

C2 Praktyczne opanowanie podstawowych metod logiki modalnej, logiki LTL, automatów Buchiego, uogól-nionych automatów Buchiego.

C3 Zapoznanie z jezykiem Promela oraz programami Spin xpSin

1


W1 Zna pojecie logiki modalnej i modelu Kripke’go

W2 Zna pojecie automatu Buchie’go

W3 Zna zwiazki miedzy automatami Buchie’go i logika LTL

W4 Zna metode badania poprawnosci protokołów za pomoca automatów Buchie’go


U1 Potrafi samodzielnie wyprowadzic podstawowe tautologie logik modalnych

U2 Potrafi przekształcic formuły jezyka LTL na automaty Buchie’go

U3 Potrafi wymodelowac podstawowe własnosci protokołów w logice LTL

U4 Potrafi wymodelowac podstawowe własnosci protokołów w jezyku Promela

U5 Potrafi zbudowac symulator analizowanych protokołów w systemie SPIN


K1 Rozumie potrzebe stosowania technik weryfikacji protokołów

K2 Potrafi stosowac logiki modalne do opisu realnych problemów

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Rachunek zdan 2hWy2 Logiki modalne 4hWy3 Logika LTL 4hWy4 Automaty skonczone 2hWy5 Automaty Buchiego 4hWy6 Uogólnione Automaty Buchiego 4hWy7 Jezyki ω-regularne 2hWy8 Automaty Buchiego dla formuł LTL 4hWy9 Dyskretne systemy stanów 2hWy10 Automatyczna weryfikacja 2h

Forma zajec - cwiczeniaCw1 Logiki modalne 3hCw2 Logika LTL 3hCw3 Automaty Buchiego 3hCw4 Uogólnione automaty Buchiego 3hCw5 Jezyki ω-regularne i automaty zwiazane ze zdaniami LTL 3h

Forma zajec - laboratoriumLab1 Promela 2hLab2 Spin i x-Spin 2hLab3 Proste systemy w Promeli 5hLab4 Bardziej skomplikowane systemy 6h

2





4. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W4, K1-K2 kolokwiumF2 U1-U5, K1-K2 kolokwiumF3 U1-U5, K1-K2 kolokwium, raportP=30%*F1+30%*F2+40%*F3


1. G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual

2. M. Ben-Ari, Principles of the Spin Model Checker

3. spinroot.com

OPIEKUN PRZEDMIOTU

dr Szymon Zeberski

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUAutomatyczna Weryfikacja



Cele przed-miotu**



W1 K1_W01 K1_W04 C1 Wy1-Wy10 1 4 5W2 K1_W07 C1 Wy1-Wy10 1 4 5W3 K1_W01 C1 Wy1-Wy10 1 4 5W4 K1_W01 K1_W04 K1_W15 C1 Wy1-Wy10 1 4 5U1 K1_U31 C2 C3 Cw1-Cw5

Lab1-Lab42 3 4 5


2 3 4 5


2 3 4 5


2 3 4 5



2 3 4 5


1 2 3 4 5


1 2 3 4 5

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Wprowadzenie do Sztucznej InteligencjiNazwa w jezyku angielskim : Introduction to Artificial IntelligenceKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W17Grupa kursów : TAK


30 15 15


90 45 45


X


2 2


2 2 2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIWymaga sie zaliczenie modułów „Logika i struktury formalne” i „Kurs programowania”.Zaleca sie wybór modułu „Programowanie w logice”.

CELE PRZEDMIOTU

C1 Zapoznanie sie z podstawami sztucznej inteligencji i stosowanymi w niej metodami

C2 Opanowanie umiejetnosci projektowania algorytmów wykorzystujacych sztuczna inteligencje

C3 Opanowanie umiejetnosci tworzenia aplikacji wykorzystujacych sztuczna inteligencje

1


W1 Zna podstawowe strategie poszukiwania rozwiazania

W2 Zna strategie poszukiwania decyzji w grach

W3 Zna techniki modelowania swiata i planowania akcji


U1 Potrafi stworzyc aplikacje poszukujace rozwiazania wybranych problemów

U2 Potrafi stworzyc aplikacje grajace w wybrane gry

U3 Potrafi stworzyc aplikacje planujace akcje


K1 Potrafi wyjasnic podstawowe zagadnienia zwiazane ze sztuczna inteligencja bez odwoływania sie do termi-nologii technicznej i naukowej

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wprowadzenie 2hWy2 Inteligentni agenci 2hWy3 Rozwiazywanie problemów przez przeszukiwanie 4hWy4 Nieklasyczne sposoby przeszukiwania 4hWy5 Przeszukiwanie z adwersarzem 4hWy6 Problem spełnienia ograniczen 2hWy7 Logiczni agenci 4hWy8 Planowanie akcji 4hWy9 Planowanie i działanie w rzeczywistym swiecie 4h

Forma zajec - cwiczeniaCw1 Wprowadzenie 1hCw2 Inteligentni agenci 2hCw3 Rozwiazywanie problemów przez przeszukiwanie 2hCw4 Nieklasyczne sposoby przeszukiwania 2hCw5 Przeszukiwanie z adwersarzem 2hCw6 Problem spełnienia ograniczen 2hCw7 Logiczni agenci 2hCw8 Planowanie akcji 2h

Forma zajec - laboratoriumLab1 Srodowisko programowania 1hLab2 Rozwiazywanie problemów przez przeszukiwanie 6hLab3 Przeszukiwanie z adwersarzem 4hLab4 Planowanie akcji 4h

2






5. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W3, K1-K1 KolokwiumF2 U1-U3, K1-K1 Kontrola realizacji list zadanF3 U1-U3, K1-K1 Kontrola realizacji list zadanP=40%*F1+30%*F2+30%*F3


1. S. Russel, P. Norvig. Artificial Intelligence. A Modern Approach. Pearson Education Inc., 2010.

2. I. Bratko. Prolog Programming for Artificial Intelligence. Addison-Wesley Publishing Company Inc.,1986.

3. W.F. Clocksin, C.S. Mellish. Prolog. Programowanie. Helion, 2003.

OPIEKUN PRZEDMIOTU


3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUWprowadzenie do Sztucznej Inteligencji



Cele przed-miotu**



W1 K1_W03 K1_W05 C1 Wy1-Wy9 1 2 5 6W2 K1_W03 K1_W05 C1 Wy1-Wy9 1 2 5 6W3 K1_W03 K1_W05 C1 Wy1-Wy9 1 2 5 6U1 K1_U09 K1_U19 C2 C3 Cw1-Cw8

Lab1-Lab43 4 5 6


3 4 5 6


3 4 5 6


1 2 3 4 5 6

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Grafika Komputerowa i WizualizacjaNazwa w jezyku angielskim : Computer graphics and visualizationKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W18Grupa kursów : TAK


30 15 15


60 45 75


X


2 2


2 2 2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIZna podstawowe pojecia algebry liniowej oraz analizy matematycznej funkcji jednej oraz wielu zmiennych

CELE PRZEDMIOTU

C1 Opanowanie podstawowych metod współczesnej grafiki komputerowej oraz metod wizualizacji danych nu-merycznych

C2 Opanowanie narzedzi formalnych współczesnej grafiki komputerowej

C3 Opanowanie podstawowych narzedzi oraz metod współczesnej grafiki komputerowej (SVG, HTML5,OpenGL, ray-tracing)

1


W1 Zna pojecie tranformacji afinicznych 2D i 3D

W2 Zna pojecie stycznej, normalnej i krzywizny

W3 Zna pojecie współrzednych jednorodnych

W4 Zna pojecie rzutu perspektywicznego i ortogonalnego

W5 Zna podstawowe techniki Ray-Traycingu


U1 Umie wykonywac proste ilustracje graficzne w SVG

U2 Umie wykonywac proste ilustracje graficzne w technnologii HTML 5

U3 Umie samodzielnie oprogramowac rzuty ortogonalne i perspektywistyczne

U4 Umie korzystac z biblioteki OpenGL

U5 Umie zastosowac własciwy model materiału

U6 Potrafi posługiwac sie teksturami i róznymi zródłami oswietlen

U7 Potrafi samodzielnie napisac prosty silnik graficzny


K1 Rozumie pojecie perspektywy

K2 Rozumie potrzebe znalezienia własciwej metody prezentacji danych

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Grafika 2D 2hWy2 Grafika 3D 2hWy3 Modele kamery 2hWy4 Widzialnosc 2hWy5 Oswietlenie i odbicie: podstawy 2hWy6 Cieniowanie i teksturowanie 2hWy7 Podstawy Ray-Tracing - I 2hWy8 Podstawy Ray-Tracing - I 2hWy9 Radiometria i odbicia 2hWy10 Rozproszony Ray-Tracing 2hWy11 Interpolacja 2hWy12 Krzywe parametryczne i powierzchnie 2hWy13 Animacja 2hWy14 Nowoczesne metody wizualizacji danych numerycznych 2hWy15 Nowe modele modelowania sceny 2h

2

Forma zajec - cwiczeniaCw1 Grafika 2D - podstawy 2hCw2 Grafika 2D - transformacje afiniczne 2hCw3 Grafika 3D - transformacje przetrzeni 2hCw4 Grafika 3D - rzuty 2hCw5 Grafika 3D - elementy geometrii 2hCw6 Krzywe parametryczne i interpolacja 2hCw7 Pola wektorowe 3h

Forma zajec - laboratoriumLab1 Operacje rastrowe 2hLab2 Grafika SVG 2hLab3 Grafika HTML5 2hLab4 Bibliteka OpenGL - podstawy 2hLab5 Biblioteka OpenGL - powierzchnie 2hLab6 Biblioteka OpenGL - narzedzia 2hLab7 Ray tracing 3h





4. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W5, K1-K2 brakF2 U1-U7, K1-K2 Kolokwium zaliczenioweF3 U1-U7, K1-K2 Realizacja zleconych zadan pro-

gramistycznychP=0%*F1+50%*F2+50%*F3


1. GAME GRAPHICS PROGRAMMING, ALLEN SHERROD, 2008, Course Technology

2. OpenGL. Ksiega eksperta. Wydanie III, Richard S. Wright Jr., Benjamin Lipchak, Helion

3. http://selection.datavisualization.ch/

OPIEKUN PRZEDMIOTU

prof. Jacek Cichon

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUGrafika Komputerowa i Wizualizacja



Cele przed-miotu**



W1 K1_W01 K1_W13 C1 Wy1-Wy15 1 4 5W2 K1_W01 C1 Wy1-Wy15 1 4 5W3 K1_W01 K1_W12 C1 Wy1-Wy15 1 4 5W4 K1_W01 K1_W12 C1 Wy1-Wy15 1 4 5W5 K1_W01 K1_W02 K1_W05 C1 Wy1-Wy15 1 4 5U1 K1_U02 K1_U03 K1_U12 K1_U16

K1_U19 K1_U21 K1_U32C2 C3 Cw1-Cw7

Lab1-Lab72 3 4 5


2 3 4 5

U3 K1_U10 K1_U12 K1_U19 K1_U21K1_U31


2 3 4 5

U4 K1_U01 K1_U03 K1_U12 K1_U21K1_U23


2 3 4 5


2 3 4 5


2 3 4 5

U7 K1_U19 K1_U21 K1_U22 K1_U23K1_U24 K1_U31


2 3 4 5


1 2 3 4 5


1 2 3 4 5

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Wykład MonograficznyNazwa w jezyku angielskim : Monographic LectureKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W19Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIWymagania wstepne zostana okreslone przez Komisje Dydaktyczna przed uruchomieniem kursu.

CELE PRZEDMIOTU

C1 Opanowanie nowoczesnych informatycznych technologi

C2 Opanowanie praktycznych aspektów nowoczesnych technologii informatycznych


W1 Opanowanie nowych idei informatycznych


U1 Umie zastosowac nowe koncepcje informatyczne


K1 Rozumie potrzebe sledzenia nowych osiagniec w Informatyce

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Przedstawienie wybranych zagadnien współczesnej szeroko pojetej informatyki 30h

1

Forma zajec - cwiczeniaCw1 Praktyczne opanowanie omawianych na wykładach metod 30h





4. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1, K1-K1 Test zaliczeniowyF2 U1-U1, K1-K1 Realizacja zleconego zadania

oraz samodzielne opanowaniedodatkowego materiału



OPIEKUN PRZEDMIOTU

prof. Jacek Cichon

2

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUWykład Monograficzny



Cele przed-miotu**



W1 K1_W04 K1_W05 K1_W06 C1 Wy1-Wy1 1 2 4 5U1 K1_U01 K1_U06 K1_U07 K1_U09

K1_U15 K1_U17C2 Cw1-Cw1 3 4 5

K1 K1_K01 C1 C2 Wy1-Wy1Cw1-Cw1

1 2 3 4 5

3

Zał nr 4 do ZW


Nazwa w jezyku polskim : Programowanie WspółbiezneNazwa w jezyku angielskim : Concurrent ProgrammingKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W20Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIWstep do Informatyki i Programowania, Kurs programowania.

CELE PRZEDMIOTU

C1 Celem wykładu jest przedstawienie najwazniejszych problemów i algorytmów programowania współ-bieznego

C2 Opanowanie metod i narzedzi słuzacych do budowy aplikacji współbieznych

1


W1 Zna jezyk programowania Ada

W2 Zna najwazniejsze problemy i algorytmy programowania współbieznego

W3 Zna techniki stosowane w programowaniu współbieznym


U1 Potrafi zbudowac aplikacje współbiezna w jezyku Ada

U2 Umie zaprogramowac algorytmy rozwiazujace najwazniejsze problemy programowania współbieznego

U3 Umie zastosowac techniki programowania współbieznego


K1 Potrafi wyjasnic zagadnienia zwiazane z programowaniem współbieznym bez odwoływania sie do termi-nologii technicznej i naukowej

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wprowadzenie do programowania współbieznego 2hWy2 Współbieznosc w jezyku Ada 2hWy3 Problem wzajemnego wykluczania 4hWy4 Semafory 4hWy5 Monitory 4hWy6 Systemy oparte na wymianie komunikatów 2hWy7 Problem uzgadniania 4hWy8 Systemy czasu rzeczywistego 6hWy9 Kolokwium 2h

Forma zajec - laboratoriumLab1 Wprowadzenie do jezyka Ada 4hLab2 Zadania, spotkania, instrukcja select,obiekty chronione, zmienne wspólne, 8hLab3 Narzedzia wspomagajace współbieznosc 8hLab4 Programowanie systemowe 6hLab5 Szeregowanie 4h





4. Konsultacje


2


Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W3, K1-K1 KolokwiumF2 U1-U3, K1-K1 Realizacja zleconych zadan pro-

gramistycznychP=50%*F1+50%*F2


1. M. Ben-Ari, Podstawy programowania współbieznego i rozproszonego, WNT, 2009.

2. A.Burns, A. Wellings, Concurrent and Real-Time Programming in Ada, Cambridge University Press, 2007

OPIEKUN PRZEDMIOTU


3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUProgramowanie Współbiezne



Cele przed-miotu**



W1 K1_W08 C1 Wy1-Wy9 1 2 4 5W2 K1_W05 C1 Wy1-Wy9 1 2 4 5W3 K1_W05 C1 Wy1-Wy9 1 2 4 5U1 K1_U19 K1_U20 K1_U22 C1 Lab1-Lab5 3 4 5U2 K1_U03 K1_U09 K1_U19 C1 Lab1-Lab5 3 4 5U3 K1_U03 K1_U19 C1 Lab1-Lab5 3 4 5K1 K1_K14 C1 C2 Wy1-Wy9

Lab1-Lab51 2 3 4 5

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Kodowanie i Kompresja danychNazwa w jezyku angielskim : Coding theory and Data CompressionKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W21Grupa kursów : TAK


30 30


60 120


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIWymagana jest znajomosc jezyka programowania C++ a takze podstawowa znajomosc systemu operacyjnegolinux.

CELE PRZEDMIOTU

C1 Poznanie podstawowych metod korekcji błedów i algorytmów kompresji danych.

C2 Nabycie praktycznych umiejetnosci w zakresie posługiwania sie algorytmami kodowania oraz algorytmamikompresji.

1


W1 Zna mocne i słabe strony omawianych na wykładzie metod kompresji.

W2 Zna konstrukcje podstawowych algorytmów kompresji.

W3 Zna zasady działania omawianych na wykładzie metod korekcji błedów.


U1 Potrafi dobrac dane wejsciowe i parametry tak, by zademonstrowac słabe i mocne strony zaimplemen-towanych algorytmów kompresji.

U2 Potrafi posługiwac sie wprowadzonymi na wykładzie pojeciami, skutecznie wyszukujac informacje takze wj. angielskim.

U3 Potrafi zaimplementowac zadane algorytmy w zadanym czasie.


K1 Potrafi przekazac intuicje zwiazane z konstrukcja implementowanych przez siebie algorytmów.

K2 Rozumie potrzebe somodzielnego rozwiazywania zadan i samokształcenia sie.

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wprowadzenie. 2hWy2 Kodowanie Huffmana. 2hWy3 Kody Tunstalla. Kodowanie arytmetyczne. 2hWy4 Kodowanie słownikowe. 2hWy5 Kodowanie predykcyjne. 2hWy6 bzip2 2hWy7 Matematyczne podstawy kompresji stratnej 2hWy8 Kwantyzacja. 2hWy9 Kompresja róznicowa. Transformaty. 2hWy10 Kodowanie transformujace. 2hWy11 Kodowanie podpasmowe. 2hWy12 Schematy typu analiza-synteza. Kompresja wideo. 2hWy13 Detekcja i korekcja błedów. Kody liniowe. Kody Hamminga. 2hWy14 Cykliczne kody liniowe. Burst errors. 2hWy15 Podsumowanie wykładu. 2h

Forma zajec - laboratoriumLab1 Podstawy kompresji. 2hLab2 Modelowanie 2hLab3 Kompresja Ziva-Lempela. 2hLab4 kodowanie predykcyjne. 4hLab5 Kodowanie arytmetyczne. 6hLab6 Transformata Burrowsa-Wheelera. 6hLab7 Kody liniowe, kody Hamminga. 4hLab8 Cykliczne kody liniowe. 4h

2






5. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W3, K1-K2 dwa kolokwia z materiału prezen-

towanego na wykładzieF2 U1-U3, K1-K2 implementacja wybranych algoryt-

mów kompresjiP=50%*F1+50%*F2


1. Khalid Sayood, Kompresja danych - wprowadzenie, Wydawnictwo RM, ISBN 83-7243-094-2

2. Adam Drozdek, Wprowadzenie do kompresji danych, Wydawnictwo WNT, 2007

3. J.H. van Lint, Introduction to Coding Theory, Graduate Texts in Mathematics, Springer; 3rd rev. and exp.ed. edition, 1998

4. F. J. MacWilliams, N.J.A. Sloane, The Theory of Error-Correcting Codes, North Holland Publishing Co.1977

OPIEKUN PRZEDMIOTU

dr Przemysław Kubiak

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUKodowanie i Kompresja danych



Cele przed-miotu**



W1 K1_W01 K1_W12 K1_W13 C1 Wy1-Wy15 1 2 5 6W2 K1_W05 K1_W06 C1 Wy1-Wy15 1 2 5 6W3 K1_W06 K1_W12 C1 Wy1-Wy15 1 2 5 6U1 K1_U09 K1_U10 K1_U11 C1 Lab1-Lab8 3 4 5 6U2 K1_U01 K1_U06 C1 Lab1-Lab8 3 4 5 6U3 K1_U15 K1_U26 C1 Lab1-Lab8 3 4 5 6K1 K1_K14 C1 C2 Wy1-Wy15

Lab1-Lab81 2 3 4 5 6

K2 K1_K04 K1_K11 C1 C2 Wy1-Wy15Lab1-Lab8

1 2 3 4 5 6

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Kryptografia i Bezpieczenstwo KomputeroweNazwa w jezyku angielskim : Cryptography and Computer SecurityKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W23Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIAlgebra, Techniki kodowania. Elementarne prawdopodobienstwo, notacja duze-O, arytmetyka modularna.

CELE PRZEDMIOTU

C1 Słuchacze poznaja podstawy zagadnien współczesnej kryptografii i bezpieczenstwa komputerowego.

C2 Opanowanie technik kryptograficznych słuzaczych zabezpieczaniu danych.


W1 Zna metody zapewniajace poufnosc komunikacji

W2 Zna metody zapewniajace integralnosc


U1 Potrafi wykorzystywac narzedzia kryptograficzne

U2 Potrafi budowac bezpieczne aplikacje i systemy


K1 Rozumie koniecznosc stosowania technik kryptograficznych

K2 Potrafi dobrac adekwatne narzedzia w celu tworzenia bezpiecznych aplikacji

1

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Pojecie systemu kryptograficznego 2hWy2 One time pad. Szyfry strumieniowe 2hWy3 Szyfry blokowe 2hWy4 Ataki na szyfry blokowe 2hWy5 Integralnosc wiadomosci. Funkcje haszujace. 3hWy6 Kryptografia nad liczbami pierwszymi 3hWy7 Kryptografia nad liczbami złozonymi 2hWy8 Infrastruktura klucza publicznego 2hWy9 Protokoły identyfikacji 2hWy10 Prywatnosc 2hWy11 Dzielenie sekretu 2hWy12 Urzadzenia kryptograficzne 2hWy13 Bezpieczny kod? 4h

Forma zajec - laboratoriumLab1 PGP 2hLab2 Sesje w aplikacjach webowych 4hLab3 Ataki na aplikacje webowe 4hLab4 SSL 2hLab5 Implementacja wybranego kryptosystemu 2hLab6 Wykorzystanie bibliotek kryptograficznych 2hLab7 Bezpieczenstwo baz danych 2hLab8 Bezpieczne aplikacje 4hLab9 Implementacja wybranych protokołów kryptograficznych 4hLab10 Wirusy. Cracking. 4h








Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W2, K1-K2 EgzaminF2 U1-U2, K1-K2 Listy zadan programistycznychP=60%*F1+40%*F2

2


1. Introduction to modern cryptography - Jonathan Katz, Yehuda Lindell

2. Kryptografia w teorii i praktyce - Douglas R. Stinson

3. The Art of Software Security Assessment – Identifying and Preventing Software Vulnerabilities - MarkDowd, John McDonald, Justin Schuh

OPIEKUN PRZEDMIOTU

dr Filip Zagórski

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUKryptografia i Bezpieczenstwo Komputerowe



Cele przed-miotu**



W1 K1_W01 K1_W09 C1 Wy1-Wy13 1 2 5W2 K1_W01 K1_W03 K1_W04 K1_W05

K1_W06 K1_W09 K1_W14C1 Wy1-Wy13 1 2 5

U1 K1_U01 K1_U02 K1_U03 K1_U12K1_U13 K1_U15 K1_U17 K1_U25K1_U30 K1_U32

C1 Lab1-Lab10 3 4 5

U2 K1_U12 K1_U13 K1_U15 K1_U25K1_U32

C1 Lab1-Lab10 3 4 5

K1 K1_K04 K1_K13 C1 C2 Wy1-Wy13Lab1-Lab10

1 2 3 4 5

K2 K1_K03 K1_K04 K1_K05 K1_K10K1_K11 K1_K13


1 2 3 4 5

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Ergonomia Systemów InformacyjnychNazwa w jezyku angielskim : Ergonomy of Information SystemsKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W24Grupa kursów : TAK


30 30


60 120


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIUmiejetnosc programowania wraz z podstawowymi umiejetnosciami z zakresu tworzenia interfejsu graficznego.

CELE PRZEDMIOTU

C1 Zapoznanie słuchaczy z podstawowymi zasadami budowy uzytecznych interfejsów

C2 Zdobycie umiejetnosci oceny uzyteczznosci typowych systemów informacyjnych i projektowaniauzytecznych interejsów

1


W1 Zna fachowe pojecia i zasady z zakresu ergonomii systemów informacyjnych

W2 Zna psychologiczne i społeczne uwarunkowania dotyczace funkcjonowania interfejsu uzytkownika

W3 Zna proces projektowania interfejsu uzytkownika.


U1 Umie zaprojektowac GUI systemu informatycznego

U2 Umie ocenic i przeprojektowac interfejs typowego systemu informatycznego


K1 Umie poznac potrzeby uzytkownika systemu informatycznego oraz klienta

K2 Potrafi stworzyc instrukcje uzytkownika oraz system pomocy

K3 Potrafi zaprojektowac i przeprowadzic cykl szkolen uzytkowników

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Podstawowe pojecia 2hWy2 Typowe błedy GUI. 2hWy3 Projektowanie GUI 6hWy4 Psychologiczne aspekty ergonomii systemów. 2hWy5 Dokumentacja GUI 2hWy6 Rozbudowa i przeprojektowywanie istniejacych systemów. 2hWy7 Testowanie 2hWy8 Podstawowe zasady DTP 2hWy9 GUI dla systemów niestandardowych 2hWy10 Ergonomia w systemach moblinych. 2hWy11 Uzytecznosc a bezpieczenstwo 4hWy12 Podsuowanie 2h

Forma zajec - laboratoriumLab1 Analiza podstawowych błedów GUI 6hLab2 Projekt i implementacja GUI systemu informatycznego sredniej wielkosci. 16hLab3 Eskeprtyza dotyczaca ergonomii systemu informatycznego 4hLab4 Szkolenie uzytkowników 4h

2








Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W3, K1-K3 KolokwiumF2 U1-U2, K1-K3 Ocena progrmówP=50%*F1+50%*F2


1. W.O.Galitz: The Essential Guide to User Interface Design: An Introduction to GUI Design Principles andTechniques

2. S.Krug: Don’t make me think !

OPIEKUN PRZEDMIOTU

dr Marek Klonowski

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUErgonomia Systemów Informacyjnych



Cele przed-miotu**



W1 K1_W14 K1_W15 K1_W17 C1 Wy1-Wy12 1 2 5W2 K1_W14 K1_W15 K1_W17 C1 Wy1-Wy12 1 2 5W3 K1_W14 K1_W15 K1_W17 C1 Wy1-Wy12 1 2 5U1 K1_U01 K1_U02 K1_U03 K1_U04

K1_U07 K1_U19 K1_U21 K1_U32C1 Lab1-Lab4 3 4 5

U2 K1_U01 K1_U03 K1_U15 K1_U21 C1 Lab1-Lab4 3 4 5K1 K1_K10 K1_K12 K1_K14 K1_K15 C1 C2 Wy1-Wy12

Lab1-Lab41 2 3 4 5


1 2 3 4 5


1 2 3 4 5

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Programowanie NiskopoziomoweNazwa w jezyku angielskim : Low-level ProgrammingKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W26Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIProgramowanie w C.

CELE PRZEDMIOTU

C1 Celem kursu jest zapoznanie studentów z budowa, działaniem procesorów oraz tworzeniem programów wasemblerze.

C2 Celem laboratoriów jest praktyczna nauka programowania w asemblerze dla podstawowych architektur ta-kich jak Intel 8051 oraz x86.

1


W1 Zna budowe i działanie mikrokontrolerów.

W2 Zna działanie kompilatora, asemblera.


U1 Potrafi implementowac podstawe algorytmy w jezyku asembler.

U2 Potrafi optymalizowac implementacje wprowadzajac wstawki asemblerowe.

U3 Potrafi korzystac z debugera.


K1 Rozumie stopien komplikacji zagadnien zwiazanych z przetwarzaniem danych.

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wprowadzenie. Rodzina procesorów AVR. 2hWy2 Podstawy asemblera. 2hWy3 Pamiedz i urzadzenia peryferyjne. 2hWy4 Obsługa danych, instrukcje skoku, rozwidlenia. 2hWy5 Operacje arytmetyczne i logiczne. 2hWy6 Przerwania, timery, liczniki. 2hWy7 Programowanie przewan. Format Intel HEX. 2hWy8 Rodzina procesorów 8051. 2hWy9 Architektura procesorów RISC. 2hWy10 Transmisja szeregowa w procesorach AVR i 8051. 2hWy11 Architektura procesorów x86. 2hWy12 Wybrane aspekty procesorów 80x86 2hWy13 Obsługa FPU, MMX, SSE. 2hWy14 Asembler w Windows, asembler w Linuksie. 2hWy15 Test koncowy. 2h

Forma zajec - laboratoriumLab1 Podstawy programowania mikrokontrolera AT90USBKey. 6hLab2 Obsługa wejscia/wyjscia i przerwan. 6hLab3 Transmisja szeregowa pomiedzy modułami AVR. 6hLab4 Wykorzystanie asemblera w programach dla x86. 6hLab5 Programowanie FPU. 6h

2







Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W2, K1-K1 EgzaminF2 U1-U3, K1-K1 Listy zadan programistycznychP=40%*F1+60%*F2


1. R.Baranowski. Mikrokontrolery AVR Atmega w praktyce. BTC. Warszawa 2005

2. J. Dolinski. Mikrokontrolery AVR w praktyce. BTC. Warszawa 2004

3. A. Pawluczuk. Sztuka programowania mikrokontrolerow AVR. Przyklady. BTC. Warszawa 2007

4. J. Morton. AVR: An introductory course. Newnes 2002

OPIEKUN PRZEDMIOTU

dr Filip Zagórski

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUProgramowanie Niskopoziomowe



Cele przed-miotu**



W1 K1_W02 K1_W13 C1 Wy1-Wy15 1 2 4W2 K1_W05 K1_W07 K1_W13 K1_W15 C1 Wy1-Wy15 1 2 4U1 K1_U06 C1 Lab1-Lab5 3 4U2 K1_U09 K1_U11 K1_U12 K1_U17

K1_U19 K1_U20 K1_U23 K1_U26K1_U27

C1 Lab1-Lab5 3 4

U3 K1_U09 K1_U22 C1 Lab1-Lab5 3 4K1 K1_K01 K1_K12 K1_K13 K1_K14 C1 C2 Wy1-Wy15

Lab1-Lab51 2 3 4

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Srodowisko ProgramistyNazwa w jezyku angielskim : Programmer environmentKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W27Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIPodstawowe wiadomosci z zakresu systemów operacyjnych. Znajomosc jezyków programowania C i Java.

CELE PRZEDMIOTU

C1 Zapoznanie z powszechnie dostepnymi i stosowanymi narzedziami wspomagajacymi prace programisty

C2 Nabycie praktycznych umiejetnosci w zakresie stosowania narzedzi programistycznych.

1


W1 Zrozumienie zastosowan i zasad działania repozytoriów i ich znaczenia w pracy zespołowej.

W2 Zrozumienie zasad działania oraz mozliwosci udostepnianych przez powłoke systemowa.

W3 Wiedza na temat typowych zaleznosci pomiedzy składnikami projektu programistycznego oraz mozliwoscinarzedzi automatycznej rekompilacji.

W4 Zrozumienie zasad pracy debuggera i narzedzi kontroli zarzadzania pamiecia oraz ich przydatnosci w wyna-jdywaniu błedów.

W5 Znajomosc zintegrowanych srodowisk programowania i narzedzi automatycznego generowania dokumen-tacji programu.


U1 Umiejetnosc korzystania z repozytoriów w pracy indywidualnej i zbiorowej

U2 Umiejetnosc korzystania z powłoki oraz dostepnych polecen systemowych i umiejetnosc pisania skryptów

U3 Umiejetnosc konstruowania opisu zaleznosci pomiedzy składnikami projektu programistycznego dlanarzedzi automatycznej rekompilacji

U4 Umiejetnosc korzystania z debuggera i narzedzi kontroli zarzadzania pamiecia

U5 Umiejetnosc wykorzystania mozliwosci oferowanych przez zintegrowane srodowiska programowania orazautomatycznego generowania dokumentacji.


K1 Przygotowanie do pracy grupowej nad projektem

K2 Rozumie potrzebe dokumentacji róznych aspektów tworzonego oprogramowania oraz rzetelnej, drobiaz-gowej i nieustajacej analizy kodu tworzonego oprogramowania

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Repozytorium 4hWy2 Repozytoria rozproszone 4hWy3 Powłoka i narzedzia dostepne w systemach Linux i Unix 6hWy4 Automatyzacja rekompilacji programów 4hWy5 Deugowanie programów 2hWy6 Srodowiska zintegrowane i narzedzia programowania w popularnych jezykach programowa-

nia6h

Wy7 Generowanie dokumentacji 2hWy8 Kontrolowanie zarzadzania pamiecia 2h

2

Forma zajec - laboratoriumLab1 Repozytorium 6hLab2 Repozytoria rozproszone 4hLab3 Programowanie skryptów systemowych 6hLab4 Narzedzia automatycznej rekompilacji 4hLab5 Debugowanie programów i kontrola pamieci 6hLab6 Srodowiska programistyczne 4h






Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W5, K1-K2 Kolokwium sprawdzajace wiedzeF2 U1-U5, K1-K2 Oceny z wykonanych zadan prakty-

cznychP=40%*F1+60%*F2


1. http://svnbook.red-bean.com/

2. http://mercurial.selenic.com/

3. http://book.git-scm.com/

4. http://www.gnu.org/software/bash/manual/

5. http://www.gnu.org/software/make/manual/

6. http://www.gnu.org/software/gdb/documentation/

7. http://www.stack.nl/ dimitri/doxygen/

8. http://valgrind.org/

9. http://www.gnu.org/software/coreutils/manual/

10. http://netbeans.org/

11. http://www.oracle.com/technetwork/java/javase/documentation/index.html

12. http://sourceware.org/autobook/

OPIEKUN PRZEDMIOTU

dr Marcin Kik

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUSrodowisko Programisty



Cele przed-miotu**



W1 K1_W14 K1_W15 C1 Wy1-Wy8 1 3W2 K1_W04 K1_W05 K1_W06 K1_W07

K1_W08 K1_W13 K1_W15C1 Wy1-Wy8 1 3

W3 K1_W06 K1_W15 C1 Wy1-Wy8 1 3W4 K1_W04 K1_W06 K1_W08 K1_W13

K1_W15C1 Wy1-Wy8 1 3

W5 K1_W08 K1_W15 C1 Wy1-Wy8 1 3U1 K1_U02 K1_U03 K1_U15 K1_U19

K1_U22 K1_U25 K1_U26C1 Lab1-Lab6 2 3


C1 Lab1-Lab6 2 3

U3 K1_U02 K1_U03 K1_U04 K1_U15K1_U18 K1_U19 K1_U22 K1_U27

C1 Lab1-Lab6 2 3

U4 K1_U01 K1_U03 K1_U06 K1_U17 C1 Lab1-Lab6 2 3U5 K1_U12 K1_U15 K1_U16 K1_U17

K1_U18 K1_U19 K1_U22 K1_U23C1 Lab1-Lab6 2 3

K1 K1_K01 K1_K06 K1_K07 K1_K08K1_K09 K1_K10 K1_K13


1 2 3


1 2 3

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Niezawodne Systemy InformatyczneNazwa w jezyku angielskim : Reliable SystemsKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W28Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIWymaga sie zaliczenie modułów „Kurs programowania” i „Technologia programowania”.Zaleca sie wybranie modułu „Automatyczna weryfikacja”.

CELE PRZEDMIOTU

C1 Poznanie zagadnien zwiazanych z projektowaniem i implementacja systemów spełniajacych krytycznewymagania

C2 Opanowanie narzedzi słuzacych tworzeniu systemów spełniajacych krytyczne wymagania

1


W1 Zna wymogi stawiane systemom krytycznym

W2 Zna wybrane metody weryfikacji poprawnosci programów

W3 Zna projektowanie kontraktowe jako metode tworzenia niezawodnego oprogramowania


U1 Umie napisac formalna specyfikacje kodu w jezyku SPARK

U2 Umie weryfikowac zgodnosc kodu w jezyku SPARK z jego formalna specyfikacja

U3 Umie programowac w jezyku opracowanym dla systemów spełniajacych krytyczne wymagania


K1 Jest swiadomy wymogów stawianych krytycznym systemom i zna narzedzia umozliwiajace ich spełnienie

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Wprowadzenie w problematyke niezawodnosci 2hWy2 Niezawodnosc oprogramowania 2hWy3 Niezawodnosc sprzetu 2hWy4 Elementy jezyka Ada 2hWy5 Elementy jezyka SPARK 2hWy6 Struktura SPARK 2hWy7 Model typów w SPARK 2hWy8 Sterowanie i przepływ danych w SPARK 2hWy9 Pakiety i zasieg nazw w SPARK 2hWy10 Egzaminator w SPARK 2hWy11 Analiza przepływu w SPARK 2hWy12 Weryfikacja w SPARK 2hWy13 Projektowanie kontraktowe 2hWy14 Kontrakty w jezykach Eiffel i Java 2hWy15 CodePeer i kontrakty w jezyku Ada 2012 2h

Forma zajec - laboratoriumLab1 Srodowisko programowania 2hLab2 Programowanie w jezyku Ada 6hLab3 Projektowanie pakietów w jezyku Ada 6hLab4 Programowanie w jezyku SPARK 6hLab5 Weryfikacja programów w jezyku SPARK 6hLab6 Analiza sciezek obliczen w jezyku SPARK 4h

2





4. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W3, K1-K1 KolokwiumF2 U1-U3, K1-K1 Kontrola realizacji list zadanP=60%*F1+40%*F2


1. J. Barnes. High Integrity Software. The SPARK Approach to Safety and Security. Addison-Wesley, 2006.

2. J. Barnes. Programming in Ada 2005. Addison-Wesley, 2006.

3. I. Koren, C.M. Krishna. Fault-Tolerant Systems. Morgan Kaufmann Publishers, 2007.

4. A. Hunt, D. Thomas. Pragmatyczny programista. Od czeladnika do mistrza. Wydawnictwa Naukowo-Techniczne, 2002.

OPIEKUN PRZEDMIOTU


3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUNiezawodne Systemy Informatyczne



Cele przed-miotu**



W1 K1_W05 K1_W08 K1_W15 C1 Wy1-Wy15 1 2 4 5W2 K1_W01 K1_W04 K1_W15 C1 Wy1-Wy15 1 2 4 5W3 K1_W04 K1_W15 C1 Wy1-Wy15 1 2 4 5U1 K1_U10 K1_U22 K1_U31 C1 Lab1-Lab6 3 4 5U2 K1_U10 K1_U22 K1_U31 C1 Lab1-Lab6 3 4 5U3 K1_U17 K1_U19 C1 Lab1-Lab6 3 4 5K1 K1_K13 K1_K14 C1 C2 Wy1-Wy15

Lab1-Lab61 2 3 4 5

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Programowanie - Wykład MonograficznyNazwa w jezyku angielskim : Programming Monographic LectureKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : wybieralnyKod przedmiotu : E1_W29Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIWymagania wstepne zostana sprecyzowane przed uruchomieniem kursu

CELE PRZEDMIOTU

C1 Omówienie nowych koncepcji/narzedzi programistycznych przez wizytujacych gosci PolitechnikiWrocławskiej Szczegółowa tresc kursu zostanie podana przed rozpoczeciem zajec.

C2 Opanowanie praktycznych aspektów nowoczesnych technologii programistycznych omówionych nawykładach


W1 Zapoznanie sie z nowymi technikami programowania


U1 Praktyczne opanowanie nowych techniki programowania omawianymi na wykładach


K1 Rozumie potrzebe sledzenia nowych trendów w programowaniu

TRESCI PROGRAMOWE

1

Forma zajec - wykładyWy1 Omówienie wybranych narzedzi programistycznych przez goscia wizytujacego uczelnie 30h

Forma zajec - laboratoriumSTOSOWANE NARZEDZIA DYDAKTYCZNE




4. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1, K1-K1 Kolokwium zaliczenioweF2 U1-U1, K1-K1P=50%*F1+%*F2



OPIEKUN PRZEDMIOTU

prof. Jacek Cichon

2

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUProgramowanie - Wykład Monograficzny



Cele przed-miotu**



W1 K1_W05 K1_W08 K1_W16 C1 Wy1-Wy1 1 4 5U1 K1_U01 K1_U07 K1_U22 K1_U23 C1 Lab1-Lab0 2 3 4 5K1 K1_K01 K1_K09 K1_K15 C1 C2 Wy1-Wy1

Lab1-Lab01 2 3 4 5

3

Zał nr 4 do ZW


Nazwa w jezyku polskim : PraktykaNazwa w jezyku angielskim : PracticeKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_I12Grupa kursów : TAK

Wykład Cwiczenia Laboratorium Projekt SeminariumLiczba godzin zajec zorganizowanych wUczelni (ZZU)Liczba godzin całkowitego nakładu pracystudenta (CNPS)

150


X


6

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIwymagania wstepne okresla pracodawca kierujac sie charakterem wykonywanych prac

CELE PRZEDMIOTU

C1 zdobycie doswiadczenia w zawodzie inforamtyka w rzeczywistych warunkach rynkowych

1


W1 posiada podstawowa wiedze z obszaru działalnosci pracodawcy

W2 posiada praktyczna wiedze w zakresie zastosowanych na praktyce technik organizacji projektów inforamty-cznych

W3 posiada wiedze na temat sotoswanych u pracodawcy metod zapewniania jakosci


U1 potrafi prowadzic dokumentacje przedsiewziecia informatycznego w zakresie własnej pracy

U2 potrafi dostosowac sie do specyficznych technik i systemów uzywanych przez pracodawce

U3 potrafi wykonywac nałozone zadanie zgodnie z normami i standardami

U4 potrafi oszacowac nakład pracy dla wykonania okreslonego zadania


K1 umiejetnosc wyszukiwania kontrahenta, negocjowania, zawarcia umowy o wykonanie prac informatycznych

K2 umie adoptowac sie do wymagan pracodawcy

K3 umie respektowac interesy pracodawcy i chronic tajemnice zawodowe

TRESCI PROGRAMOWE

Praktyka zawodowa odbywana w podmiocie realizujacym zadania informatyczne lub samodzielna działalnoscgospodarcza o charakterze informatycznym.




Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W3, U1-U4, K1-K3 ocena wykonania zadan nałozonych

przez pracodawce z uwzglednie-niem oceny skali trudnosci zadan iich zaawansowania technicznego

P=100%*F1LITERATURA PODSTAWOWA I UZUPEŁNIAJACA

1. zakres literatury, dokumentacji itp. definiuje pracodawca pod katem wykonywanych zadan

OPIEKUN PRZEDMIOTU

prof. Mirosław Kutyłowski

2

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUPraktyka



Cele przed-miotu**



W1 K1_W14 K1_W15 K1_W16 K1_W17 C1 1W2 K1_W14 K1_W17 C1 1W3 K1_W15 K1_W16 K1_W17 C1 1U1 K1_U01 K1_U02 K1_U04 K1_U08 C1 1U2 K1_U01 K1_U02 K1_U06 K1_U15

K1_U18 K1_U19 K1_U21 K1_U22C1 1


C1 1

U4 K1_U15 K1_U16 C1 1K1 K1_K01 K1_K02 K1_K03 K1_K04

K1_K08 K1_K10 K1_K11 K1_K13C1 1

K2 K1_K01 K1_K02 K1_K03 K1_K04K1_K06 K1_K07 K1_K08 K1_K10K1_K11 K1_K12 K1_K13 K1_K14K1_K15

C1 1

K3 K1_K01 K1_K03 K1_K04 K1_K07K1_K10 K1_K11

C1 1

3

Zał nr 4 do ZW


Nazwa w jezyku polskim : FizykaNazwa w jezyku angielskim : PhysicsKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_T07Grupa kursów : TAK


30 30


60 60


X


2


2 2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIKompetencje w zakresie matematyki i fizyki potwierdzone pozytywnymi ocenami na swiadectwie ukonczeniaszkoły ponadgimnazjalnej. Znajomosc analizy matematycznej na poziomie kursu Analiza Matematyczna I

CELE PRZEDMIOTU

C1 Nabycie podstawowej wiedzy z nastepujacych działów fizyki: Mechaniki klasycznej, Ruchu drgajacego,Elektrycznosci i magnetyzmu z elementami optyki geometrycznej i falowej, Szczególnej teorii wzgled-nosci, Fizyki kwantowej

C2 Zdobycie umiejetnosci jakosciowej i ilosciowej analizy zjawisk fizycznych, a takze praktycznego stosowania(aplikacji) tych umiejetnosci w procesach technologicznych podlegajacych prawom nastepujacych dziedzinfizyki: Mechaniki klasycznej, Ruchu drgajacego, Elektrycznosci i magnetyzmu z elementami optyki ge-ometrycznej i falowej, Szczególnej teorii wzglednosci, Fizyki kwantowej

1


W1 Zna podstawowe pojecia kinematyki

W2 Zna zasady dynamiki Newtona.

W3 Zna prawa zachowania energii, pedu i momentu obrotowego

W4 Zna podstawowe zasady zachowania oraz zwiazek miedzy praca i energia kinetyczna

W5 Zna pojecie ruchu postepowego i obrotowego układów punktów materialnych i brył sztywnych

W6 Zna pojecie ruchu drgajacego

W7 Zna równania Maxwella

W8 Zna podstawy szczególnej teorii wzglednosci

W9 Zna podstawowe pojecia fizyki kwantowej


U1 Umie posługiwania sie wybranymi metodami rachunku wektorowego i rózniczkowego rachunku wek-torowego

U2 Umie stosowac transformacje Galileusza i Lorentza.

U3 Umie zastosowac prawa zachowania do analizy prostych układów czastek materialnych.

U4 Umie wyznaczac wielkosci kinematyczne w ruchach postepowym i obrotowym

U5 Umie stosowac zasady dynamiki do opisu ruchu ciała

U6 Umie stosowac pojecia pracy i energii kinetycznej bryły sztywnej do rozwiazywania problemów zwiazanychz ruchem obrotowym bryły sztywnej

U7 Umie opisc własnosci ruchu okresowego

U8 Umie przeprowadzic proste analizy własnosci pola elektromagnetycznego

U9 Umie przedstawic jakosciowy opis oddziaływania promieniowania (fal elektromagnetycznych) z materia

U10 Umie przeprowadzic ilosciowy opis wybranych zjawisk kwantowych


K1 Rozumie podstawy współczesnej fizyki

K2 Rozumie potrzebe ustawicznego podnoszenia swoich kwalifikacji

TRESCI PROGRAMOWE

2

Forma zajec - wykładyWy1 Kinematyka. Zasady dynamiki Newtona. 4hWy2 Praca i energia kinetyczna, siły potencjalne i zasada zachowania energii mechanicznej 2hWy3 Zasada zachowania pedu. Zderzenia. 2hWy4 Dynamika ruchu obrotowego układów punktów materialnych i bryły sztywnej. Zasada za-

chowania momentu pedu.2h

Wy5 Ruch drgajacy. 2hWy6 Równania Maxwella. 6hWy7 Fale elektromagnetyczne, optyka geometryczna, interferencja i dyfrakcja swiatła. 4hWy8 Szczególna teoria wzglednosci 4hWy9 Fizyka kwantowa 4h

Forma zajec - cwiczeniaCw1 Rozwiazywanie zadan z kinematyki punktu materialnego – ruch jednowymiarowy, ruch

dwuwymiarowy.3h

Cw2 Zastosowanie zasad dynamiki w rozwiazywaniu problemów dynamicznych w ruchu jed-nowymiarowym i ruchu płaszczyznowym.

2h

Cw3 Zastosowanie zasady zachowania energii mechanicznej w analizie problemów mechanikipunktu materialnego.

2h

Cw4 Rozwiazywanie zadan z wykorzystaniem zasady zachowania pedu – zderzenia niesprezyste,sprezyste zderzenia centralne i niecentralne, ped układów o zmiennej masie, ped układówczastek.

2h

Cw5 Rozwiazywanie zadan z dynamiki ruchu obrotowego punktu materialnego i bryły sztywnej. 1hCw6 Rozwiazywanie zadan dotyczacych ruchu drgajacego 2hCw7 Rozwiazywanie zadan polegajacych na okresleniu natezenia pola elektrostatycznego (prawo

Gaussa), indukcji pola magnetycznego (prawo Ampere’a) i siły elektromotorycznej (prawoFaradaya).

2h

Cw8 Pisemne kolokwium sprawdzajace umiejetnosci nabyte na cwiczeniach. 1hSTOSOWANE NARZEDZIA DYDAKTYCZNE



3. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W9, K1-K2 Egzamin pisemnyF2 U1-U10, K1-K2 Kolokwia i aktywnosc na cwiczeni-

achP=75%*F1+25%*F2

3


1. D. Halliday, R. Resnick, J. Walker, Podstawy fizyki, Wydawnictwo Naukowe PWN, Warszawa 2003; J.Walker, Podstawy fizyki. Zbiór zadan, PWN, Warszawa 2005.

2. R. B. Singh, Introduction to Modern Physics. Vol I, New Age International Limited, 2002

3. J. Orear, Fizyka, tom 1,2, WNT, Warszawa 2008.

4. R. A. Serway, Physics for Scientists and Engineers with Modern Physics, 4th Ed., Saunders College Pub-lishing, 1996.

5. G. Haran, Notatki do wykładu z fizyki ogólnej, strona http://www.if.pwr.wroc.pl/ gharan

6. G. Haran, Zbiór zadan, strona http://www.if.pwr.wroc.pl/ gharan

OPIEKUN PRZEDMIOTU

dr hab. Grzegorz Haran

4

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUFizyka



Cele przed-miotu**



W1 K1_W01 K1_W02 C1 Wy1-Wy9 1 3 4W2 K1_W01 K1_W02 C1 Wy1-Wy9 1 3 4W3 K1_W02 C1 Wy1-Wy9 1 3 4W4 K1_W01 K1_W02 C1 Wy1-Wy9 1 3 4W5 K1_W01 K1_W02 C1 Wy1-Wy9 1 3 4W6 K1_W01 K1_W02 C1 Wy1-Wy9 1 3 4W7 K1_W01 K1_W02 C1 Wy1-Wy9 1 3 4W8 K1_W01 K1_W02 C1 Wy1-Wy9 1 3 4W9 K1_W01 K1_W02 C1 Wy1-Wy9 1 3 4U1 K1_U10 K1_U31 C2 Cw1-Cw8 2 3 4U2 K1_U10 K1_U31 C2 Cw1-Cw8 2 3 4U3 K1_U02 K1_U10 K1_U19 K1_U31 C2 Cw1-Cw8 2 3 4U4 K1_U10 K1_U31 C2 Cw1-Cw8 2 3 4U5 K1_U10 K1_U31 C2 Cw1-Cw8 2 3 4U6 K1_U10 K1_U31 C2 Cw1-Cw8 2 3 4U7 K1_U10 K1_U31 C2 Cw1-Cw8 2 3 4U8 K1_U31 C2 Cw1-Cw8 2 3 4U9 K1_U31 C2 Cw1-Cw8 2 3 4U10 K1_U10 K1_U31 C2 Cw1-Cw8 2 3 4K1 K1_K01 K1_K14 C1 C2 Wy1-Wy9

Cw1-Cw81 2 3 4

K2 K1_K01 K1_K03 K1_K12 K1_K14 C1 C2 Wy1-Wy9Cw1-Cw8

1 2 3 4

5

Zał nr 4 do ZW


Nazwa w jezyku polskim : Logika i Struktury FormalneNazwa w jezyku angielskim : Logic and Formal StructuresKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_T03Grupa kursów : TAK


60 30


120 120


X


3


5 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIDo tego modułu nie sa okreslone wymagania wstepne.

CELE PRZEDMIOTU

C1 Omówienie podstawowych pojec, twierdzen oraz metod rachunku zdan, rachunku kwantyfikatorów, teoriizbiorów oraz struktur formalnych.

C2 Praktyczne opanowanie podstawiwych metod rachunku zdan, rachunku kwantyfikatorów, teorii zbiorów orazstruktur formalnych.

1


W1 Zna pojecie tautologii

W2 Zna pojecie sumy, przekroju, róznicy, róznicy symetryczne i dopełnienia zbiorów

W3 Zna interpretacje kwantyfikatorów

W4 Zna pojecie relacji, funkcji oraz podstawowe klasy relacji

W5 Zna podstawowe warianty indukcji matematycznej

W6 Zna pojecie zbioru mocy alef zero oraz zbioru mocy continuum

W7 Zna pojecie dobrego porzadku

W8 Zna pojecie teorii niesprzecznej

W9 Zna aksjomatyke Peano liczb naturalnych

W10 Zna interpretacje spójników modalnych


U1 Umie stwierdzic, czy dane zdanie jest tautologia

U2 Umie wykonywac podstawowe operacje na zbiorach

U3 Umie zapisac formułe uzywajac kwantyfikatorów

U4 Umie stwierdzic do jakiej klasy nalezy dana funkcja, relacja

U5 Umie stosowac Zasade Indukcji Matematycznej

U6 Umie stwierdzic, czy dany zbiór jest mocy alef zero, continuum

U7 Umie wykorzystac dobre uporzadkowanie zbioru

U8 Umie stwierdzic, ze dana teoria jest niesprzeczna

U9 Umie pokazywac podstawowe własnosci liczb naturalnych uzywajac Aksjomatyki Peano

U10 Umie zapisac i odczytac zdanie w logice modalnej


K1 Rozumie pojecie teorii sprzecznej i niezupełnej

K2 Rozumie pojecie nieskonczonosci

TRESCI PROGRAMOWE

2

Forma zajec - wykładyWy1 Rachunek zdan 4hWy2 Zbiory 4hWy3 Kwantyfikatory 4hWy4 Relacje - I 4hWy5 Relacje - II 4hWy6 Indukcja matematyczna. 4hWy7 Równolicznosc - I 4hWy8 Równolicznosc - II 4hWy9 Dobre porzadki 4hWy10 Struktury, waluacje i spełnianie 4hWy11 Teorie. 4hWy12 Twierdzenie o zwartosci. 4hWy13 Arytmetyka Peano 4hWy14 Logiki modalne. 4hWy15 Podsumowanie 4h

Forma zajec - cwiczeniaCw1 Rachunek zdan 2hCw2 Zbiory 2hCw3 Kwantyfikatory 2hCw4 Relacje I 2hCw5 Relacje II 2hCw6 Indukcja matematyczna 2hCw7 Równolicznosc I 2hCw8 Równolicznosc II 2hCw9 Dobre porzadki 2hCw10 Struktury, waluacje i spełnianie 2hCw11 Teorie 2hCw12 Twierdzenie o zwartosci 2hCw13 Arytmetyka Peano 2hCw14 Logiki modalne 2hCw15 Podsumowanie 2h




3. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W10, K1-K2 egzaminF2 U1-U10, K1-K2 kolokwiaP=50%*F1+50%*F2

3


1. J. Cichon, Wykłady ze wstepu do matematyki, DWE, 2003

2. W. Guzicki, P. Zakrzewski, Wykłady ze wstepu do matematyki, wstep do teorii mnogosci

3. J. Kraszewski, Wstep do matematyki, WNT, 2007

OPIEKUN PRZEDMIOTU

dr Szymon Zeberski

4

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTULogika i Struktury Formalne



Cele przed-miotu**



W1 K1_W01 K1_W05 K1_W06 K1_W08 C1 Wy1-Wy15 1 3 4W2 K1_W01 K1_W04 K1_W05 K1_W06 C1 Wy1-Wy15 1 3 4W3 K1_W01 K1_W04 K1_W06 C1 Wy1-Wy15 1 3 4W4 K1_W01 K1_W04 K1_W06 C1 Wy1-Wy15 1 3 4W5 K1_W01 K1_W04 K1_W05 C1 Wy1-Wy15 1 3 4W6 K1_W01 C1 Wy1-Wy15 1 3 4W7 K1_W01 K1_W03 K1_W06 C1 Wy1-Wy15 1 3 4W8 K1_W01 C1 Wy1-Wy15 1 3 4W9 K1_W01 K1_W06 C1 Wy1-Wy15 1 3 4W10 K1_W01 K1_W04 C1 Wy1-Wy15 1 3 4U1 K1_U10 K1_U19 K1_U31 C2 Cw1-Cw15 2 3 4U2 K1_U10 K1_U19 K1_U28 K1_U31 C2 Cw1-Cw15 2 3 4U3 K1_U10 K1_U31 C2 Cw1-Cw15 2 3 4U4 K1_U10 K1_U31 C2 Cw1-Cw15 2 3 4U5 K1_U10 K1_U31 C2 Cw1-Cw15 2 3 4U6 K1_U31 C2 Cw1-Cw15 2 3 4U7 K1_U10 K1_U31 C2 Cw1-Cw15 2 3 4U8 K1_U31 C2 Cw1-Cw15 2 3 4U9 K1_U10 K1_U31 C2 Cw1-Cw15 2 3 4U10 K1_U10 K1_U31 C2 Cw1-Cw15 2 3 4K1 K1_K01 K1_K02 K1_K04 K1_K07

K1_K13C1 C2 Wy1-Wy15

Cw1-Cw151 2 3 4


1 2 3 4

5

Zał nr 4 do ZW


Nazwa w jezyku polskim : Matematyka DyskretnaNazwa w jezyku angielskim : Discrete MathematicsKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_T06Grupa kursów : TAK


30 30


90 90


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIWstep do Logiki i Struktur Formalnych, Analiza Matematyczna I

CELE PRZEDMIOTU

C1 Omówienie najwazniejszych elementów Matematyki Dyskretnej wykorzystywanych w Informatyce do anal-izy oraz projektowania algorytmów

C2 Opanowanie formalnych narzedzi Matematyki Dyskretnej oraz nabranie praktycznej wprawy w posługiwa-niu sie podstawowymi obiektami matematyki dyskretnej (zbiory skonczone, multizbiory, partycje, permu-tacje, podziały, klasy kombinatoryczne, funkcje tworzace, drzewa ...) wykorzystywanymi do projektowaniaoraz analizy algorytmów

1


W1 Zna pojecie symbolu Newtona

W2 Zna pojecie liczb Stirlinga

W3 Zna podstawowe własnosci permutacji

W4 Zna pojecie funkcji tworzacej

W5 Zna pojecie dyskretnej przestrzeni probabilistycznej

W6 Zna rózne warianty pojecia grafu

W7 Zna pojecie multizbioru

W8 Zna pojecie drzewa porzadkowego i grafowego


U1 Umie posługiwac sie symbolem Newtona

U2 Umie posługiwac sie liczbami Stirlinga

U3 Potrafi posługiwac sie pojeciem permutacji

U4 Potrafi rozwiazywac równania rekurencyjne

U5 Potrafi obliczyc prawdopodobienstwo dyskretne

U6 Potrafi zliczac podstawowe klasy drzew

U7 Potrafi wymodelowac analizowane zjawisko za pomoca grafów

U8 Potrafi zbudowac drzewo spinajace grafu spójnego

U9 Potrafi stosowac techniki przestrzeni metrycznych do grafów

U10 Potrafi posługiwac sie pojeciem multi-zbioru


K1 Zna zastosowanie grafów do róznych działów nauki

TRESCI PROGRAMOWE

2

Forma zajec - wykładyWy1 Wprowadzenie 2hWy2 Symbol Newtona - I 2hWy3 Symbol Newtona - II 2hWy4 Permutacje 2hWy5 Prawdopodobienstwo dyskretne 2hWy6 Zmienne losowe na przestrzeniach skonczonych 2hWy7 Klasy kombinatoryczne i funkcje tworzace 2hWy8 Funkcje tworzace 2hWy9 Drzewa 2hWy10 Multizbiory, cykle, rozbicia 2hWy11 Liczby Stirlinga 2hWy12 Grafy - I 2hWy13 Grafy - II 2hWy14 Podzbiory grafów. 2hWy15 Internet jako graf 2h

Forma zajec - cwiczeniaCw1 Symbol Newtona 4hCw2 Partycje i liczby Stirlinga 2hCw3 Permutacje i wektor inwersji 2hCw4 Prawdopodobienstwo dyskretne 4hCw5 Klasy kombinatoryczne i funkcje tworzace 4hCw6 Równania rekurencyjne 2hCw7 Permutacje, multizbiory, liczby Stirlinga 2hCw8 Drzewa 4hCw9 Grafy 4h





4. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W8, K1-K1 Egzamin koncowyF2 U1-U10, K1-K1 Dwa kolokwia zaliczenioweP=60%*F1+40%*F2

3


1. Ronald L. Graham, Donald E. Knuth, Oren Patashnik, Matematyka konkretna, PWN 2011

2. Robin J. Wilson, Wprowadzenie do teorii grafów, PWN 2010

3. P. Flajolet and R. Sedgewick, Analytic Combinatorics, Cambridge University Press, 2008

OPIEKUN PRZEDMIOTU

prof. Jacek Cichon

4

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUMatematyka Dyskretna



Cele przed-miotu**



W1 K1_W01 K1_W02 K1_W03 K1_W04 C1 Wy1-Wy15 1 2 4 5W2 K1_W01 K1_W06 K1_W10 C1 Wy1-Wy15 1 2 4 5W3 K1_W01 K1_W04 K1_W05 C1 Wy1-Wy15 1 2 4 5W4 K1_W01 K1_W02 K1_W04 K1_W05 C1 Wy1-Wy15 1 2 4 5W5 K1_W01 K1_W02 K1_W03 K1_W05 C1 Wy1-Wy15 1 2 4 5W6 K1_W01 K1_W02 K1_W04 K1_W06 C1 Wy1-Wy15 1 2 4 5W7 K1_W01 K1_W03 K1_W04 K1_W06 C1 Wy1-Wy15 1 2 4 5W8 K1_W01 K1_W02 K1_W04 K1_W05

K1_W06C1 Wy1-Wy15 1 2 4 5

U1 K1_U10 K1_U18 K1_U31 C2 Cw1-Cw9 3 4 5U2 K1_U10 K1_U28 K1_U31 C2 Cw1-Cw9 3 4 5U3 K1_U09 K1_U10 K1_U12 K1_U13

K1_U17 K1_U31C2 Cw1-Cw9 3 4 5

U4 K1_U10 K1_U17 K1_U31 C2 Cw1-Cw9 3 4 5U5 K1_U09 K1_U10 K1_U31 C2 Cw1-Cw9 3 4 5U6 K1_U09 K1_U10 K1_U17 K1_U31 C2 Cw1-Cw9 3 4 5U7 K1_U10 K1_U13 K1_U17 K1_U19

K1_U31C2 Cw1-Cw9 3 4 5

U8 K1_U10 K1_U31 C2 Cw1-Cw9 3 4 5U9 K1_U03 K1_U10 K1_U11 K1_U17

K1_U19 K1_U30 K1_U31C2 Cw1-Cw9 3 4 5

U10 K1_U28 K1_U30 K1_U31 C2 Cw1-Cw9 3 4 5K1 K1_K01 K1_K13 K1_K14 C1 C2 Wy1-Wy15

Cw1-Cw91 2 3 4 5

5

Zał nr 4 do ZW


Nazwa w jezyku polskim : Analiza Matematyczna INazwa w jezyku angielskim : Mathematical Analysis IKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_T01Grupa kursów : TAK


45 30


125 85


X


3


4 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIDo tego modułu nie sa okreslone wymagania wstepne.

CELE PRZEDMIOTU

C1 Omówienie podstawowych pojec, twierdzen oraz metod analizy matematycznej funkcji jednej zmiennejrzeczywistej

C2 Praktyczne opanowanie podstawowych metod analizy funkcji jednej zmiennej rzeczywistej (granice ciagówi funkcji, rózniczkowanie, całkowanie, szeregi potegowe)

1


W1 Zna pojecie granicy ciagu i pojecie zbieznosci szeregu

W2 Zna pojecie ciagłosci funkcji

W3 Zna pojecie pochodnej funkcji jednej zmiennej

W4 Zna pojecie całki Riemana funkcji jednej zmiennej


U1 Potrafi wyznaczyc granice ciagów i zbadac zbieznosc szeregów

U2 Potrafi wyznaczac granice funkcji i zbadac ciagłosc funkcji

U3 Potrafi posługiwac sie metodami rachunku rózniczkowego

U4 Potrafi zbadac przebieg zmiennosci funkcji jednej zmiennej

U5 Potrafi posługiwac sie metodami rachunku całkowego


K1 Potrafi zbudowac wizualizacje analizowanych zagadnien analitycznych.

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Liczby rzeczywiste 3hWy2 Ciagi liczbowe 3hWy3 Szeregi liczbowe 4hWy4 Granica funkcji 4hWy5 Funkcje ciagłe 3hWy6 Pochodne funkcji 4hWy7 Twierdzenia rachunku rózniczkowego 2hWy8 Wzór Taylora 3hWy9 Funkcje wypukłe 2hWy10 Badanie funkcji 2hWy11 Całka Riemanna 3hWy12 Podstawowe twierdzenia rachunku całkowego 1hWy13 Podstawowe techniki całkowania 3hWy14 Zastosowania rachunku całkowego 1hWy15 Całki niewłasciwe 2hWy16 Funkcje specjalne Gamma i Beta Eulera 1hWy17 Szeregi potegowe 1hWy18 Zastosowania szeregów potegowych do kombinatoryki 1hWy19 Podsumowanie 2h

2

Forma zajec - cwiczeniaCw1 Wprowadzenie 2hCw2 Liczby naturalne, wymierne i rzeczywiste 2hCw3 Ciagi liczbowe i zbieznosc 4hCw4 Szeregi liczbowe 2hCw5 Granice funkcji 2hCw6 Funkcje ciagłe 2hCw7 Kolokwium 2hCw8 Pochodne funkcji -I 1hCw9 Pochodne funkcji -II 2hCw10 Wzór Taylora 2hCw11 Badanie funkcji 1hCw12 Całkowanie -I 2hCw13 Całkowanie - II 1hCw14 Całki niewłasciwe 1hCw15 Kolokwium 2hCw16 Podsumowanie 2h





4. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W4, K1-K1 egzaminF2 U1-U5, K1-K1 kolokwia, aktywnoscP=50%*F1+50%*F2


1. K. Kuratowski, Rachunek rózniczkowy i całkowy. Funkcje jednej zmiennej.

2. F. Leja, Rachunek rózniczkowy i całkowy

3. G.M. Fichtenholz, Rachunek rózniczkowy i całkowy Tom I

4. W.F.Trench, Introduction to real analysis, wersja online ramanu-jan.math.trinity.edu/wtrench/misc/index.shtml

5. strona internetowa pakietu matematycznego

OPIEKUN PRZEDMIOTU

dr Rafał Kapelko

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUAnaliza Matematyczna I



Cele przed-miotu**



W1 K1_W01 K1_W04 C1 Wy1-Wy19 1 2 4 5W2 K1_W01 C1 Wy1-Wy19 1 2 4 5W3 K1_W01 K1_W02 C1 Wy1-Wy19 1 2 4 5W4 K1_W01 K1_W05 C1 Wy1-Wy19 1 2 4 5U1 K1_U10 K1_U31 C2 Cw1-Cw16 3 4 5U2 K1_U02 K1_U31 C2 Cw1-Cw16 3 4 5U3 K1_U02 K1_U10 K1_U31 C2 Cw1-Cw16 3 4 5U4 K1_U11 K1_U12 K1_U31 C2 Cw1-Cw16 3 4 5U5 K1_U12 K1_U31 C2 Cw1-Cw16 3 4 5K1 K1_K01 K1_K12 K1_K13 K1_K14 C1 C2 Wy1-Wy19

Cw1-Cw161 2 3 4 5

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Algebra z Geometria AnalitycznaNazwa w jezyku angielskim : Algebra and Analytic GeometryKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_T02Grupa kursów : TAK


60 30


120 90


X


3


4 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIDla tego przedmiotu nie sa okreslone wymagania wstepne.

CELE PRZEDMIOTU

C1 Poznanie własnosci podstawowych pojec algebry, algebry liniowej i geometrii analitycznej

C2 Zdobycie praktycznych umiejetnosci stosowania podstawowych pojec algebry, algebry liniowej i geometriianalitycznej

1


W1 Zna pojecie i przykłady grup, pierscieni i ciał. Zna pojecie wielomianu i Zasadnicze Twierdzenie Algebry.

W2 Zna twierdzenie Kroneckera-Capellego. Zna pojecie bazy i wymiaru przestrzeni liniowej oraz pod-przestrzeni liniowej.

W3 Zna pojecie macierzy przekształcenia liniowego, jego obrazu i jadra oraz wartosci własnych i wektorówwłasnych. Zna pojecie sumy prostej ortogonalnej podprzestrzeni liniowej i jej dopełnienia ortogonalnegow przestrzeni euklidesowej.

W4 Zna kryterium Sylvestera dla form kwadratowych. Zna rozkład wzgledem wartosci szczególnych macierzy.Zna normy macierzy. Zna równania prostych, płaszczyzn oraz krzywych drugiego stopnia.


U1 Potrafi wykonywac działania w prostych grupach, w ciele liczb zespolonych oraz na wielomianach.

U2 Potrafi rozwiazywac układy równan liniowych, obliczac macierze odwrotne, wyznaczac współrzedne wek-tora w bazie oraz wymiar podprzestrzeni liniowej.

U3 Potrafi wyznaczac wartosci własne i wektory własne macierzy. Potrafi opisywac jadra przekształcen lin-iowych. Potrafi wyznaczac macierz przejscia. Potrafi zastosowac ortogonalizacje Grama-Schmidta i wyz-naczyc rzut ortogonalny na podprzestrzen liniowa.

U4 Potrafi zbadac, czy forma kwadratowa jest dodatnio okreslona. Potrafi badac wzajemne połozenie punktów,prostych i płaszczyzn w przestrzeni oraz obliczac normy wektorów i macierzy.

U5 Potrafi stosowac polecenia Octava do rozwiazywania prostych problemów z algebry, geometrii i obliczennaukowych.


K1 Zna zastosowania liczb zespolonych w nauce i technice.

K2 Zna podstawowe zastosowania macierzy w nauce i technice.

TRESCI PROGRAMOWE

2

Forma zajec - wykładyWy1 Grupy, pierscienie i ciała 4hWy2 Ciało liczb zespolonych 4hWy3 Wielomiany i ich pierwiastki 4hWy4 Macierze 2hWy5 Wprowadzenie do srodowiska Octava 2hWy6 Wyznaczniki i macierze odwrotne 4hWy7 Układy równan liniowych i eliminacja Gaussa 4hWy8 Przestrzenie liniowe 4hWy9 Dowolne układy równan liniowych 2hWy10 Zastosowania układów równan liniowych 2hWy11 Kolokwium I 2hWy12 Wartosci własne i wektory własne macierzy 2hWy13 Przekształcenia liniowe 6hWy14 Przestrzenie euklidesowe 4hWy15 Zastosowanie rzutów ortogonalnych w aproksymacji 2hWy16 Elementy geometrii analitycznej na płaszczyznie i w przestrzeni 4hWy17 Formy kwadratowe 2hWy18 Krzywe drugiego stopnia 2hWy19 Kolokwium II 2hWy20 Rozkład SVD macierzy i jego zastosowania 2h

Forma zajec - cwiczeniaCw1 Wstep 2hCw2 Działania w grupach. 2hCw3 Działania na liczbach zespolonych zapisanych w róznych postaciach i obliczanie pier-

wiastków2h

Cw4 Wielomiany i ich rozkład na czynniki 2hCw5 Proste polecenia w Octavie 1hCw6 Sprawdzian 1hCw7 Macierze, wyznaczniki oraz elementarne przekształcenia 2hCw8 Eliminacja Gaussa i wzory Cramera 2hCw9 Bazy i wymiar przestrzeni liniowych oraz podprzestrzenie liniowe 2hCw10 Rozwiazywanie układu równan liniowych z macierza prostokatna 2hCw11 Wartosci własne i wektory własne macierzy, przekształcanie macierzy przez podobienstwo

do postaci przekatniowej2h

Cw12 Przekształcenia liniowe oraz ich obrazy i jadra 2hCw13 Sprawdzian 1hCw14 Ortogonalizacja Grama-Schmidta i zastosowania rzutów ortogonalnych w aproksymacji 3hCw15 Zmiana bazy i formy kwadratowe dodatnio okreslone 2hCw16 Wzajemne połozenie punktów, prostych i płaszczyzn 2h





4. Konsultacje


3


Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W4, K1-K2 dwa kolokwia na wykładzieF2 U1-U5, K1-K2 dwa sprawdziany, raport z komput-

erowych zadan domowych, akty-wnosc studenta na cwiczeniach


1. J. Klukowski, I. Nabiałek, Algebra dla studentów, WNT 2005.

2. B. Gleichgewicht, Algebra, PWN 1976, Oficyna Wyd. GiS 2002.

3. G. Banaszak, W. Gajda, Elementy algebry liniowej, czesc I i II, WNT 2002.

4. T. Jurlewicz, Z. Skoczylas, Algebra i geometria analityczna, Oficyna Wyd. GiS 2005.

5. T. Jurlewicz, Z. Skoczylas, Algebra liniowa 2, Oficyna Wyd. GiS, Wrocław 2006.

6. J. Rutkowski, Algebra abstrakcyjna w zadaniach, PWN 2000.

7. P. Krzyzanowski, Obliczenia inzynierskie i naukowe. Szybkie, skuteczne, efektowne, PWN 2011.

8. H. Anton, Ch. Rorres. Elementary Linear Algebra, Applications Version, Wiley 2005.

9. G. Strang, Introduction to Linear Algebra, Wellesley-Cambridge Press 2009.

10. C.D. Meyer, Matrix Analysis and Applied Linear Algebra, SIAM 2000.

OPIEKUN PRZEDMIOTU

dr hab. Krystyna Zietak

4

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUAlgebra z Geometria Analityczna



Cele przed-miotu**



W1 K1_W01 C1 Wy1-Wy20 1 4 5W2 K1_W01 C1 Wy1-Wy20 1 4 5W3 K1_W01 C1 Wy1-Wy20 1 4 5W4 K1_W01 C1 Wy1-Wy20 1 4 5U1 K1_U31 C2 Cw1-Cw16 2 3 4 5U2 K1_U31 C2 Cw1-Cw16 2 3 4 5U3 K1_U31 C2 Cw1-Cw16 2 3 4 5U4 K1_U31 C2 Cw1-Cw16 2 3 4 5U5 K1_U12 C2 Cw1-Cw16 2 3 4 5K1 K1_K01 K1_K12 K1_K13 K1_K14 C1 C2 Wy1-Wy20

Cw1-Cw161 2 3 4 5

K2 K1_K01 K1_K12 K1_K14 C1 C2 Wy1-Wy20Cw1-Cw16

1 2 3 4 5

5

Zał nr 4 do ZW


Nazwa w jezyku polskim : Analiza Matematyczna IINazwa w jezyku angielskim : Mathematica Analysis IIKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_T04Grupa kursów : TAK


30 15


120 60


X


2


4 2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIUkonczenie kursu Analiza Matematyczna I z ocena pozytywna

CELE PRZEDMIOTU

C1 Omówienie podstawowych pojec, twierdzen oraz metod analizy matematycznej funkcji wielu zmiennychrzeczywistych

C2 Praktyczne opanowanie podstawowych metod analizy funkcji wielu zmiennych rzeczywistych (przestrzeiemetryczne, rózniczkowanie, ekstrema, całkowanie)

1


W1 Zna pojecie przestrzeni metrycznej.

W2 Zna pojecie pochodnej funkcji wielu zmiennych.

W3 Zna podstawowe metody optymalizacji funkcji wielu zmiennych.

W4 Zna pojecie całki Lebesgue’a funkcji wielu zmiennych.

W5 Zna pojecie całki krzywoliniowej.


U1 Potrafi prowadzic rozumowania w przestrzeniach metrycznych.

U2 Potrafi rózniczkowac funkcje wielu zmiennych.

U3 Potrafi optymalizowac funkcje wielu zmiennych.

U4 Potrafi liczyc całki wielokrotne.

U5 Potrafi liczyc całki krzywoliniowe.


K1 Rozumie praktyczne znaczenie zagadnien optymalizacyjnych

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Przestrzenie metryczne 2hWy2 Ciagłosc funkcji wielu zmiennych 2hWy3 Rózniczkowanie - czesc I 3hWy4 Rózniczkowanie - czesc II 3hWy5 Ekstrema funkcji wielu zmiennych 2hWy6 Twierdzenie o funkcji odwrotnej i uwikłanej 2hWy7 Mnozniki Lagrange’a 2hWy8 Całkowanie funkcji wielu zmiennych 2hWy9 Twierdzenie Fubiniego 2hWy10 Zamiana zmiennych w całkach wielokrotnych 2hWy11 Całki krzywoliniowe. 2hWy12 Całki powierzchniowe. 2hWy13 Równania rózniczkowe 2hWy14 Podsumowanie 2h

2

Forma zajec - cwiczeniaCw1 Wprowadzenie 1hCw2 Przestrzenie metryczne 2hCw3 Granice funkcji i ciagłosc 2hCw4 Rózniczkowanie 4hCw5 Całkowanie 3hCw6 Elementy analizy wektorowej 1hCw7 Kolokwium 1hCw8 Podsumowanie 1h





4. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W5, K1-K1 egzaminF2 U1-U5, K1-K1 kolokwium, aktywnoscP=50%*F1+50%*F2


1. F. Leja, Rachunek rózniczkowy i całkowy

2. G.M. Fichtenholz, Rachunek rózniczkowy i całkowy Tom I, II, III

3. W.F.Trench, Introduction to real analysis, wersja online ramanu-jan.math.trinity.edu/wtrench/misc/index.shtml

4. strona internetowa pakietu matematycznego

OPIEKUN PRZEDMIOTU

dr Rafał Kapelko

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUAnaliza Matematyczna II



Cele przed-miotu**



W1 K1_W01 C1 Wy1-Wy14 1 2 4 5W2 K1_W01 K1_W12 C1 Wy1-Wy14 1 2 4 5W3 K1_W01 K1_W12 C1 Wy1-Wy14 1 2 4 5W4 K1_W01 C1 Wy1-Wy14 1 2 4 5W5 K1_W01 K1_W02 C1 Wy1-Wy14 1 2 4 5U1 K1_U10 K1_U31 C2 Cw1-Cw8 3 4 5U2 K1_U02 K1_U10 K1_U31 C2 Cw1-Cw8 3 4 5U3 K1_U02 K1_U10 K1_U11 K1_U31 C2 Cw1-Cw8 3 4 5U4 K1_U01 K1_U02 K1_U31 C2 Cw1-Cw8 3 4 5U5 K1_U02 K1_U31 C2 Cw1-Cw8 3 4 5K1 K1_K01 K1_K13 K1_K14 C1 C2 Wy1-Wy14

Cw1-Cw81 2 3 4 5

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Algebra Abstrakcyjna i KodowanieNazwa w jezyku angielskim : Abstract Algebra and CodingKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_T05Grupa kursów : TAK


30 15


120 60


X


2


4 2

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIUkonczenie kursu algebra liniowa.

CELE PRZEDMIOTU

C1 Omówienie podstawowych struktur, twierdzen wystepujacych w algebrze oraz zapoznanie studentów z teorialiniowych kodów korekcyjnych

C2 Praktyczne opanowanie i stosowanie metod i narzedzi algebry abstrakcyjnej i kodów korekcyjnych.

1


W1 Zna podstawowe pojecia wystepujace w teorii grup oraz zwiazki miedzy nimi.

W2 Zna podstawowoe pojecia w pierscieniach oraz ciałach. Zna zwiazki pomiedzy tymi pojeciami.

W3 Zna podstawowe pojecia wystepujace w teorii kodów korekcyjnych


U1 Potrafi sprawdzic czy dany zbiór z okreslonym działanie tworzy grupe. Na przykładzie nieskomplikowanychgrup potrafi zbadac, czy dany zbiór stanowi podgrupe

U2 Potrafi zbadac rzad elementu w grupie. Potrafi zbadac czy dana grupa jest cykliczna.

U3 Potrafi wyznaczyc zbiór warstw w grupie oraz sprawdzic czy ten zbiór stanowi grupe ilorazowa..

U4 Potrafi spradzic czy dany zbiór z działaniami jest pierscieniem. Umie sprawdzac czy dany podzbiór w piers-cieniu jest podpierscieniem. Potrafi zbadac czy dany podzbiór pierscienia jest ideałem. Potrafi wyznaczycpierscien ilorazowy.

U5 Potrafi zbadac, czy dany zbiór z działaniami jest ciałem. Potrafi sprawdzic, czy dany podzbiór ciała jestpodciałem tego ciała. Umie wyznaczyc stopien rozszerzenia algebraicznego zadanego ciała o elementalgebraiczny nad nim.

U6 Potrafi zbadac, czy dany kod jest kodem liniowym i umie wyznaczyc długosc Hamminga tego kodu. Umiewykrywac i korygowac pojedyncze błedy w słowach kodu liniowego.


K1 Rozumie praktyczne znaczenie zagadnien z algebry abstrakcyjnej i kodów korekcyjnych

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Grupa - podstawowe pojecia. 2hWy2 Rzad grupy, rzad elementu. Grupa cykliczna 2hWy3 Warstwa w grupie. 2hWy4 Grupa ilorazowa. 2hWy5 Homomorfizm grup. 2hWy6 Grupa permutacji 2hWy7 Pierscienie, ideały w pierscieniach. 2hWy8 Pierscienie Zn, pierscienie wielomianów. 2hWy9 Elementy teorii liczb. 2hWy10 Twierdzenie Eulera. 2hWy11 Chinskie twierdzenie o resztach. 2hWy12 Kody korekcyjne. Metryka oraz waga Hamminga. 2hWy13 Kontrolna macierz parzystosci i macierz generujaca kod liniowy. 2hWy14 Kody doskonałe. Wykrywanie i korekcja błedów. 2hWy15 Pojecie ciała. 2h

2

Forma zajec - cwiczeniaCw1 Algebry abstrakcyjne, grupy. 1hCw2 Podgrupa, rzad elementu, grupa cykliczna. 1hCw3 Warstwa w grupie. Grupa ilorazowa, dzielnik normalny 1hCw4 Homomorfizmy na grupie. 1hCw5 Permutacje. 1hCw6 Pierscienie oraz ich podpierscienie. 1hCw7 Ideały, pierscienie ilorazowe. 1hCw8 Elemety teorii liczb. 1hCw9 Pierscien wielomianów. 2hCw10 Blokowe kody liniowe, metryka i waga Hamminga. 2hCw11 Kod Hamminga wykrywanie i korekcja błedu. 1hCw12 Ciała. 1hCw13 Kolokwium 1h




3. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W3, K1-K1 egzaminF2 U1-U6, K1-K1 kolokwia i aktywnoscP=60%*F1+40%*F2


1. B. Gleichgewicht, Algebra, PWN, Warszawa 1976 i Oficyna Wyd. GiS, Wrocław 2002.

2. J. Rutkowski, Algebra abstrakcyjna w zadaniach, PWN, Warszawa 2000,

3. W.J. Gilbert, W.K. Nicholson, Algebra współczesna z zastosowaniami, WNT, Warszawa 2008,

4. W. Mochnacki, Kody korekcyjne i kryptografia, Oficyna Wyd. PWr, Wrocław 2000.

5. J. Adamek, Foundations of coding. Theory and application of erro-correcting codes, Wiley 1991,

6. strona internetowa wybranego pakietu matematycznego.

OPIEKUN PRZEDMIOTU

dr Robert Rałowski

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUAlgebra Abstrakcyjna i Kodowanie



Cele przed-miotu**



W1 K1_W01 K1_W02 C1 Wy1-Wy15 1 3 4W2 K1_W01 K1_W02 C1 Wy1-Wy15 1 3 4W3 K1_W01 K1_W02 K1_W05 K1_W06

K1_W13 K1_W15C1 Wy1-Wy15 1 3 4

U1 K1_U01 K1_U06 K1_U27 K1_U31 C2 Cw1-Cw13 2 3 4U2 K1_U06 K1_U31 C2 Cw1-Cw13 2 3 4U3 K1_U06 K1_U30 K1_U31 C2 Cw1-Cw13 2 3 4U4 K1_U06 K1_U30 K1_U31 C2 Cw1-Cw13 2 3 4U5 K1_U05 K1_U30 K1_U31 C2 Cw1-Cw13 2 3 4U6 K1_U01 K1_U06 K1_U10 K1_U12

K1_U30 K1_U31C2 Cw1-Cw13 2 3 4

K1 K1_K01 K1_K02 K1_K04 K1_K06K1_K08 K1_K12 K1_K13 K1_K14K1_K15

C1 C2 Wy1-Wy15Cw1-Cw13

1 2 3 4

4

Zał nr 4 do ZW


Nazwa w jezyku polskim : Metody Probabilistyczne i StatystykaNazwa w jezyku angielskim : Probability and StatisticsKierunek studiów : InformatykaSpecjalnosc (jesli dotyczy) :Stopien studiów i forma : inzynierskie, stacjonarneRodzaj przedmiotu : obowiazkowyKod przedmiotu : E1_T08Grupa kursów : TAK


30 30


120 120


X


3


3 3

WYMAGANIA WSTEPNE W ZAKRESIE WIEDZY, UMIEJETNOSCI I INNYCH KOMPETENCJIZaliczenie kursu ”Logika i Struktury Formalne"

CELE PRZEDMIOTU

C1 Zaprezentowanie podstaw rachunku prawdopodobienstwa i statystyki oraz pokazanie przykładów metodprobabilistycznych.

C2 Praktyczne opanowanie podstawowych metod rachunku prawdopodobienstwa i statystyki oraz metod proba-bilistycznych.

1


W1 Zna pojecie przestrzeni probabilistycznej

W2 Zna pojecie niezaleznosci zdarzen

W3 Zna pojecie zmiennej losowej

W4 Zna podstawowe klasy rozkładów probabilistycznych

W5 Zna pojecie estymatora statystycznego


U1 Umie wyznaczyc prawdopodobienstwa zdarzen w dyskretnych przestrzeniach probabilistycznych

U2 Potrafi obliczyc wartosc oczekiwana i wariancje prostych zmiennych losowych

U3 Potrafi wyznaczyc i stosowac funkcje tworzace do badania własnosci zmiennych losowych

U4 Potrafi oszacowac srednia złozonosc obliczeniowa podstawowych algorytmów

U5 Potrafi znalezc estymatory istotnych parametrów protokołów w prostych przypadkach


K1 Rozumie podstawowe miary złozonosci algorytmów

K2 Potrafi stosowac metody probabilistyczne w analizie praktycznych problemów

TRESCI PROGRAMOWE

Forma zajec - wykładyWy1 Przestrzenie probabilistyczne 4hWy2 Prawdopodobienstwo warunkowe i niezaleznos[U+009C]c zdarzen. 4hWy3 Zmienne losowe dyskretne i ciagłe 4hWy4 Funkcje tworzace 2hWy5 Rozkład jednostajny i geometryczny. 2hWy6 Rozkład wykładniczy i ujemny dwumianowy 2hWy7 Rozkład normalny 4hWy8 Estymatory 2hWy9 Własnosci estymatorów 2hWy10 Konstrukcje estymatorów 4h

2

Forma zajec - cwiczeniaCw1 Przestrzenie probabilistyczne 4hCw2 Prawdopodobienstwo warunkowe i niezaleznosci 4hCw3 Zmienne losowe dyskretne i ciagłe 4hCw4 Funkcje tworzace 2hCw5 Rozkład jednostajny i geometryczny 2hCw6 Rozkład wykładniczy i ujemny dwumianowy 2hCw7 Rozkład normalny 4hCw8 Estymatory 2hCw9 Własnosci estymatorów 2hCw10 Konstrukcje estymatorów 4h





4. Konsultacje



Oceny Numer efektu kształcenia Sposób oceny efektu kształceniaF1 W1-W5, K1-K2 egzaminF2 U1-U5, K1-K2 kolokwiumP=50%*F1+50%*F2


1. W. Krysicki, J. Bartos i inni., Rachunek prawdopodobienstwa i statystyka matematyczna czesc I, PWN,1997

2. A. Plucinska, E. Plucinski, Probabilistyka, WNT, 2000

3. A. Plucinska, E. Plucinski, Zadania z rachunku prawdopodobienstwa i statystyki matematycznej dla stu-dentów politechnik, PWN

OPIEKUN PRZEDMIOTU

dr Szymon Zeberski

3

MACIERZ POWIAZANIA EFEKTÓW KSZTAŁCENIA DLA PRZEDMIOTUMetody Probabilistyczne i Statystyka



Cele przed-miotu**



W1 K1_W01 C1 Wy1-Wy10 1 2 4 5W2 K1_W01 C1 Wy1-Wy10 1 2 4 5W3 K1_W01 C1 Wy1-Wy10 1 2 4 5W4 K1_W01 K1_W02 K1_W03 K1_W04

K1_W05C1 Wy1-Wy10 1 2 4 5

W5 K1_W01 K1_W04 C1 Wy1-Wy10 1 2 4 5U1 K1_U09 K1_U12 K1_U31 C2 Cw1-Cw10 3 4 5U2 K1_U10 K1_U31 C2 Cw1-Cw10 3 4 5U3 K1_U10 K1_U31 C2 Cw1-Cw10 3 4 5U4 K1_U10 K1_U31 C2 Cw1-Cw10 3 4 5U5 K1_U09 K1_U10 K1_U31 C2 Cw1-Cw10 3 4 5K1 K1_K01 K1_K13 K1_K14 C1 C2 Wy1-Wy10

Cw1-Cw101 2 3 4 5

K2 K1_K03 K1_K08 K1_K11 K1_K14 C1 C2 Wy1-Wy10Cw1-Cw10

1 2 3 4 5

4

e1 w16 - politechnika wrocławskapwr.edu.pl/fcp/2gbukoqttklqhbx08slkatxycei8pmgqgs38praobvm8... ·...

Documents