WYDZIAŁ ELEKTROTECHNIKI, INFORMATYKI I TELEKOMUNIKACJI

Transkrypt

1 WYDZIAŁ ELEKTROTECHNIKI, INFORMATYKI I TELEKOMUNIKACJI K ATAL O G PRZEDMIOTÓW K i e r u n e k I n f o r m a t yk a St u d i a I s t o p n i a o p r o f i l u o g ó l n o a k a d e m i c k i m R o k a k a d e m i c k i : /

2 Spis treści Analiza matematyczna... 4 Algebra liniowa z geometrią analityczną... 7 Logika dla informatyków Fizyka Metody probabilistyczne Podstawy systemów dyskretnych Technika eksperymentu II Architektura komputerów I Podstawy programowania Algorytmy i struktury danych Programowanie obiektowe Układy cyfrowe Sieci komputerowe I Teoretyczne podstawy informatyki Systemy operacyjne I Grafika komputerowa Inżynieria oprogramowania Bazy danych Elementy sztucznej inteligencji Systemy wbudowane Matematyczne podstawy techniki Technika eksperymentu I Architektura komputerów II Sieci komputerowe II Język java i technologie web Programowanie współbieżne i rozproszone Systemy operacyjne II Zarządzanie przemysłowym projektem informatycznym Bezpieczeństwo pracy z elementemi ergonomii Wychowanie fizyczne Język angielski I Język angielski II Język angielski III Język angielski IV Zarządzanie małym i średnim przedsiębiorstwem Komunikacja interpersonalna Ochrona własności intelektualnej Redakcja prac dyplomowych i tekstów użytkowych Projekt grupowy Projektowanie systemów informatycznych Języki modelowania systemów cyfrowych Bezpieczeństwo danych i elementy kryptografii Cyfrowe przetwarzanie i kompresja danych Programowanie aplikacji biznesowych Projektowanie urządzeń mikroinformatycznych altium

3 Administrowanie systemami informatycznymi Wprowadzenie do hurtowni danych i baz wiedzy Diagnostyka systemów cyfrowych Testowanie systemów informatycznych Programowanie poziomu systemu operacyjnego Projektowanie wielowarstwowych systemów internetowych Technologie i aplikacje mobilne Technologie i aplikacje mobilne Układy i systemy mikroprocesorowe Systemy informatyczne w zarządzaniu przedsiębiorstwem Komputerowe wspomaganie projektowania Aplikacje internetowe Komputerowe sieci przemysłowe Technika przetwarzania sygnałów Sieci bezprzewodowe Oprogramowanie systemów pomiarowo - sterujących Podstawy programowania na platformę android Zaawansowane technologie usług sieciowych Bezpieczeństwo w systemach i sieciach komputerowych Podstawy modelowania programów Programowanie gier 3D Zaawansowane środowiska programistyczne Platforma.net Film cyfrowy Usługi w sieciach mobilnych Programowanie urządzeń mobilnych Sieci konwergentne Sieciowe systemy informacyjne Projektowanie sieci komputerowych Seminarium specjalistyczne Seminarium dyplomowe I Seminarium dyplomowe II Praktyka zawodowa

4 Liczba godzin w semestrze Liczba godzin w tygodniu Semestr A N A L I Z A M AT E M AT Y C Z N A Kod przedmiotu: 11.1-WE-INFP-AM Typ przedmiotu: obowiązkowy Język nauczania: polski Odpowiedzialny za przedmiot: nauczyciel akademicki prowadzący wykład Prowadząc y: nauczyciel akademicki WMIiE zajęć zaliczenia Punkty ECTS Studia stacjonarne W ykład 15 1 egzamin I Ćwic zenia 30 2 zaliczenie na ocenę Studia niestacjonarne 4 W ykład 9 1 egzamin I Ćwic zenia 18 2 zaliczenie na ocenę CEL PRZEDMIOTU: Celem jest uzyskanie przez studenta umiejętności i kompetencji w zakresie rozumienia podstawowych zagadnień matematycznych wymienionych w zakresie tematycznym przedmiotu koniecznych do rozpoczęcia kształcenia na studiach technicznych. WYMAGANIA WSTĘPNE: Brak wymagań ZAKRES TEMATYCZNY PRZEDMIOTU: Pochodna funkcji jednej zmiennej. (i) Definicja i interpretacje pochodnej funkcji rzeczywistej zmiennej rzeczywistej w punkcie. Różniczkowalność funkcji na zbiorze. Ciągłość a różniczkowalność. Podstawowe reguły różniczkowania, pochodne funkcji elementarnych. (ii) Twierdzenia Rolle a, Lagrange a, Cauchy ego i ich zastosowania. Reguła de L`Hospitala. (iii) Pochodne i różniczki wyższych rzędów funkcji rzeczywistej zmiennej rzeczywistej. Wzór Taylora. Ekstrema lokalne i globalne funkcji. Wypukłość, wklęsłość i punkty przegięcia wykresu funkcji, asymptoty. Badanie zmienności funkcji. Całkowanie. (i) Całka nieoznaczona. Podstawowe metody wyznaczania całek nieoznaczonych. (ii) Całka oznaczona Riemanna i jej własności. Podstawowe twierdzenia rachunku całkowego. Szacowanie całek oznaczonych. (iii) Zastosowania geometryczne i fizyczne całki Riemanna (pole figury płaskiej, długość krzywej, objętość i pole powierzchni bryły obrotowej, praca, energia elektryczna, napięcie). (iv) Całki niewłaściwe. METODY KSZTAŁCENIA: wykład: wykład konwencjonalny ćwiczenia: ćwiczenia rachunkowe 4

5 EFEKTY KSZTAŁCENIA I METODY WERYFIKACJI OSIĄGANIA EFEKTÓW KSZTAŁCENIA: OPIS EFEKTU Student potrafi samodzielnie wyszukiwać informacje w literaturze. Student rozumie potrzebę dalszego kształcenia się. Student potrafi zastosować całkę oznaczoną do obliczania pól figur płaskich, długości krzywych, objętości i pól powierzchni brył obrotowych, obliczania ładunków elektrycznych oraz skutecznej wartości natężenia prądu elektrycznego (element. przykł.) Student potrafi całkować funkcje jednej zmiennej przez części i przez podstawienie (w zakresie podstawowym). Student wykorzystuje twierdzenia i metody rachunku różniczkowego funkcji jednej zmiennej w zagadnieniach związanych z optymalizacją, poszukiwaniem ekstremów lokalnych i globalnych (na elementarnych przykładach). Student potrafi opisać zastosowania pochodnej i całki. Student potrafi wskazać podstawowe przykłady ilustrujące interpretacje pochodnej i całki oznaczonej. SYMBOLE EFEKTÓW K1I_U01 K1I_K01 K1I_W01 K1I_W01 K1I_W01 K1I_W01 K1I_W01 METODY WERYFIKACJI egzamin, sprawdzian, bieżąca kontrola na zajęciach egzamin, sprawdzian, bieżąca kontrola na zajęciach egzamin, sprawdzian, bieżąca kontrola na zajęciach egzamin, sprawdzian, bieżąca kontrola na zajęciach egzamin, sprawdzian, bieżąca kontrola na zajęciach egzamin, sprawdzian, bieżąca kontrola na zajęciach egzamin, sprawdzian, bieżąca kontrola na zajęciach Student definiuje pochodną funkcji. K1I_W01 egzamin, sprawdzian, bieżąca kontrola na zajęciach FORMA ZAJĘĆ wykład, ćwiczenia rachunkowe wykład, ćwiczenia rachunkowe wykład, ćwiczenia rachunkowe wykład, ćwiczenia rachunkowe wykład, ćwiczenia rachunkowe wykład, ćwiczenia rachunkowe wykład, ćwiczenia rachunkowe wykład, ćwiczenia rachunkowe WARUNKI ZALICZENIA: Ćwiczenia na ocenę z ćwiczeń składają się wyniki osiągnięte na kolokwiach (80%) oraz aktywność na zajęciach (20%). Wykład egzamin złożony z dwóch części pisemnej i ustnej; warunkiem przystąpienia do części ustnej jest uzyskanie 30% punktów z części pisemnej. Warunkiem przystąpienia do egzaminu jest pozytywna ocena z ćwiczeń. Na ocenę z przedmiotu składa się ocena z ćwiczeń (50%) i z egzaminu (50%). Warunkiem zaliczenia przedmiotu są pozytywne oceny z ćwiczeń i egzaminu Składowe oceny końcowej = wykład: 50% + ćwiczenia: 50% OBCIĄŻENIE PRACĄ STUDENTA: Studia stacjonarne (100 godz.) Godziny kontaktowe = 45 godz. Przygotowanie się do zajęć = 11 godz. Zapoznanie się ze wskazaną literaturą = 11 godz. Wykonanie zadań zleconych przez prowadzącego = 11 godz. Zajęcia realizowane na odległość = 11 godz. Przygotowanie się do egzaminu = 11 godz. 5

6 Studia niestacjonarne (100 godz.) Godziny kontaktowe = 27 godz. Przygotowanie się do zajęć = 14 godz. Zapoznanie się ze wskazaną literaturą = 14 godz. Wykonanie zadań zleconych przez prowadzącego = 17 godz. Zajęcia realizowane na odległość = 14 godz. Przygotowanie się do egzaminu = 14 godz. LITERATURA PODSTAWOWA: Każdorazowo ustalana przez prowadzącego. LITERATURA UZUPEŁNIAJĄCA: Każdorazowo ustalana przez prowadzącego. PROGRAM OPRACOWAŁ: prof. dr hab. inż. Dariusz Uciński 6

7 Liczba godzin w semestrze Liczba godzin w tygodniu Semestr A L G E B R A L I N I O W A Z G E O M E T R I Ą A N A L I T Y C Z N Ą Kod przedmiotu: 11.1-WE-INFP-ALLGA Typ przedmiotu: obowiązkowy Język nauczania: polski Odpowiedzialny za przedmiot: Nauczyciel akademicki prowadzący wykład Prowadząc y: Pracownicy WMIiE zajęć zaliczenia Punkt y ECTS Studia stacjonarne W ykład 30 2 egzamin I Ćwic zenia 15 1 zaliczenie na ocenę Studia niestacjonarne 5 W ykład 18 2 egzamin I Ćwic zenia 9 1 zaliczenie na ocenę CEL PRZEDMIOTU: Zapoznanie z podstawowymi pojęciami i metodami algebry liniowej i geometrii analitycznej WYMAGANIA WSTĘPNE: Matematyka w zakresie szkoły ponadgimnazjalnej. ZAKRES TEMATYCZNY PRZEDMIOTU: TEMATYKA WYKŁADÓW Arytmetyka modularna: podzielność, liczby pierwsze, kongruencje. Indukcja matematyczna. (studia stacjonarne godz. 2, studia niestacjonarne godz. 2) Liczby zespolone: sprzężenie, moduł, postać trygonometryczna, interpretacja geometryczna działań, wzory de Moivre a, pierwiastkowanie liczb zespolonych. (studia stacjonarne godz. 4, studia niestacjonarne godz. 2) Wielomiany: działania, dzielenie z resztą, pierwiastki wielomianu, twierdzenie Bezouta, schemat Hornera. (studia stacjonarne godz. 2, studia niestacjonarne godz. 2) Macierze: działania na macierzach, wyznacznik macierzy, rząd macierzy, macierz odwrotna. (studia stacjonarne godz. 4, studia niestacjonarne godz. 2) Układy równań liniowych: twierdzenie Kroneckera-Capellego, wzory Cramera, metoda eliminacji Gaussa. (studia stacjonarne godz. 6, studia niestacjonarne godz. 2) Podstawowe struktury algebraiczne: działania i ich własności, grupa, pierścień, ciało - przykłady. (studia stacjonarne godz. 2, studia niestacjonarne godz. 2) Przestrzeń liniowa: liniowa niezależność, baza, wymiar. (studia stacjonarne godz. 4, studia niestacjonarne godz. 2) 7

8 Elementy geometrii analitycznej w R 3 : odległość, prostopadłość, iloczyn skalarny, wektorowy i mieszany i jego zastosowanie, równanie ogólne i parametryczne prostej, płaszczyzny w R 3. (studia stacjonarne godz. 4, studia niestacjonarne godz. 2) Krzywe i powierzchnie drugiego stopnia. (studia stacjonarne godz. 2, studia niestacjonarne godz. 2) TEMATYKA ĆWICZEŃ Rachunek modularny: działania dwuargumentowe, tabelki działań, współczynniki dwumianowe, zadania z wykorzystaniem indukcji matematycznej. (studia stacjonarne godz. 2, studia niestacjonarne godz. 1) Działania na liczbach zespolonych, wyznaczanie argumentu, modułu, pierwiastków, rozwiązywanie równań o współczynnikach zespolonych. (studia stacjonarne godz. 3, studia niestacjonarne godz. 2) Działania na macierzach, obliczanie wyznaczników, odwracanie macierzy. (studia stacjonarne godz. 3, studia niestacjonarne godz. 1) Rozwiązywanie układów równań liniowych metodą eliminacji Gaussa, określenie ilości rozwiązań układu równań liniowych. (studia stacjonarne godz. 3, studia niestacjonarne godz. 2) Działania na wektorach R 3, Iloczyn skalarny, wektorowy i mieszany i ich zastosowanie. Prosta i płaszczyzna w R 3. (studia stacjonarne godz. 2, studia niestacjonarne godz. 1) METODY KSZTAŁCENIA: Wykład: Wykład konwencjonalny; wykład konwersatoryjny; wykład problemowy. Ćwiczenia: rozwiązywanie typowych zadań ilustrujących tematykę przedmiotu, ćwiczenia na zastosowanie teorii, rozwiązywanie zadań problemowych. EFEKTY KSZTAŁCENIA I METODY WERYFIKACJI OSIĄGANIA EFEKTÓW KSZTAŁCENIA: OPIS EFEKTU SYMBOLE EFEKTÓW METODY WERYFIKACJI FORMA ZAJĘĆ Potrafi wykonywać podstawowe działania na liczbach zespolonych oraz rozwiązywać proste równania wielomianowe w dziedzinie zespolonej. K1I-W01 obserwacja i ocena aktywności na zajęciach, kolokwium egzamin pisemny, ustny ćw. wykład Zna pojęcie macierzy, wyznacznika, przestrzeni liniowej i potrafi posługiwać się tymi pojęciami w rozwiązywaniu prostych zadań z zakresu studiowanego kierunku. Ma wiedzę z zakresu układów równań liniowych - zna wzory Cramera, twierdzenie Kroneckera-Capelliego oraz metodę eliminacji Gaussa. Zna pojęcia grupy, pierścienia, ciała i potrafi wskazać przykłady. Potrafi sprawdzić, czy dany układ wektorów jest liniowo niezależny; wyznaczyć rząd macierzy. Zna określenie i własności iloczynów: skalarnego, wektorowego i mieszanego wektorów, potrafi je wykorzystać do rozwiązywania prostych zadań. K1I-W01 K1I-W01 obserwacja i ocena aktywności na zajęciach, kolokwium egzamin pisemny, ustny obserwacja i ocena aktywności na zajęciach, kolokwium egzamin pisemny, ustny ćw. wykład ćw. wykład K1I-W01 egzamin pisemny, ustny wykład K1I-W01 K1I-W01 obserwacja i ocena aktywności na zajęciach, kolokwium egzamin pisemny, ustny obserwacja i ocena aktywności na zajęciach, kolokwium egzamin pisemny, ustny ćw. wykład ćw. wykład 8

9 WARUNKI ZALICZENIA: Warunkiem przystąpienia do egzaminu jest pozytywna ocena z ćwiczeń uzyskana z dwóch kolokwiów pisemnych (z zadaniami o zróżnicowanym stopniu trudności, pozwalającymi na sprawdzenie, czy student osiągnął efekty kształcenia w stopniu minimalnym) oraz za aktywne uczestnictwo w zajęciach. Warunkiem zaliczenia przedmiotu jest pozytywna ocena z egzaminu. Ocena końcowa jest średnią arytmetyczną oceny z ćwiczeń i oceny z egzaminu (pisemnego lub ustnego). Składowe oceny końcowej = wykład: 50% + ćwiczenia: 50% OBCIĄŻENIE PRACĄ STUDENTA: Studia stacjonarne (125 godz.) Godziny kontaktowe = 45 godz. Przygotowanie się do zajęć = 20 godz. Zapoznanie się ze wskazaną literaturą = 5 godz. Wykonanie zadań zleconych przez prowadzącego = 15 godz. Przygotowanie się do egzaminu = 30 godz. Konsultacje = 10 godz. Studia niestacjonarne (125 godz.) Godziny kontaktowe = 27 godz. Przygotowanie się do zajęć = 40 godz. Zapoznanie się ze wskazaną literaturą = 5 godz. Wykonanie zadań zleconych przez prowadzącego = 20 godz. Przygotowanie się do egzaminu = 30 godz. Konsultacje = 3 godz. LITERATURA PODSTAWOWA: Jurlewicz T., Skoczyłas Z.: Algebra liniowa 1,2. Definicje, twierdzenia, wzory. Oficyna Wydawnicza GiS, Wrocław Jurlewicz T., Skoczyłas Z.: Algebra liniowa 1,2. Przykłady, zadania. Oficyna Wydawnicza GiS, Wrocław Kaczorek T., Wektory i macierze w automatyce i elektrotechnice, WNT, Warszawa, LITERATURA UZUPEŁNIAJĄCA: 1. Banaszak B.,Gajda W., Elementy algebry liniowej. Tom 1 i 2, WNT, Warszawa Białynicki-Birula A., Algebra liniowa z geometrią, PWN, Biblioteka Matematyczna t.48, W-wa Klukowski J., Nabiałek I, Algebra, WNT, Warszawa PROGRAM OPRACOWAŁ: dr hab. Elżbieta Sidorowicz 9

10 Liczba godzin w semestrze Liczba godzin w tygodniu Semestr L O G I K A D L A I N F O R M AT Y K Ó W Kod przedmiotu: 11.3-WE-INFP-LI Typ przedmiotu: obowiązkowy Język nauczania: polski Odpowiedzialny za przedmiot: Dr inż. Jacek Tkacz, Prof. dr hab. Inż. Marian Adamski Prowadząc y: Pracownicy IME WEIT zajęć zaliczenia Punkt y ECTS Studia stacjonarne W ykład 15 1 Zaliczenie na ocenę I Ćwic zenia 30 2 Zaliczenie na ocenę Studia niestacjonarne 2 W ykład 9 1 Zaliczenie na ocenę I Ćwic zenia 18 2 Zaliczenie na ocenę CEL PRZEDMIOTU: - zapoznanie studentów z podstawami algebry Boole a i rachunku zdań, - zapoznanie studentów z metodami dowodzenie tautologii, - zapoznanie studentów z wykorzystaniem logiki i teorii mnogości w informatyce. WYMAGANIA WSTĘPNE: Brak wymagań ZAKRES TEMATYCZNY PRZEDMIOTU: Rachunek zdań. Składnia i semantyka. Pojęcie tautologii. Metody dowodzenia tautologii. Prawa rachunku zadań. Zbiór i elementy zbioru. Definiowanie zbiorów. Podzbiory. Równość zbiorów. Operacje na zbiorach. Prawa teorii zbiorów i sposoby ich dowodzenia. Produkt kartezjański. Relacje. Rodzaje relacji. Operacje na relacjach i sposoby ich sprawdzania. Zastosowanie pojęcia relacji w informatyce. Algebra Boole a. Funkcje logiczne. Minimalizacja funkcji logicznych. Metody reprezentacji funkcji logicznych (BDD). Badanie spełnialności funkcji logicznych. Logika i teoria mnogości w informatyce Elementy logiki symbolicznej i rachunku sekwentów. 10

11 METODY KSZTAŁCENIA: Wykład: wykład konwencjonalny/tradycyjny. Ćwiczenia: ćwiczenia praktyczne EFEKTY KSZTAŁCENIA I METODY WERYFIKACJI OSIĄGANIA EFEKTÓW KSZTAŁCENIA: OPIS EFEKTU Potrafi stosować aparat logiki, dowodzenia twierdzeń oraz teorii grafów i rekurencji do świadomego rozwiązywania problemów o charakterze informatycznym. Potrafi praktycznie wykorzystać logikę oraz teorię mnogości w informatyce Zna i potrafi interpretować pojęcia z zakresu logiki i teorii mnogości oraz potrafi je zastosować w problemach informatycznych SYMBOLE EFEKTÓW K1I_W01, K1I_U05, K1I_K01 K1I_W01, K1I_U01, K1I_U05, K1I_K01 K1I_W01, K1I_U05, K1I_K01 METODY WERYFIKACJI Sprawdzian, test Sprawdzian Sprawdzian, test FORMA ZAJĘĆ Wykład Ćwiczenia Wykład WARUNKI ZALICZENIA: Wykład - warunkiem zaliczenia jest uzyskanie pozytywnych ocen z kolokwiów pisemnych lub ustnych przeprowadzonych co najmniej raz w semestrze. Ćwiczenia warunkiem zaliczenia jest uzyskanie pozytywnych ocen z pisemnych sprawdzianów tematycznych. Składowe oceny końcowej = wykład: 50% + ćwiczenia: 50% OBCIĄŻENIE PRACĄ STUDENTA: Studia stacjonarne (50 godz.) Godziny kontaktowe = 45 godz. Przygotowanie się do zajęć = 2 godz. Zapoznanie się ze wskazaną literaturą = 1 godz. Przygotowanie raportu/sprawozdania = 1 godz. Wykonanie zadań zleconych przez prowadzącego = 1 godz. Studia niestacjonarne (50 godz.) Godziny kontaktowe = 27 godz. Przygotowanie się do zajęć = 8 godz. Zapoznanie się ze wskazaną literaturą = 5 godz. Przygotowanie raportu/sprawozdania = 5 godz. Wykonanie zadań zleconych przez prowadzącego = 5 godz. LITERATURA PODSTAWOWA: 1. Huzar Z.: Elementy logiki i teorii mnogości dla informatyków, Wydawnictwa Politechniki Wrocławskiej, Wrocław,

12 2. Ross K.A., Wright Ch.R.B.: Matematyka dyskretna, Wydawnictwo Naukowe PWN, Warszawa, 2006 (rozdz. 1, 2, 3,10). 3. Ławrow I.A, Maksimowa Ł.R: Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów, Wydawnictwo Naukowe PWN, Warszawa, Ben Ari M.: Logika matematyczna w informatyce, WNT, Warszawa, LITERATURA UZUPEŁNIAJĄCA: Papadimitriou H.: Złożoność obliczeniowa, WNT, Warszawa, 2002 (cz. 2 Logika). Tiuryn J.: Wstęp do teorii mnogości i logiki, Wydział Matematyki, Informatyki i Mechaniki, Uniwersytet Warszawski, 1998 (podręcznik internetowy). Majewski W.: Układy logiczne, Wydawnictwa Komunikacji i Łączności, PROGRAM OPRACOWAŁ: Prof. dr hab. Inż. Marian Adamski Dr inż. Jacek Tkacz 12

13 Liczba godzin w semestrze Liczba godzin w tygodniu Semestr F I Z Y K A Kod przedmiotu: 13.2-WE-INFP-F Typ przedmiotu: obowiązkowy Język nauczania: polski Odpowiedzialny za przedmiot: nauczyciel akademicki prowadzący wykład Prowadząc y: nauczyciel akademicki WFiA zajęć zaliczenia Punkty ECTS Studia stacjonarne W ykład 30 2 Zaliczenie na ocenę II Ćwic zenia 15 1 Zaliczenie na ocenę Studia niestacjonarne 4 W ykład 18 2 Zaliczenie na ocenę II Ćwic zenia 9 1 Zaliczenie na ocenę CEL PRZEDMIOTU: Celem jest zapoznanie studenta z metodologia opisu zjawisk fizycznych i opisem metod matematycznych stosowanych w różnych działach fizyki WYMAGANIA WSTĘPNE: znajomość fizyki na poziomie szkoły ponadgimnazjalnej ZAKRES TEMATYCZNY PRZEDMIOTU: Elementy mechaniki klasycznej: Elementarne pojęcia rachunku wektorowego: układ współrzędnych, działania na wektorach, iloczyn skalarny i wektorowy. Przekształcenia liniowe w przestrzeni wektorowej (obroty) - macierze. Ruch jednowymiarowy: (prędkość średnia i chwilowa, przyspieszenie, spadek swobodny ciał) - pojęcie pochodnej funkcji i własności. Ruch na płaszczyźnie: (rzut ukośny, rzut poziomy, ruch jednostajny po okręgu, ruch względny). Dynamika punktu materialnego: (zasady dynamiki Newtona, tarcie, siły w ruchu po okręgu, siły bezwładności), praca i energia, zasada zachowania energii, zasada zachowania pędu dla punktu materialnego i układu ciał. Grawitacja: prawo powszechnego ciążenia, masa bezwładna i masa grawitacyjna, pole grawitacyjne (natężenie i potencjał pola, grawitacyjna potencjalna energia), ruch planet i satelitów (prawa Keplera, prędkości kosmiczne). Elementy akustyki: ruch drgający (fale dźwiękowe, wrażenie słuchowe, zjawisko Dopplera). Elementy elektryczności: oddziaływania elektryczne, prawo Coulomba, pole elektryczne, prawo Ohma, łączenie oporów i źródeł napięcia, prawa Kirchoffa. Elementy optyki: prawo odbicia i załamania światła, zwierciadła, soczewki, pryzmat i płytka płaskorównoległościenna, przyrządy optyczne. Wstęp do mechaniki kwantowej: postulaty mechaniki kwantowej (obserwable, stany i dynamika), równanie Schrodingera (atom wodoru). 13

14 METODY KSZTAŁCENIA: wykład: wykład konwencjonalny ćwiczenia: ćwiczenia rachunkowe, dyskusja EFEKTY KSZTAŁCENIA I METODY WERYFIKACJI OSIĄGANIA EFEKTÓW KSZTAŁCENIA: OPIS EFEKTU SYMBOLE EFEKTÓW METODY WERYFIKACJI FORMA ZAJĘĆ Tworzy i weryfikuje modele świata rzeczywistego oraz posługuje się nimi w celu predykcji zdarzeń i stanów. K1I_W02 K1I_U06 Kolokwium zaliczeniowe Wykład, ćwiczenia rachunkowe Analizuje i wyjaśnia obserwowane zjawiska. K1I_W02 Kolokwium zaliczeniowe, wiczeniach, bieżąca aktywność na ćwiczeniach wykład, ćwiczenia rachunkowe Rozumie metodologię fizyki i stosuje ją do opisu zjawisk przyrodniczych K1I_W02 K1I_U06 Kolokwium zaliczeniowe, kolokwia na ćwiczeniach, bieżąca aktywność na ćwiczeniach wykład, ćwiczenia rachunkowe WARUNKI ZALICZENIA: Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z kolokwium pisemnego, obejmującego cały materiał. Ćwiczenia - aktywność na zajęciach, pozytywna ocena z kolokwium. Składowe oceny końcowej = wykład: 50% + ćwiczenia: 50% OBCIĄŻENIE PRACĄ STUDENTA: Studia stacjonarne (100 godz.) Godziny kontaktowe = 45 godz. Przygotowanie się do zajęć = 11 godz. Zapoznanie się ze wskazaną literaturą = 11 godz. Wykonanie zadań zleconych przez prowadzącego = 11 godz. Zajęcia realizowane na odległość = 11 godz. Przygotowanie się do zaliczenia = 11 godz. Studia niestacjonarne (100 godz.) Godziny kontaktowe = 27 godz. Przygotowanie się do zajęć = 14 godz. Zapoznanie się ze wskazaną literaturą = 14 godz. Wykonanie zadań zleconych przez prowadzącego = 27 godz. Zajęcia realizowane na odległość = 14 godz. Przygotowanie się do zaliczenia = 14 godz. LITERATURA PODSTAWOWA: Halliday D., Resnick R., Walker J.: Postawy fizyki, tomy 1 2, Mechanika klasyczna, PWN, 2005 Halliday D., Resnick R., Walker J.: Postawy fizyki, tom 3 Elektryczność, magnetyzm, PWN, 2005 Halliday D., Resnick R., Walker J.: Postawy fizyki, tom 4 Fale elektromagnetyczne, optyka, teoria względności, PWN,

15 Halliday D., Resnick R., Walker J.: Postawy fizyki, tom 5 Fizyka kwantowa, fizyka ciała stałego, fizyka jądrowa, PWN, 2005 UZUPEŁNIAJĄCA: 1. Massalski J., Fizyka dla Inżynierów, T.1, WNT, Massalski J., Fizyka dla Inżynierów, T.2, Fizyka współczesna, WNT, 2005 PROGRAM OPRACOWAŁ: dr hab. inż. Krzysztof Patan, prof. UZ 15

16 Liczba godzin w semestrze Liczba godzin w tygodniu Semestr M E T O D Y P R O B A B I L I S T Y C Z N E Kod przedmiotu: 11.2-WE-INFP-MP Typ przedmiotu: obowiązkowy Język nauczania: polski Odpowiedzialny za przedmiot: prof. dr hab. inż. Dariusz Uciński Prowadząc y: nauczyciel akademicki Instytutu Sterowania i Systemów Informatycznych zajęć zaliczenia Punkt y ECTS Studia stacjonarne W ykład 30 2 zaliczenie na ocenę II Ćwic zenia 30 2 zaliczenie na ocenę Studia niestacjonarne 5 W ykład 18 2 zaliczenie na ocenę II Ćwic zenia 18 2 zaliczenie na ocenę CEL PRZEDMIOTU: zapoznanie studentów z podstawowymi procedurami jakościowej i ilościowej analizy danych ukształtowanie krytycznego spojrzenia na wiarygodność inżynierskich analiz statystycznych ukształtowanie umiejętności szacowania niepewności w praktyce inżynierskich badań eksperymentalnych WYMAGANIA WSTĘPNE: Analiza matematyczna, Algebra liniowa z geometrią analityczną ZAKRES TEMATYCZNY PRZEDMIOTU: Niepewność pomiarowa. Przenoszenie niepewności. Błędy przypadkowe i systematyczne. Szeregi rozdzielcze punktowe i przedziałowe. Histogram. Miary położenia, zmienności, asymetrii i koncentracji. Odrzucanie danych. Prawdopodobieństwo. Przestrzeń zdarzeń elementarnych. Definicje prawdopodobieństwa: klasyczna, częstościowa i współczesna. Podstawowe własności prawdopodobieństwa. Prawdopodobieństwo warunkowe. Niezależność. Prawdopodobieństwo całkowite. Wzór Bayesa. Zmienne losowe dyskretne i ciągłe. Zmienne losowe dyskretne. Rozkłady: dwupunktowy, Bernoulliego, Poissona i geometryczny. Funkcje zmiennych losowych. Pojęcia wartości oczekiwanej i wariancji zmiennej losowej. Rozkłady łączne wielu zmiennych losowych. Niezależność zmiennych losowych. Zmienne losowe ciągłe. Rozkład równomierny. Rozkład wykładniczy. Pojęcie dystrybuanty zmiennej losowej. Rozkład normalny. 16

17 Podstawy wnioskowania statystycznego. Schematy losowania próby. Próba prosta. Rozkłady: chi-kwadrat, t-studenta i Fishera-Snedecora. Estymacja punktowa i przedziałowa. Nieobciążoność, zgodność, efektywność i dostateczność. Estymacja parametryczna i nieparametryczna. Przedziały ufności dla wartości oczekiwanej. Twierdzenia graniczne. Przedziały ufności dla wartości oczekiwanej w populacji o nieznanym rozkładzie, wariancji, odchylenia standardowego, prawdopodobieństw oraz różnic prawdopodobieństw i wartości oczekiwanych. Testowanie hipotez statystycznych. Parametryczne testy istotności dla wartości oczekiwanej, wariancji wskaźnika struktury w populacji. Nieparametryczne testy istotności. Regresja liniowa i wielomianowa. Metody analizy współzależności zjawisk. Korelacja i regresja. Metoda najmniejszych kwadratów. Wnioskowanie w analizie korelacji i regresji. Współczynnik korelacji liniowej. Przedziały ufności. METODY KSZTAŁCENIA: wykład: wykład konwencjonalny ćwiczenia: ćwiczenia rachunkowe EFEKTY KSZTAŁCENIA I METODY WERYFIKACJI OSIĄGANIA EFEKTÓW KSZTAŁCENIA: OPIS EFEKTU Potrafi krytycznie ocenić wiarygodność analiz statystycznych Zna i rozumie założenia testów statystycznych Potrafi obliczyć przedziały ufności i je interpretować Potrafi posługiwać się rozkładami teoretycznymi (dwumianowy, Poissona, normalny, t-studenta, F, chi-kwadrat) Potrafi dobrać i obliczyć odpowiednie miary tendencji centralnej i rozproszenia Potrafi dokonać wstępnej analizy danych i przejść od modelu probabilistycznego do wnioskowania statystycznego Ma świadomość znaczenia analizy danych w praktyce inżynierskiej SYMBOLE EFEKTÓW K1I_U05 METODY WERYFIKACJI sprawdzian, bieżąca kontrola na zajęciach FORMA ZAJĘĆ ćwiczenia rachunkowe K1I_W01 sprawdzian wykład K1I_W01, K1I_U05 K1I_W01, K1I_U05 K1I_U05 K1I_U05 sprawdzian, bieżąca kontrola na zajęciach sprawdzian, bieżąca kontrola na zajęciach sprawdzian, bieżąca kontrola na zajęciach sprawdzian, bieżąca kontrola na zajęciach wykład, ćwiczenia rachunkowe wykład, ćwiczenia rachunkowe ćwiczenia rachunkowe ćwiczenia rachunkowe K1I_W01 sprawdzian wykład WARUNKI ZALICZENIA: Ćwiczenia na ocenę z ćwiczeń składają się wyniki osiągnięte na kolokwiach (80%) oraz aktywność na zajęciach (20%) Wykład warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze sprawdzianów pisemnych przeprowadzonych co najmniej raz w semestrze Na ocenę z przedmiotu składa się ocena z ćwiczeń (50%) i z egzaminu (50%). Warunkiem zaliczenia przedmiotu są pozytywne oceny z ćwiczeń i egzaminu. Składowe oceny końcowej = wykład: 50% + ćwiczenia: 50% 17

18 OBCIĄŻENIE PRACĄ STUDENTA: Studia stacjonarne (125 godz.) Godziny kontaktowe = 60 godz. Przygotowanie się do zajęć = 10 godz. Zapoznanie się ze wskazaną literaturą = 10 godz. Wykonanie zadań zleconych przez prowadzącego = 20 godz. Zajęcia realizowane na odległość = 10 godz. Przygotowanie się do sprawdzianów = 15 godz. Studia niestacjonarne (125 godz.) Godziny kontaktowe = 36 godz. Przygotowanie się do zajęć = 14 godz. Zapoznanie się ze wskazaną literaturą = 14 godz. Wykonanie zadań zleconych przez prowadzącego = 28 godz. Zajęcia realizowane na odległość = 14 godz. Przygotowanie się do sprawdzianów = 19 godz. LITERATURA PODSTAWOWA: 1. Sobczyk M.: Statystyka, PWN, Warszawa, Koronacki J. i Mielniczuk J.: Statystyka dla studentów kierunków technicznych i przyrodniczych, WNT, Warszawa, Stasiewicz S., Rusnak Z. i Siedlecka U.: Statystyka. Elementy teorii i zadania, Wydawnictwo Akademii Ekonomicznej im. Oskara Langego, Wrocław, Kukuła K.: Elementy statystyki w zadaniach, PWN, Warszawa, LITERATURA UZUPEŁNIAJĄCA: 1. Starzyńska W.: Statystyka praktyczna, PWN, Warszawa, Gajek L. i Kałuszka M.: Wnioskowanie statystyczne. Modele i metody, WNT, Warszawa, PROGRAM OPRACOWAŁ: prof. dr hab. inż. Dariusz Uciński 18

19 Liczba godzin w semestrze Liczba godzin w tygodniu Semestr P O D S TAW Y S Y S T E M Ó W D Y S K R E T N Y C H Kod przedmiotu: 11.9-WE-INFP-PSD Typ przedmiotu: obowiązkowy Język nauczania: polski Odpowiedzialny za przedmiot: Prof. dr hab. Roman Gielerak Prowadząc y: Pracownicy ISSI zajęć zaliczenia Punkt y ECTS Studia stacjonarne W ykład 30 2 egzamin II Ćwic zenia 30 2 Zaliczenie na ocenę Studia niestacjonarne 3 W ykład 18 2 egzamin II Ćwic zenia 18 2 Zaliczenie na ocenę CEL PRZEDMIOTU: - zapoznać studentów z podstawowymi metodami matematyki dyskretnej stosowanej w wielu obszarach informatyki takich jak np. analiza algorytmów - wyjaśnienie na bazie algorytmiki teorio- liczbowej podstaw złożoności obliczeniowej współczesnych algorytmów szyfrowania - nauczenie stosowania wymienionych metod matematycznych do rozwiązywania zadań praktycznych pojawiających sie w praktyce WYMAGANIA WSTĘPNE: Analiza matematyczna, Algebra liniowa z geometrią analityczną, Logika dla informatyków. ZAKRES TEMATYCZNY PRZEDMIOTU: Wstęp: elementarne własności funkcji i ciągów (terminologia i notacja). Algebra zbiorów, algebra Boola. Relacje: Relacje jako zbiory, relacje vs. grafy i vs. macierze. Podziały na klasy abstrakcji. Relacje porządkujące. Procedury indukcyjne i rekurencyjne : Zachowania asymptotyczne: notacje?,?, o(-), O(-). Indukcja matematyczna i jej zastosowania. Wzór dwumienny Newtona. Procedury indukcyjne. Definicje i procedury rekurencyjne. Równania rekurencyjne. Liniowe równania rekurencyjne i ich rozwiązywanie. Metoda wielomianu charakterystycznego i metoda szeregów potęgowych. Funkcjonał generujący. Uniwersalne rekurencje i ich zastosowania do analizy złożoności obliczeniowych algorytmów rekurencyjnych. Algorytm Euklidesa i analiza jego złożoności obliczeniowej. Liczby Fibonacciego. Algorytmy rekurencyjne i indukcyjne. 19

20 Zagadnienia kombinatoryczne. Elementarne procedury zliczania. Podziały. Algorytmy teoriomnogościowe. Zasada szufladkowa Dirichleta. Permutacje. Kombinacje. Wariacje. Funkcje generujące. Algorytmy kombinatoryczne i ich złożoność obliczeniowa. Zastosowania do elementarnej teorii prawdopodobieństwa. Zagadnienia teorii grafów.. Grafy i grafy skierowane. Zastosowania rachunku macierzy do analizy grafów. Algorytmy na grafach skierowanych. Zagadnienia i algorytmy na grafach: przeszukiwania, sortowania, szukanie drzew rozpinających, szukanie optymalnych ścieżek. Optymalne przepływy na grafach. Problem komiwojażera. Zagadnienia teorioliczbowe. Relacje podzielności. Arytmetyka modularna. Liniowe równania modularne. Chińskie twierdzenie o resztach. Rząd elementu: logarytm dyskretny. Problem faktoryzacji: twierdzenie Eulera i twierdzenie (małe) Fermata. Protokół kryptograficzny RSA. Testy pseudopierwszości. Test Rabina- Millera. Elementy logiki. Kwantyfikatory. Elementarny rachunek predykatów. Rachunek sekwensów. Zbiory nieskończone. Sieci boolowskie. Tablice Karnaugha. Uzupełnienia. Języki formalne. Klasyczna teoria złożoności obliczeniowej. Problemy NP. i NP-zupełne. METODY KSZTAŁCENIA: wykład: wykład konwencjonalny ćwiczenia: konsultacje, ćwiczenia rachunkowe EFEKTY KSZTAŁCENIA I METODY WERYFIKACJI OSIĄGANIA EFEKTÓW KSZTAŁCENIA: OPIS EFEKTU SYMBOLE EFEKTÓW METODY WERYFIKACJI FORMA ZAJĘĆ Znajomość podstawowych metod matematyki dyskretnej w zadaniach informatyki KI1_W01 KI1_U05 Ki1_K01 Egzamin, kolokwia, aktywność na ćwiczeniach Wykład, ćwiczenia Umiejętność analizowania relacji za pomocą metod teorii grafów i rachunku macierzowego KI1_W01 KI1_U05 Egzamin, kolokwia, aktywność na ćwiczeniach Wykład, ćwiczenia Umiejętność szacowania złożoności obliczeniowych procedur rekurencyjnych oraz stosowania zasad indukcji matematycznej KI1_W01 KI1_U05 Egzamin, kolokwia, aktywność na ćwiczeniach Wykład, ćwiczenia Znajomość algorytmow teorioliczbowych stosowanych w kryptografii asymetrycznej KI1_W01 KI1_U05 Egzamin, kolokwia, aktywnośc na ćwiczeniach Wykład, ćwiczenia Znajomość elementarnych algorytmów kombinatorycznych KI1_W01 KI1_U05 Egzamin, kolowia, aktywność na ćwiczeniach Wykład, ćwiczenia WARUNKI ZALICZENIA: Wykład - warunkiem zaliczenia jest rozwiązanie ponad 60% zadań egzaminacyjnych Ćwiczenia - warunkiem zaliczenia jest uzyskanie oceny pozytywnej z ponad 66% realizowanych kolokwiów Ocena końcowa: średnia arytmetyczna ocen z egzaminu i zaliczenia ćwiczeń Składowe oceny końcowej = wykład: 50% + ćwiczenia: 50% OBCIĄŻENIE PRACĄ STUDENTA: Studia stacjonarne (75godz.) Godziny kontaktowe = 60 godz. Przygotowanie się do zajęć = 10 godz. Przygotowanie się do egzaminu = 5 godz. 20

21 Studia niestacjonarne (75godz.) Godziny kontaktowe = 36 godz. Przygotowanie się do zajęć = 9 godz. Zapoznanie się ze wskazaną literaturą = 15 godz. Wykonanie zadań zleconych przez prowadzącego = 10 godz. Przygotowanie się do egzaminu = 5 godz. LITERATURA PODSTAWOWA: 1. Ross K. A., Wright CH. R. B.: Matematyka dyskretna, PWN, Cormen T. H., Leiserson Ch. E., Rivest R. L.: Wprowadzenie do algorytmów, WNT, Warszawa, Jabloński S. W.: Wstęp do matematyki dyskretnej, PWN, Warszawa, LITERATURA UZUPEŁNIAJĄCA: 1. Reingold E.M., Nievergelt J., Deo N.: Algorytmy kombinatoryczne, PWN, Warszawa, Flachmeyer J.: Kombinatoryka, PWN, Warszawa, PROGRAM OPRACOWAŁ: Prof. dr hab. Roman Gielerak 21

22 Liczba godzin w semestrze Liczba godzin w tygodniu Semestr T E C H N I K A E K S P E R Y M E N T U I I Kod przedmiotu: 06.0-WE-INFP-TE2 Typ przedmiotu: obowiązkowy Język nauczania: polski Odpowiedzialny za przedmiot: dr hab. inż. Ryszard Rybski, prof.uz Prowadząc y: pracownicy IME WEIT zajęć zaliczenia Punkt y ECTS Studia stacjonarne W ykład 15 1 Zaliczenie na ocenę II Laboratorium 30 2 Zaliczenie na ocenę Studia niestacjonarne 4 W ykład 9 1 Zaliczenie na ocenę II Laboratorium 18 2 Zaliczenie na ocenę CEL PRZEDMIOTU: - zapoznanie studentów z podstawowymi metodami i przyrządami pomiarowymi - zapoznanie studentów z podstawowymi operacjami analogowymi, analogowo cyfrowymi i cyfrowo- analogowymi na sygnałach pomiarowych - zapoznanie studentów z podstawowymi rodzajami sensorów i blokami funkcjonalnymi systemów pomiarowych - ukształtowanie wśród studentów umiejętności w zakresie wykonywania prostych zadań pomiarowych WYMAGANIA WSTĘPNE: Technika eksperymentu I ZAKRES TEMATYCZNY PRZEDMIOTU: Podstawy planowania instrumentalnej realizacji eksperymentu. Wpływ charakteru obiektu badań i założonego celu eksperymentu na wybór metody i procedury pomiarowej oraz przyrządów i układów pomiarowych. Podstawowe metody i przyrządy pomiarowe. Właściwości metrologiczne przyrządów pomiarowych. Wybrane analogowe przyrządy elektroniczne. Cyfrowe przetwarzanie sygnałów pomiarowych. Próbkowanie, kwantowanie i kodowanie. Przetworniki analogowo-cyfrowe i cyfrowo-analogowe. Cyfrowe przyrządy pomiarowe. Pomiary wybranych wielkości nieelektrycznych. Ogólna charakterystyka czujników pomiarowych. Zasada działania i właściwości wybranych czujników pomiarowych. Czujniki inteligentne. 22

23 Ogólna charakterystyka komputerowych systemów pomiarowych. Rodzaje i konfiguracje systemów pomiarowych. Podstawowe bloki funkcjonalne komputerowych systemów pomiarowych: przetworniki i przyrządy systemowe, podsystemy akwizycji sygnałów pomiarowych, magistrala, interfejs, kontroler systemu. METODY KSZTAŁCENIA: wykład: wykład konwencjonalny, wykład problemowy, dyskusja laboratorium: praca z dokumentem źródłowym, praca w grupach, ćwiczenia laboratoryjne EFEKTY KSZTAŁCENIA I METODY WERYFIKACJI OSIĄGANIA EFEKTÓW KSZTAŁCENIA: OPIS EFEKTU Potrafi korzystać z przyrządów pomiarowych i realizować nieskomplikowane zadania pomiarowe Wylicza i opisuje podstawowe rodzaje sensorów oraz rodzaje i konfiguracje systemów pomiarowych Student wymienia i rozpoznaje podstawowe przyrządy pomiarowe jako środki realizacji pomiaru - podstawowego elementu techniki eksperymentu Nazywa i charakteryzuje podstawowe operacje analogowego, analogowocyfrowego i cyfrowo-analogowego przetwarzania sygnałów SYMBOLE EFEKTÓW K1I_U07 METODY WERYFIKACJI Sprawdzian, bieżąca kontrola na zajęciach FORMA ZAJĘĆ Laboratorium K1I_W03 Kolokwium Wykład K1I_W03 Kolokwium Wykład K1I_W03 Kolokwium Wykład WARUNKI ZALICZENIA: Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej ocen z kolokwium prowadzonego w formie pisemnej. Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych, przewidzianych do realizacji w ramach programu laboratorium. Składowe oceny końcowej = wykład: 50% + laboratorium: 50% OBCIĄŻENIE PRACĄ STUDENTA: Studia stacjonarne (100 godz.) Godziny kontaktowe = 45 godz. Przygotowanie się do zajęć = 25 godz. Zapoznanie się ze wskazaną literaturą = 10 godz. Wykonanie zadań zleconych przez prowadzącego = 10 godz. Przygotowanie raportu/sprawozdania = 10 godz. Studia niestacjonarne (100 godz.) Godziny kontaktowe = 27 godz. Przygotowanie się do zajęć = 35 godz. Zapoznanie się ze wskazaną literaturą = 10 godz. Przygotowanie raportu/sprawozdania = 10 godz. Wykonanie zadań zleconych przez prowadzącego = 10 godz. Zajęcia realizowane na odległość = 8 godz. 23

24 LITERATURA PODSTAWOWA: 1. Chwaleba A, Poniński M., Siedlecki A.: Metrologia elektryczna, WNT, Warszawa, Miłek M.: Metrologia elektryczna wielkości nieelektrycznych. Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, Zielona Góra, Nawrocki W. Komputerowe systemy pomiarowe, WKiŁ, Warszawa, Tumański S.: Technika pomiarowa. WNT, Warszawa, LITERATURA UZUPEŁNIAJĄCA: 1. Horowitz P., Hill W.: Sztuka elektroniki, WKiŁ, Warszawa, Tietze U., Schenk Ch.: Układy półprzewodnikowe, WNT, Warszawa, PROGRAM OPRACOWAŁ: dr hab. inż. Ryszard Rybski, prof. UZ 24

25 Liczba godzin w semestrze Liczba godzin w tygodniu Semestr A R C H I TT E K TT U R A K O M P U TT E R Ó W I Kod przedmiotu: 11.3-WE-INFP-AK1 Typ przedmiotu: obowiązkowy Język nauczania: polski Odpowiedzialny za przedmiot: dr hab. inż. Andrzej Pieczyński, prof. UZ Prowadząc y: nauczyciele akademiccy WEIT, ISSI zajęć zaliczenia Punkt y ECTS Studia stacjonarne W ykład 15 1 Zaliczenie na ocenę I Laboratorium 30 2 Zaliczenie na ocenę Studia niestacjonarne 2 W ykład 9 1 Zaliczenie na ocenę I Laboratorium 18 2 Zaliczenie na ocenę CEL PRZEDMIOTU: Nabycie umiejętności i kompetencji w zakresie: budowy komputera, zasad przesyłania, przechowywania i przetwarzania informacji w komputerze, ogólnych zasad pracy komputera, architektur równoległych komputerów. WYMAGANIA WSTĘPNE: brak ZAKRES TEMATYCZNY PRZEDMIOTU: Istota działania systemu komputerowego: Modele von Neumanna i Harvarda. Zasada współpracy procesora z pamięcią w procesie przetwarzania informacji. Operacje wejścia-wyjścia. Hierarchia pamięci, struktura adresowa. Systemy wieloprocesorowe. Klasyfikacja Flynna, maszyny SIMD, MISD, MIMD. Model programowy procesora. Poziomy maszynowe i języki maszynowe, architektura listy rozkazów. Reprezentacja i typy danych. Kodowanie liczb całkowitych. Zmiennoprzecinkowe reprezentacje liczb. Standard IEEE 754. Działania na danych. Algorytmy dodawania, odejmowania, mnożenia i dzielenia. Szybkość działań arytmetycznych. Tryby adresowania. Sterowanie przebiegiem programu. Warunki i rozgałęzienia. Sprzęg z otoczeniem. Magistrale (ISA, ESIA, LB, PCI, AGP). Urządzenia zewnętrzne - monitor, klawiatura, mysz. Zasady działania i obsługi. Środowisko multimedialne. 25

26 Organizacja i hierarchia pamięci. Pamięć podręczna - organizacja i obsługa. Problem spójności pamięci podręcznej, Model MESI. Pamięci wtórne (masowe). Metody zapisu informacji na nośniku magnetycznym i optycznym. Sterowniki dysków. Potokowe przetwarzanie rozkazów. Współpraca wielu jednostek wykonawczych. Prognoza i realizacja rozgałęzień. Modele przetwarzania informacji. Architektury RISC i ich charakterystyka. Programy współbieżne i maszyny równoległe. Mechanizmy przyśpieszające. Przetwarzanie potokowe (pipelining). Prognoza rozgałęzień. Przyśpieszanie realizacji rozgałęzień. Rozdzielona i wielopoziomowa pamięć podręczna (cache). Organizacja systemu pamięci. Przegląd współczesnych architektur RISC. Architektura mikroprocesorów klasy CISC Klasyfikacja architektur. Współbieżne wykonywanie programów w systemach wieloprocesorowych. Klasyfikacja maszyn równoległych. Techniki programowania systemów równoległych. mechanizmy komunikacji i synchronizacji. Dekompozycja problemu dla potrzeb przetwarzania równoległego. Systemy rozproszone. METODY KSZTAŁCENIA: wykład: konsultacje, metoda projektu, wykład problemowy, wykład konwencjonalny laboratorium: symulacja, konsultacje, metoda projektu, ćwiczenia laboratoryjne. EFEKTY KSZTAŁCENIA I METODY WERYFIKACJI OSIĄGANIA EFEKTÓW KSZTAŁCENIA: OPIS EFEKTU Ma wiedzę na temat funkcjonowania komputera wieloprocesorowego opartego o architekturę równoległą Ma wiedzę z zakresu opisu funkcje podstawowych podzespołów komputera Potrafi montować zestaw komputerowy z dostępnych podzespołów. Potrafi przygotować konfigurację zestawu komputerowego Umie korzystać z różnych konfiguracji komputera Potrafi obsługiwać systemy startowe BIOS Jest otwarty na używanie nowych rozwiązań w sprzęcie komputerowym SYMBOLE EFEKTÓW METODY WERYFIKACJI K1I_W07, kolokwium wykład K1I_W07 kolokwium wykład K1I_U11 K1I_U11 K1I_U11 K1I_U12 K1I_K05, K1I_K06, K1I_K09, K1I_K10 sprawdzian, bieżąca kontrola na zajęciach sprawdzian, bieżąca kontrola na zajęciach sprawdzian, bieżąca kontrola na zajęciach sprawdzian, bieżąca kontrola na zajęciach kolokwium FORMA ZAJĘĆ laboratorium laboratorium laboratorium laboratorium wykład WARUNKI ZALICZENIA: Wykład - warunkiem zaliczenia jest uzyskanie pozytywnych ocen z kolokwiów pisemnych lub ustnych przeprowadzonych, co najmniej raz w semestrze. Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych, przewidzianych do realizacji w ramach programu laboratorium. Składowe oceny końcowej = wykład: 50% + laboratorium: 50% OBCIĄŻENIE PRACĄ STUDENTA: Studia stacjonarne (60 godz.) Godziny kontaktowe = 45 godz. Przygotowanie się do zajęć = 2 godz. Zapoznanie się ze wskazaną literaturą = 3 godz. 26

27 Przygotowanie raportu/sprawozdania = 5 godz. Wykonanie zadań zleconych przez prowadzącego = 3 godz. Przygotowanie się do kolokwium zaliczeniowego = 2 godz. Studia niestacjonarne (60 godz.) Godziny kontaktowe = 30 godz. Przygotowanie się do zajęć = 10 godz. Zapoznanie się ze wskazaną literaturą = 5 godz. Przygotowanie raportu/sprawozdania = 5 godz. Wykonanie zadań zleconych przez prowadzącego = 8 godz. Przygotowanie się do kolokwium zaliczeniowego = 2 godz. LITERATURA PODSTAWOWA: 1. Chalk B.S.: Organizacja i architektura komputera, WNT, Warszawa, Metzger P.: Anatomia PC, wydanie VI, Helion, Mueller S.: Rozbudowa i naprawa komputerów PC, Helion, Wojtuszkiewicz K.: Urządzenia techniki komputerowej. Cz. 1 Jak działa komputer, WN PWN, Warszawa, Wojtuszkiewicz K.: Urządzenia techniki komputerowej. Cz. 2 Urządzenia peryferyjne i interfejsy, WN PWN, Warszawa, LITERATURA UZUPEŁNIAJĄCA: 1. Mueller S., Soper M. E.: Rozbudowa i naprawa komputerów PC. Kompedium, Helion, Metzger P.: Diagnostyka i optymalizacja komputerów PC, Helion, 2001 PROGRAM OPRACOWAŁ: dr hab. inż. Andrzej Pieczyński, prof. UZ 27

28 Liczba godzin w semestrze Liczba godzin w tygodniu Semestr P O D S TAW Y P R O G R A M O W A N I A Kod przedmiotu: 11.3-WE-INFP-PP Typ przedmiotu: obowiązkowy Język nauczania: polski Odpowiedzialny za przedmiot: dr inż. Wojciech Zając Prowadząc y: pracownicy WEIT zajęć zaliczenia Punkt y ECTS Studia stacjonarne W ykład 30 2 zaliczenie z oceną I Laboratorium 30 2 zaliczenie z oceną Studia niestacjonarne 4 W ykład 18 2 zaliczenie z oceną I Laboratorium 18 2 zaliczenie z oceną CEL PRZEDMIOTU: Zapoznanie studentów z architekturą systemu komputerowego pod kątem programowania. Zapoznanie ze specyfiką projektowania programu w języku C. Ukształtowanie umiejętności projektowania programu w C. Ukształtowanie umiejętności właściwego stosowania poleceń i struktur danych oraz wykorzystania technik programowania do rozwiązywania postawionych problemów. WYMAGANIA WSTĘPNE: - ZAKRES TEMATYCZNY PRZEDMIOTU: Architektura i zasoby komputera. System operacyjny. Projektowanie programu. Pojęcie algorytmu. Języki programowania. Implementacje algorytmów w językach programowania. Środowisko programistyczne. Struktura programu w języku C. Przykład programu w C. Programowanie w języku C. Składnia poleceń. Stałe i zmienne, typy danych, rozmiary. Operatory, wyrażenia i podstawowe instrukcje języka C. Podstawowe konstrukcje programistyczne: pobieranie i wyświetlanie danych.. Podstawowe operacje na zmiennych. Operatory arytmetyczne i ich hierarchia. Przykłady. towanie wydruku printf. Pełna składnia funkcji printf: flaga, szerokość pola, dokładność, znak formatujący. Tabela kodów ASCII. Instrukcje złożone. Instrukcje: wyrażeniowe, pusta, grupująca. Instrukcje sterowania przebiegiem programu: if-else, switch, instrukcja skoku. Pętle: do, while, for. 28

29 Wyrażenia i operatory. Operatory indeksowania, wyboru i wywołania. Operatory jednoargumentowe, arytmetyczne, logiczne. Operator warunkowy, przypisania, połączenia. Inne operatory. Funkcje - wprowadzenie. budowa, argumenty, rezultat, prototyp, deklaracja, wywołanie, zastosowanie funkcji. Operatory arytmetyczne - hierarchia. Wskaźniki. Zasady pracy ze wskaźnikami. Deklaracja, odwołanie do adresu i wartości wskazywanej. Komunikacja funkcji z otoczeniem za pomocą wskaźników. Tablice. Deklaracja, zastosowanie, przykłady. String jako tablica znaków. Nazwa zmiennej tablicowej jako wskaźnik. Tablice tablic. Deklaracja, zastosowanie, przykłady. Struktury danych. Właściwości. Tablice struktur. Pola. Unie. Pliki. Pojęcia podstawowe, struktura logiczna, buforowanie danych. Ścieżka względna i bezwzględna. Praca z plikiem: kojarzenie strumieni z plikami, otwarcie (tryby), zapis, odczyt, zamknięcie. Tworzenie i korzystanie z pliku wykonywalnego programu. Parametry funkcji main. METODY KSZTAŁCENIA: Wykład: wykład konwencjonalny/tradycyjny. Laboratorium: ćwiczenia laboratoryjne. EFEKTY KSZTAŁCENIA I METODY WERYFIKACJI OSIĄGANIA EFEKTÓW KSZTAŁCENIA: OPIS EFEKTU Zna i potrafi praktycznie wykorzystać zasady projektowania programu w języku C oraz przeanalizować przykładowy program. Zna i potrafi rozwiązać przykłady zadań programistycznych pracując samodzielnie lub w zespole Potrafi zrealizować samodzielnie projekt programistyczny, w razie konieczności z samokształceniem. SYMBOLE EFEKTÓW METODY WERYFIKACJI FORMA ZAJĘĆ K1I_W09 sprawdzian wykład K1I_W09 sprawdzian wykład K1I_U15 sprawdzian laboratori um WARUNKI ZALICZENIA: Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z egzaminu przeprowadzonego w formie pisemnej. Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnej ocen z kolokwium zaliczeniowego na końcu semestru. Składowe oceny końcowej = wykład 50% + laboratorium 50% OBCIĄŻENIE PRACĄ STUDENTA: Studia stacjonarne (100 godz.) Godziny kontaktowe = 60 godz. Przygotowanie się do zajęć = 10 godz. Zapoznanie się ze wskazaną literaturą = 15 godz. Wykonanie zadań zleconych przez prowadzącego = 15 godz. Studia niestacjonarne (100 godz.) Godziny kontaktowe = 36 godz. Przygotowanie się do zajęć = 36 godz. Zapoznanie się ze wskazaną literaturą = 12 godz. Wykonanie zadań zleconych przez prowadzącego =16 godz. 29

30 LITERATURA PODSTAWOWA: 1. Materiały wykładowe udostępnione w sieci Internet przez wykładowcę 2. Summit S.: Programowanie w języku C, Helion, Strzelecka N, Zając W.: Programowanie w języku Ansi C, Wydawnictwo Akademii Morskiej w Gdyni, Gdynia, Kisilewicz J. Język. w środowisku Borland C++, Wydanie IV, Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław, LITERATURA UZUPEŁNIAJĄCA: 1. Loudon K.: Algorytmy w C, Helion, PROGRAM OPRACOWAŁ: dr inż. Wojciech Zając 30

31 Liczba godzin w semestrze Liczba godzin w tygodniu Semestr A L G O R Y T M Y I S T R U K T U R Y D A N Y C H Kod przedmiotu: 11.3-WE-INFP-AISD Typ przedmiotu: obowiązkowy Język nauczania: Polski Odpowiedzialny za przedmiot: Dr hab. inż. Andrzej Obuchowicz, prof. UZ Prowadząc y: nauczyciele akademiccy WEIT, ISSI zajęć zaliczenia Punkt y ECTS Studia stacjonarne W ykład 30 2 Egzamin I Laboratorium 30 2 Zaliczenie na ocenę Studia niestacjonarne 4 W ykład 18 2 Egzamin I Laboratorium 18 2 Zaliczenie na ocenę CEL PRZEDMIOTU: 1. zapoznanie studentów z własnościami algorytmów, oraz z zasadami i ograniczeniami ich projektowania 2. zapoznanie studentów z podstawowymi strukturami danych i algorytmami je obsługującymi, oraz podstawowymi algorytmami rozwiązującymi wybrane zagadnienia algorytmiczne 3. ukształtowanie umiejętności budowania algorytmów dla prostych zadań algorytmicznych WYMAGANIA WSTĘPNE: brak ZAKRES TEMATYCZNY PRZEDMIOTU: Algorytm i jego własności: pojęcie problemu algorytmicznego i algorytmu, własności algorytmów; struktury sterujące i schematy blokowe. Techniki programowania: rekurencja i derekursywacja, programowanie typu dziel i rządź, algorytmy zachłanne, programowanie dynamiczne. Struktury danych: pojęcie struktury danych, zbiory dynamiczne, zbiory liniowo uporządkowane, słownik; kolejki i stosy; listy jedno- i dwukierunkowe, listy cykliczne, drzewa binarne, drzewa o dowolnej liczebności potomków; kolejki priorytetowe. Słowniki: drzewa przeszukiwań binarnych BST i AVL, drzewa czerwono-czarne; tablice haszujące, funkcje haszujące, techniki zapobiegania konfliktom; B-drzewa. Zbiory i grafy: zbiory, grafy, reprezentacje grafów, przeszukiwanie wszerz i w głąb, algorytmy teoriografowe i sieciowe. Analiza wybranych problemów algorytmicznych: przeszukiwanie liniowe i binarne, wybór k-tego elementu; wewnętrzne i zewnętrzne sortowanie danych; wyszukiwanie wzorca w tekście; algorytmy geometryczne; zagadnienie stronicowania; układy arytmetyczne; podstawowe techniki kompresji i kodowania danych. 31