ZAPRASZAMY DO LUBLINA
1
SPIS TRECI
1. Instytut Informatyki 2
1.1 Adres 2
1.2 Wadze 2
1.3 Struktura 2
2. Organizacja studiw na kierunku Informatyka 4
3. Stosowane metody dydaktyczne i organizacja ksztacenia 5
4. Praktyki studenckie 6
5. Baza dydaktyczna ` 6
6. Sprawy studenckie 9
7. Program studiw 11
8. Informacje o przedmiotach 20
9. Nauczyciele akademiccy Instytutu Informatyki 185
2
1. Instytut Informatyki
1.1 Adres
Plac M.Curie-Skodowskiej 1
20-031 Lublin
tel. (81) 537-62-62
e-mail: [email protected]
Strona www: http://informatyka.umcs.lublin.pl/
1.2 Wadze
Dyrektor:
prof. dr hab. Pawe Mikoajczak
Zakad Technologii Informatycznych
tel. 81-537-62-99, 081-537-61-55
e-mail: [email protected]
Zastpca Dyrektora:
dr Marcin Smolira
Zakad Modelowania i Symulacji Komputerowych
tel. 81-537-61-0
e-mail: [email protected]
1.3 Struktura
Aktualnie w skad Instytutu Informatyki wchodzi 5 zakadw naukowych.
Zakad Biocybernetyki
Kierownik: dr hab. Wiesawa Kuniszyk-Jkowiak, prof. UMCS, tel. 81-743-49-89 w. 118.
e-mail: [email protected] Problematyka naukowa:
- Opracowanie wizualno-suchowej komputerowej metody diagnozowania terapii
niepynnoci mowy.
- Automatyczne rozpoznawanie niepynnoci mowy z zastosowaniem analizy Fouriera,
klasyfikatorw rozmytych oraz metody korelacji.
mailto:[email protected]://informatyka.umcs.lublin.pl/mailto:[email protected]:[email protected]:[email protected]
3
Zakad Informatyki Stosowanej
Kierownik: dr hab. Zdzisaw ojewski, prof. UMCS, tel. 081-537-62-42
e-mail: [email protected] Problematyka naukowa:
- Inynieria oprogramowania, jzyki strukturalne programowania, jzyki obiektowe
programowania, systemy informacyjne, technologie informacyjne,
- Mikroprocesorowe systemy kontroli i sterowania, wykorzystanie systemw
mikroprocesorowych w dydaktyce informatyki,
- Zastosowanie informatyki w fizyce, modelowanie i algorytmizacja procesw fizycznych
zwizanych gwnie z rozpadem i fuzja jader atomowych, metody komputerowe stosowane w fizyce
kwantowej, problem komputerw kwantowych,
- Dydaktyka informatyki zarwno na poziomie uniwersyteckim jak i szk rednich, studia
podyplomowe dla nauczycieli informatyki oraz tworzenie bazy organizacyjnej i programowej dla
permanentnego doksztacania w dziedzinie technologii informatycznych kadry nauczycielskiej naszego
regionu.
Zakad Modelowania i Symulacji Komputerowych
Kierownik: prof. dr hab. Juliusz Sielanko, tel. 081-537-62-79
e-mail: [email protected] Problematyka naukowa:
- Doskonalenie programu TRQR, jego przystosowanie do pracy na superkomputerach oraz
zastosowaniem w badaniach symulacji plazmy i ukadw NBI (Wsplne prace z Instytutem Maxa
Plancka w Garching Niemcy i Instytutem Fizyki UMCS)
- Tworzenie i optymalizacja oprogramowania sucego do prawidowej interpretacji i
opracowywania danych uzyskiwanych w ramach polsko-flamandzkiego bilateralnego projektu
"Identification and prognosis of atmospheric pollution in selected health resorts of Lower Silesia after the
modernisation of two largest industrial plants in this region" Environmental Analysis Micro- and Trace
Analysis Center, Department of Chemistry, University of Antwerp (Belgia). Kierownikiem grupy jest
prof. Ren Van Grieken,
Zakad Technologii Informatycznych
Kierownik: prof. dr hab. Pawe Mikoajczak, tel. 081-537-61-55
e-mail: [email protected] Problematyka naukowa:
- Modelowanie operacji chirurgicznych (wsplnie Niemcy, Szwajcaria),
- Algorytmy przetwarzania obrazw medycznych (wsplnie Niemcy, Szwajcaria),
- Telemedycyna (Szwajcaria),
- Przetwarzanie obrazw fMRI (wsplnie z Uniwersytetem Jagielloskim i Uniwersytetem
Przyrodniczym w Lublinie),
- Algorytmy przetwarzania obrazw cyfrowych (wsplnie z UMK w Toruniu),
Zakad Ukadw Zoonych i Neurodynamiki
Kierownik: prof. dr hab. Wiesaw A. Kamiski, tel. 081-537-62-33
e-mail: [email protected]
mailto:[email protected]:[email protected]:[email protected]:[email protected]
4
Problematyka naukowa:
- Systemy komputerowe w administracji pastwowej (wsppraca : Niemcy, Hiszpania,
Sowacja, Ukraina, Rosja, Armenia i Modawia),
- Modelowanie adaptowalnych systemw bezpieczestwa (quality of protection),
- Metody szacowania ryzyka,
- Sieci sensoryczne,
- Bezprzewodowe sieci czujnikw (wireless sensor networks),
- Budowa i weryfikacja protokow kryptograficznych,
- Elektroniczne aukcje,
- Pynowe maszyny neuronalne (liquid state mashines),
- Wielkoskalowe symulacje mzgu,
- Momenty magnetyczne neutrin Majorany w modelach sypersymetrycznych,
- Egzotyczne procesy jdrowe (podwjny rozpad beta),
- Zoono obliczeniowa rozwizywania rwna nad skoczonymi algebrami.
2. Organizacja studiw na kierunku Informatyka
Plan studiw zgodny jest z wytycznymi rozporzdzenia Ministra Nauki i Szkolnictwa Wyszego z dnia 12 lipca 2007 r. w sprawie standardw ksztacenia dla poszczeglnych kierunkw oraz poziomw
ksztacenia, a take trybu tworzenia i warunkw, jakie musi spenia uczelnia, by prowadzi studia
midzykierunkowe oraz makrokierunki (Dz.U. Nr 164, poz. 1166).
Studia I stopnia (licencjackie)
Studia licencjackie trwaj nie krcej ni 6 semestrw. Liczba godzin zaj nie powinna by
mniejsza ni 2000. Liczba punktw ECTS (European Credit Transfer System) nie powinna by mniejsza
ni 180.
Oprcz przedmiotw wymaganych przez rozporzdzenie, poczynajc od 3 semestru studiw do
wyboru jest szereg przedmiotw fakultatywnych (14 wykadw powizanych z wiczeniami), ktre
umoliwiaj dobranie przedmiotw zgodnie z zainteresowaniami studenta. Lista przedmiotw
fakultatywnych na dany rok jest tworzona na podstawie zgosze nauczycieli akademickich i jest
udostpniona w Instytucie Informatyki UMCS.
W ramach przedmiotw fakultatywnych proponujemy studentom cieki specjalizacyjne.
Student, ktry zebra zaliczenia ze wszystkich przedmiotw zaliczonych do danej cieki
specjalizacyjnej, na dyplomie licencjata Informatyki bdzie mia dopisek o skoczonej specjalnoci np.
Specjalno: programowanie.
Absolwent studiw licencjackich powinien posiada wiedz i umiejtnoci z zakresu oglnych
zagadnie informatyki. Powinien dobrze rozumie dziaanie wspczesnych systemw komputerowych
oraz posiada wiedz z zakresu podstaw informatyki, systemw operacyjnych, sieci komputerowych, baz
danych i inynierii oprogramowania umoliwiajc aktywny udzia w realizacji projektw
informatycznych. Powinien take posiada umiejtno programowania komputerw oraz pracy w
zespoach programistycznych. Zdobyt wiedz i umiejtnoci powinien umie wykorzysta w pracy
zawodowej z zachowaniem zasad prawnych i etycznych.
Absolwent studiw pierwszego stopnia powinien zna jzyk obcy na poziomie biegoci B2
Europejskiego Systemu Opisu Ksztacenia Jzykowego Rady Europy oraz umie posugiwa si jzykiem
specjalistycznym z zakresu informatyki. Absolwent powinien by przygotowany do pracy w firmach
informatycznych zajmujcych si budow, wdraaniem lub pielgnacj narzdzi i systemw
5
informatycznych oraz w innych firmach i organizacjach, w ktrych takie narzdzia i systemy s
wykorzystywane, a take w szkolnictwie, jeli ukoczy specjalno nauczycielsk (zgodnie ze
standardami ksztacenia przygotowujcego do wykonywania zawodu nauczyciela). Absolwent powinien
by przygotowany do podjcia studiw drugiego stopnia.
Studia II stopnia (magisterskie)
Studia trwaj nie krcej ni 4 semestry. Liczba godzin zaj nie powinna by mniejsza ni 960.
Liczba punktw ECTS nie powinna by mniejsza ni 120.
Student po ukoczeniu pierwszego semestru studiw wybiera jedn z czterech specjalnoci:
Grafika komputerowa
Informatyka medyczna
Systemy mobilne i sieci komputerowe
Programistyczna
Absolwent studiw magisterskich powinien mie ogln wiedz informatyczn przynajmniej w
zakresie wszystkich treci podstawowych i kierunkowych waciwych dla studiw licencjackich na
kierunku informatyka oraz wykazywa biego w wybranej specjalnoci. Powinien posiada wiedz i
umiejtnoci pozwalajce na rozwizywanie problemw informatycznych rwnie w niestandardowych
sytuacjach a take umie wydawa opinie na podstawie niekompletnych lub ograniczonych informacji z
zachowaniem zasad prawnych i etycznych. Powinien umie dyskutowa na tematy informatyczne
zarwno ze specjalistami jak i niespecjalistami a take kierowa prac zespow. Absolwent powinien
posiada umiejtnoci umoliwiajce podjcie pracy w firmach informatycznych, w administracji
pastwowej i samorzdowej oraz by przygotowanym do pracy w szkolnictwie (po ukoczeniu
specjalnoci nauczycielskiej zgodnie ze standardami ksztacenia przygotowujcego do wykonywania
zawodu nauczyciela). Absolwent powinien mie wpojone nawyki ustawicznego ksztacenia i rozwoju
zawodowego oraz by przygotowany do podejmowania wyzwa badawczych i kontynuacji edukacji na
studiach trzeciego stopnia (doktoranckich).
.
3. Stosowane metody dydaktyczne i organizacja ksztacenia
Na wszystkich kierunkach studiw informatycznych stosowane s klasyczne metody nauczania -
poczenie wykadu i laboratoriw (konwersatoriw). W sporadycznych przypadkach, ze wzgldu na
specyfik zaj stosujemy sam wykad lub same wiczenia w laboratorium. Podczas przeprowadzanych
wykadw wykadowcy maj do dyspozycji rzutniki multimedialne oraz laptopy. Zapisy do
poszczeglnych grup wiczeniowych odbywaj si za pomoc internetowego Systemu Zapisw
Akademickich stworzonego przez studentw i absolwentw naszego kierunku. Maksymalna liczebno
grupy dla wicze laboratoryjnych to 15 osb, za dla grupy konwersatoryjnej 25 osb. Rozkad zaj
poszczeglnych grup dla danych lat studiw jest dostpny na stronach internetowych oraz w gablotach
informacyjnych Instytutu Informatyki. Studenci wyszych lat mog ubiega si o indywidualny tok
studiw. Na pocztku kadego semestru pracownicy dydaktyczna maj ustali 4 godziny konsultacji
tygodniowo dla studentw. Informacja ta znajduje si na drzwiach pomieszcze zajmowanych przez dane
osoby oraz Wykazach terminw konsultacji wywieszonych w gablotach informacyjnych przy
sekretariatach Instytutu Informatyki. Dodatkowo studenci maj moliwo skontaktowania si z osobami
prowadzcymi zajcia telefonicznie lub za pomoc poczty elektronicznej.
6
4. Praktyki studenckie
Studenci kierunku Informatyka musz odby praktyk zawodow w wymiarze 4 tygodni.
Opiekunem praktyk zawodowych jest mgr. M. Piekarz. Studenci kierunku Informatyka z fizyk musz
odby praktyki szkolne. Celem praktyk jest zdobycie dowiadczenia zawodowego oraz zapoznanie si z
dziaaniem firm informatycznych. Studenci odbywaj praktyki w lubelskich firmach z brany
informatycznej (m.in. Comarch, firmy z grupy Assecco Poland SA -Anica, Safo). Znalezienie praktyki ze
wzgldu na chonno rynku pracy i zapotrzebowanie na informatykw nie wymaga wspomagania przez
uczelni.
5. Baza dydaktyczna
Studenci informatyki korzystaj ze wszystkich pomieszcze dydaktycznych Wydziau
Matematyki, Fizyki i Informatyki. Wydzia Matematyki, Fizyki i Informatyki dysponuje czterema
budynkami o cznej powierzchni 13641.25 m2:
Stara Fizyka , o cznej pow. 5771,55 m2,
rednia Fizyka, o cznej pow. 3096,70 m2,
Wieowiec, o cznej pow. 4188 m2,
budynek przy ul. Zana, o cznej pow. 585 m2.
Baz dydaktyczn Instytutu Informatyki mona podzieli na trzy typy sal:
- sale wykadowe
- laboratoria komputerowe
- sale wiczeniowe
Wydzia posiada 11 laboratoriw komputerowych, w ktrych znajduje si 171 komputerw. We
wszystkich salach wykadowych, wiczeniowych i laboratoriach komputerowych zainstalowane s
rzutniki multimedialne. Dodatkowo dwie sale (sala 10 rednia Fizyka, sala 251 - Wieowiec)
wyposaone s w sprzt do przeprowadzenia kursu CISCO CCNA. Cztery sale posiadaj te urzdzenia
do prowadzenia telekonferencji.
Wydzia posiada niezbdn infrastruktur w postaci specjalistycznych pracowni i laboratoriw.
Dla celw ksztacenia informatykw wydzia moe udostpni trzy specjalistyczne pracownie fizyczne,
dobrze wyposaon pracowni elektroniki cyfrowej, specjalistyczn pracowni sprztow do nauczania
budowy sprztu komputerowego i urzdze peryferyjnych oraz wietnie wyposaon pracowni do
nauczania budowy sieci komputerowych. Oglnie pracownie te dysponuj nastpujc liczb stanowisk
laboratoryjnych:
- Pracownie fizyczne 45
- Pracownia elektroniki 18
- Pracownia sprztowa 8
Dostp do komputerw
Kade laboratorium komputerowe w budynku Informatyki przy ul. Zana wyposaone jest w 18 stanowisk
komputerowych dla studentw, za w pozostaych budynkach w 15 stanowisk. W bibliotece w budynku
Informatyka Zana zainstalowane s 4 stanowiska komputerowe.
7
Dostp do Internetu
Wszystkie laboratoria komputerowe maj dostp do Internetu. Dodatkowo studenci mog korzysta z
bezprzewodowego dostpu do Internetu w budynkach Starej Fizyki oraz w budynku Informatyki przy ul.
Zana.
Klaster
Na potrzeby prowadzonych prac badawczych stworzono 3 klastry obliczeniowe:
klaster Zakadu Ukadw Zoonych i Neurodynamiki Lomond skadajcy si z 8 dwuprocesorowych czterordzeniowych komputerw z procesorami Intel Xeon E5345
dziaajcych pod system Buntu Server 64bit Linux,
klaster Zakadu Modelowania i Symulacji Komputerowych skadajcy si z 3 dwuprocesorowych czterordzeniowych komputerw z procesorami Intel Xeon E5345 dziaajcych pod system Debian
Linux,
Clusterix klaster do dyspozycji Wydziau skadajcy si 12 komputerw z procesorem Intel Itanium II.
Zakupiono te komputery (dwuprocesorowe jednostki z procesorami Intel Xeon) oraz infrastruktur (m.in.
szafy, przeczniki, klimatyzacj) do budowy 192 nodowego klastra na potrzeby Instytutu Informatyki i
Instytutu Matematyki.
Zasoby biblioteczne wasne i dostp do innych bibliotek.
Biblioteka Instytutu Informatyki UMCS
Adres: ul. Zana 11 p. 98
20-601 Lublin
Biblioteka Instytutu Informatyki zostaa powoana wraz z powstaniem Instytutu Informatyki w
2005 roku, a odrbne pomieszczenia uzyskaa w 2006 roku. Cigle wzbogacany ksigozbir skada si z
473 ksiek bdcych wasnoci Instytutu Informatyki oraz 12 przekazanych nam w depozyt przez
Bibliotek Gwn UMCS. Wszystkie te pozycje s ujte w katalogu komputerowym Biblioteki UMCS i
informacj o nich mona uzyska przez Internet. W opisie katalogowym w rubryce Lokalizacja jest
napisane czy ksika jest w Bibliotece Instytutu Informatyki czy w jakim Zakadzie tego Instytutu. Bez
wzgldu na to czy dana pozycja stoi na pce czy te jest wypoyczona w rubryce Status jest sowo
Dostpny, poniewa Biblioteki Wydziaw i Instytutw nie maj jeszcze moliwoci zamawiania ksiek
przez Internet (std w rubryce Rewers: Ten egz. nie moe by zamwiony). Nie zdarzyo si dotd, aby
jeli kto potrzebuje wypoyczonej pozycji - nie otrzyma jej przynajmniej na krtko najdalej w przecigu
tygodnia.
Czasopisma naukowe przechowywane i udostpniane w Bibliotece Instytutu Informatyki:
1. Annales UMCS.Sectio AI Informatica 2003 - 2007
2. Informatyka Teoretyczna i Stosowana 2001 - 2006
3. International Journal of Foundations of Computer Science 2008
4. Journal of Functional Programming 2008
5. Machine Graphics and Vision 2007 - 2008
6. Metody Informatyki Stosowanej 2007 - 2008
7. Studia Informatica 2005 2007
8
Czasopisma z pozycji 3 i 4 s zagraniczne i otrzymujemy je z prenumeraty Biblioteki Gwnej.
Czasopisma z pozycji 2 i 7 dostajemy dziki wymianie za "Annales Sectio AI". Ponadto Biblioteka
otrzymuje prenumerowane dla Zakadw Instytutu Informatyki polskie czasopisma popularno-naukowe (7
tytuw), ktre ju zostay wykorzystane przez pracownikw tych Zakadw.
W postaci elektronicznej zakupilimy na pytkach CD kilka sownikw angielsko-polskich i
polsko-angielskich oglnych i naukowo-technicznych. Opisy tych sownikw s umieszczone w katalogu
komputerowym razem z opisami ksiek i czasopism otrzymywanych z Biblioteki Gwnej. Do
wszystkich zbiorw jest tzw. wolny dostp czyli uytkownicy mog przed decyzj o wypoyczeniu
obejrze stojce na regaach interesujce ich ksiki i czasopisma.
Oprcz Biblioteki Instytutu Informatyki studenci mog korzysta z zasobw:
Biblioteki Instytutu Fizyki
Biblioteki Instytutu Matematyki
Biblioteki Gwnej UMCS
Ksigozbiory podrczne bibliotek Instytutu Fizyki i Instytutu Matematyki zawieraj ogem
36572 ksiek, 12411 woluminw i 102 tytuw czasopism naukowych (polskich i
zagranicznych).Posiadaj praktycznie wszystkie dostpne podrczniki i zbiory zada z dziedziny
matematyki, fizyki, elektroniki i informatyki oraz najbardziej poczytne czasopisma z dziedziny techniki
komputerowej. Biblioteka Gwna posiada ponad 1,5 miliona woluminw oraz 2800 tytuw czasopism
biecych. Istnieje take moliwo korzystania z wersji elektronicznej czasopism. Czytelnie biblioteki IF
i IM dysponuj po okoo 30 miejsc (razem 60 miejsc), za czytelnie w Bibliotece Gwnej 600 miejscami.
e-Czasopisma
Pracownicy naukowi i studenci za porednictwem Biblioteki Gwnej maj dostp do ogromnych
zbiorw czasopism w postaci elektronicznej (e-czasopisma) w wersji penotekstowej. Dostpne s
nastpujce serwisy:
American Mathematical Society Journals 4 czasopisma
Directory of Open Access Journal 509 czasopism
EBSCOhost Web MEDLINE wiele czasopism
EBSCO Electronic Journals Service 79 czasopism
Elektonische Zeitschriftenbibliothek 5400 czasopism
IMS 4 czasopisma
Science Direct (Elsevier, Springer, Kluwer) wiele czasopism
Science Online Magazine wiele czasopism SCOPUS (baza danych firmy Elsevier) 14000 czasopism
6. Sprawy studenckie
SKNI - Studenckie Koo Naukowe Informatykw. czy w sobie dziaalno wielu grup studentw. Najwaniejsze to: GURU- grupa uytkownikw rnych unixw, .net- wsppracujca
z Microsoftem.
9
Zadaniem Koa jest:
- rozwijanie i ksztatowanie ycia naukowego wrd studentw,
- prba prowadzenie samodzielnych prac naukowo-badawczych, we wsppracy z pracownikami
naukowymi Instytutu,
- promowanie Uczelni,
- rozszerzanie i pogbianie oglnej wiedzy i umiejtnoci praktycznych studentw,
- rozwijanie midzynarodowych kontaktw i wsppracy naukowej.
http://skni.umcs.lublin.pl/
Stypendia
Pomoc materialna dla studentw wypacana jest ze rodkw funduszu pomocy materialnej dla
studentw i doktorantw, tworzonego w Uczelni na podstawie art. 103 ustawy z dnia 27 lipca 2005 r.
Prawo o szkolnictwie wyszym (Dz. U. Nr 164, poz.1365, z pn. zm.). Stypendium socjalne, na
wyywienie i mieszkaniowe s wiadczeniami o charakterze socjalnym, tzn. ich otrzymanie zaley od
sytuacji materialnej studenta. Stypendium za wyniki w nauce lub sporcie oraz stypendia ministra s
wiadczeniami wypracowanymi przez studenta, tzn. do ich otrzymania potrzebne s: wysoka rednia oraz
wybitne osignicia naukowe lub sportowe uzyskane w poprzednim roku akademickim. Stypendium
ministra za osignicia w nauce i za wybitne osignicia sportowe reguluj przepisy rozporzdzenia
Ministra Nauki i Szkolnictwa Wyszego z dnia 16 sierpnia 2006 r. w sprawie szczegowych warunkw,
trybu przyznawania i wypacania stypendium ministra za osignicia w nauce oraz stypendium ministra
za wybitne osignicia sportowe. Pozostae formy pomocy materialnej uregulowane s przez przepisy
Regulaminu ustalania wysokoci, przyznawania i wypacania wiadcze pomocy materialnej dla
studentw Uniwersytetu Marii Curie-Skodowskiej stanowicego zacznik nr 1 do Zarzdzenia Nr
51/2008 Rektora UMCS z dnia 30 padziernika 2008 r. Stypendia przyznaje Wydziaowa Studencka
Komisja Socjalna z przewodniczcym Dziekanem Wydziau na czele.
Stypendia w Instytucie Informatyki podzielone s na nastpujce grupy:
Dla niepenosprawnych 16 150-350 z
Socjalne 115 140-270 z
Mieszkaniowe 62 75-105 z
Na wyywienie 88 30-55 z
Naukowe 154 100-450 z
Stawki stypendium naukowego: rednia Stawka Ilo pobierajcych osb(studia
stacjonarne)
4,0-4,24 100 z 42
4,25-4,49 110 z 25
4,50-4,74 149 z 22
4,75-4,90 300 z 16
5,0 450 z 2
Czesne
Wysoko czesnego na studiach niestacjonarnych reguluje Zarzdzenie Nr 21/2008 Rektora
Uniwersytetu Marii Curie-Skodowskiej z dnia 21 maja 2008r.
Czesne na studiach niestacjonarnych wynosi:
10
Studia magisterskie niestacjonarne - 4885 z/rok
Studia licencjackie niestacjonarne - 4775 z/rok
Studia uzupeniajce niestacjonarne - 4775 z/rok
Inne opaty (studia stacjonarne i niestacjonarne):
Powtarzanie roku - 4600 z
Powtarzanie semestru 2300 z
Wpisanie na list studentw 120 z
7. Program studiw
Studia I stopnia (licencjackie)
Nazwa przedmiotu Semestr Liczba godzin ECTS Forma zaj Forma zaliczenia
Algebra linowa z geometri 1 30.0 5.0 wykad egzamin
Algebra linowa z geometri 1 30.0 0.0 konwersatorium zaliczenie na ocen
Ergonomia i bezpieczestwo pracy 1 15.0 1.0 wykad zaliczenie na ocen
Filozofia 1 30.0 2.0 wykad zaliczenie na ocen
Logika i teoria mnogoci 1 30.0 5.0 wykad egzamin
Logika i teoria mnogoci 1 30.0 0.0 konwersatorium zaliczenie na ocen
Podstawy programowania 1 30.0 7.0 wykad egzamin
Podstawy programowania 1 60.0 0.0 laboratorium zaliczenie na ocen
Problemy spoeczne i zawodowe informatyki 1 30.0 1.0 wykad zaliczenie na ocen
rodowisko programisty 1 30.0 4.0 laboratorium zaliczenie na ocen
Technologie sieciowe 1 30.0 5.0 wykad zaliczenie na ocen
Technologie sieciowe 1 30.0 0.0 laboratorium zaliczenie na ocen
Analiza matematyczna 2 30.0 4.0 wykad egzamin
Analiza matematyczna 2 30.0 0.0 konwersatorium zaliczenie na ocen
Bazy danych i zarzdzanie infomacj 2 30.0 5.0 wykad egzamin
Bazy danych i zarzdzanie infomacj 2 30.0 0.0 laboratorium zaliczenie na ocen
Architektury systemw komputerowych 2 30.0 5.0 wykad zaliczenie na ocen
Architektury systemw komputerowych 2 30.0 0.0 laboratorium zaliczenie na ocen
Jzyk angielski 2 30.0 1.0 konwersatorium zaliczenie na ocen
Matematyka dyskretna 2 30.0 4.0 wykad egzamin
Matematyka dyskretna 2 30.0 0.0 konwersatorium zaliczenie na ocen
Programowanie obiektowe 2 30.0 5.0 wykad zaliczenie na ocen
Programowanie obiektowe 2 45.0 0.0 laboratorium zaliczenie na ocen
11
Systemy operacyjne 2 15.0 5.0 wykad egzamin
Zagadnienia prawne ochrony wasnoci intelektualnej 2 15.0 1.0 wykad zaliczenie na ocen
Algorytmy i struktury danych I 3 30.0 6.0 wykad egzamin
Algorytmy i struktury danych I 3 30.0 0.0 laboratorium zaliczenie na ocen
Ekonomia 3 30.0 2.0 wykad zaliczenie na ocen
Programowanie w Asemblerze 3 30.0 3.0 laboratorium zaliczenie na ocen
Jzyk angielski 3 30.0 1.0 konwersatorium zaliczenie na ocen
Metody probabilistyczne i statystyki 3 30.0 6.0 wykad egzamin
Metody probabilistyczne i statystyki 3 30.0 0.0 konwersatorium zaliczenie na ocen
Przedmiot fakultatywny I 3 30.0 4.0 wykad zaliczenie na ocen
Przedmiot fakultatywny I 3 30.0 0.0 laboratorium zaliczenie na ocen
Przedmiot fakultatywny II 3 30.0 4.0 wykad zaliczenie na ocen
Przedmiot fakultatywny II 3 30.0 0.0 laboratorium zaliczenie na ocen
Wstp do teorii obliczalnoci 3 15.0 4.0 wykad zaliczenie na ocen
Wstp do teorii obliczalnoci 3 15.0 0.0 laboratorium zaliczenie na ocen
Algorytmy i struktury danych II 4 30.0 5.0 wykad egzamin
Algorytmy i struktury danych II 4 30.0 0.0 laboratorium zaliczenie na ocen
Inynieria oprogramowania 4 30.0 5.0 wykad egzamin
Inynieria oprogramowania 4 30.0 0.0 laboratorium zaliczenie na ocen
Jzyki i paradygmaty programowania 4 30.0 5.0 wykad egzamin
Jzyki i paradygmaty programowania 4 30.0 0.0 laboratorium zaliczenie na ocen
Jzyk angielski 4 30.0 1.0 konwersatorium zaliczenie na ocen
Praktyki 4 75.0 3.0 praktyki zaliczenie
Przedmiot fakultatywny I 4 30.0 4.0 wykad zaliczenie na ocen
Przedmiot fakultatywny I 4 30.0 0.0 laboratorium zaliczenie na ocen
Przedmiot fakultatywny II 4 30.0 4.0 wykad zaliczenie na ocen
Przedmiot fakultatywny II 4 30.0 0.0 laboratorium zaliczenie na ocen
Przedmiot fakultatywny III 4 30.0 2.0 wykad zaliczenie na ocen
Wychowanie fizyczne 4 30.0 1.0 konwersatorium zaliczenie na ocen
Bezpieczestwo systemw komputerowych 5 30.0 5.0 wykad zaliczenie na ocen
Bezpieczestwo systemw 5 30.0 0.0 laboratorium zaliczenie na ocen
12
komputerowych
Jzyk angielski 5 30.0 2.0 konwersatorium zaliczenie na ocen
Projekt zespoowy 5 15.0 3.0 laboratorium zaliczenie na ocen
Przedmiot fakultatywny I 5 30.0 5.0 wykad zaliczenie na ocen
Przedmiot fakultatywny I 5 30.0 0.0 laboratorium zaliczenie na ocen
Przedmiot fakultatywny II 5 30.0 5.0 wykad zaliczenie na ocen
Przedmiot fakultatywny II 5 30.0 0.0 laboratorium zaliczenie na ocen
Przedmiot fakultatywny III 5 30.0 4.0 wykad zaliczenie na ocen
Seminarium 5 30.0 4.0 seminarium zaliczenie na ocen
Specjalistyczna pracownia licencjacka 5 0.0 2.0 laboratorium zaliczenie na ocen
Programowaniewanie aplikacji sieciowych 6 15 4.0 wykad zaliczenie na ocen
Programowaniewanie aplikacji sieciowych 6 30 0.0 laboratorium zaliczenie na ocen
Projekt zespoowy 6 15.0 3.0 laboratorium zaliczenie na ocen
Przedmiot fakultatywny I 6 30.0 5.0 wykad zaliczenie na ocen
Przedmiot fakultatywny I 6 30.0 0.0 laboratorium zaliczenie na ocen
Przedmiot fakultatywny II 6 30.0 5.0 wykad zaliczenie na ocen
Przedmiot fakultatywny II 6 30.0 0.0 laboratorium zaliczenie na ocen
Przedmiot fakultatywny III 6 30.0 4.0 wykad zaliczenie na ocen
Seminarium 6 30.0 4.0 seminarium zaliczenie na ocen
Specjalistyczna pracownia licencjacka 6 0.0 2.0 laboratorium zaliczenie na ocen
Studia II stopnia (magisterskie)
Specjalno: Grafika komputerowa
Nazwa przedmiotu Semestr Liczba godzin ECTS Forma zaj Forma zaliczenia
Metrologia i sterowanie 1 15.0 5.0 wykad zaliczenie na ocen
Metrologia i sterowanie 1 30.0 0.0 laboratorium zaliczenie na ocen
Modelowanie i symulacja 1 30.0 6.0 wykad egzamin
Modelowanie i symulacja 1 30.0 0.0 laboratorium zaliczenie na ocen
Programowanie wspbiene i rozproszone 1 30.0 6.0 wykad egzamin
Programowanie wspbiene i rozproszone 1 30.0 0.0 laboratorium zaliczenie na ocen
Przetwarzanie obrazw cyfrowych 1 30.0 5.0 wykad zaliczenie na ocen
13
Przetwarzanie obrazw cyfrowych 1 30.0 0.0 laboratorium zaliczenie na ocen
Seminarium 1 30.0 4.0 seminarium zaliczenie na ocen
Wykad monograficzny 1 1 30.0 3.0 wykad zaliczenie na ocen
Jzyk angielski 2 30.0 1.0 konwersatorium zaliczenie na ocen
Podstawy programowania OpenGL/DirectX 2 30.0 10.0 wykad egzamin
Podstawy programowania OpenGL/DirectX 2 60.0 0.0 laboratorium zaliczenie na ocen
Seminarium 2 30.0 4.0 seminarium zaliczenie na ocen
Techniki animacyjne 2 45.0 12 wykad egzamin
Techniki animacyjne 2 60.0 0.0 laboratorium zaliczenie na ocen
Wychowanie fizyczne 2 30.0 1.0 wiczenia zaliczenie na ocen
Zasady kompozycji obrazu 3 15.0 2.0 wykad zaliczenie na ocen
Jzyk angielski 3 30.0 2.0 konwersatorium zaliczenie na ocen
Metody przetwarzania wideo 3 15.0 8.0 wykad zaliczenie na ocen
Metody przetwarzania wideo 3 45.0 0.0 laboratorium zaliczenie na ocen
Obliczenia rwnolege z wykorzystaniem GPU 3 30.0 7.0 wykad egzamin
Obliczenia rwnolege z wykorzystaniem GPU 3 30.0 0.0 laboratorium zaliczenie na ocen
Podstawy programowania gier 3 30.0 7.0 wykad egzamin
Podstawy programowania gier 3 30.0 0.0 laboratorium zaliczenie na ocen
Seminarium 3 30.0 4.0 seminarium zaliczenie na ocen
Specjalistyczna pracowania magisterska 3 0.0 2.0 laboratorium zaliczenie na ocen
Wykad specjalistyczny 3 30.0 2.0 wykad zaliczenie na ocen
Podstawy montau wideo 4 30.0 5.0 laboratorium zaliczenie na ocen
Seminarium 4 30.0 4.0 seminarium zaliczenie na ocen
Specjalistyczna pracowania magisterska 4 0.0 4.0 laboratorium zaliczenie na ocen
Zaawansowane programowanie gier 4 30.0 5.0 wykad zaliczenie na ocen
Zaawansowane programowanie gier 4 45.0 0.0 laboratorium zaliczenie na ocen
Specjalno: Informatyka medyczna
Nazwa przedmiotu Semestr Liczba godzin ECST Forma zaj Forma zaliczenia
14
Metrologia i sterowanie 1 15.0 6.0 wykad zaliczenie na ocen
Metrologia i sterowanie 1 30.0 0.0 laboratorium zaliczenie na ocen
Modelowanie i symulacja 1 30.0 6.0 wykad egzamin
Modelowanie i symulacja 1 30.0 0.0 laboratorium zaliczenie na ocen
Programowanie wspbiene i rozproszone 1 30.0 6.0 wykad egzamin
Programowanie wspbiene i rozproszone 1 30.0 0.0 laboratorium zaliczenie na ocen
Przetwarzanie obrazw cyfrowych 1 30.0 5.0 wykad zaliczenie na ocen
Przetwarzanie obrazw cyfrowych 1 30.0 0.0 laboratorium zaliczenie na ocen
Seminarium 1 30.0 4.0 seminarium zaliczenie na ocen
Wykad monograficzny 1 1 30.0 3.0 wykad zaliczenie na ocen
Jzyk angielski 2 30.0 1.0 konwersatorium zaliczenie na ocen
Podstawy bioinformatyki 2 15.0 6.0 wykad egzamin
Podstawy bioinformatyki 2 30.0 0.0 laboratorium zaliczenie na ocen
Przetwarzanie obrazw medycznych 2 30.0 7.0 wykad egzamin
Przetwarzanie obrazw medycznych 2 30.0 0.0 laboratorium zaliczenie na ocen
Przetwarzanie sygnaw biomedycznych 2 30.0 7.0 wykad egzamin
Przetwarzanie sygnaw biomedycznych 2 30.0 0.0 laboratorium zaliczenie na ocen
Seminarium 2 30.0 4.0 seminarium zaliczenie na ocen
Wychowanie fizyczne 2 30.0 1.0 wiczenia zaliczenie na ocen
Wykad medyczny - Podstawy anatomii 2 15.0 4.0 wykad zaliczenie na ocen
Algorytmy logiki rozmytej 3 30.0 5.0 wykad egzamin
Algorytmy logiki rozmytej 3 30.0 0.0 laboratorium zaliczenie na ocen
Jzyk angielski 3 30.0 2.0 konwersatorium zaliczenie na ocen
Medyczne systemy informacyjne i bazodanowe 3 30.0 5.0 wykad zaliczenie na ocen
Medyczne systemy informacyjne i bazodanowe 3 30.0 0.0 laboratorium zaliczenie na ocen
Projekt zespoowy 3 30.0 4.0 laboratorium zaliczenie na ocen
Seminarium 3 30.0 4.0 seminarium zaliczenie na ocen
Specjalistyczna pracowania magisterska 3 0.0 2.0 laboratorium zaliczenie na ocen
Systemy biomedyczne i statystyka medyczna 3 30.0 6.0 wykad egzamin
Systemy biomedyczne i statystyka medyczna 3 30.0 0.0 wykad zaliczenie na ocen
Wykad medyczny 2 - 3 15.0 2.0 wykad zaliczenie na ocen
15
Podstawy radiologii
Medyczne systemy ekspertowe 4 30.0 5.0 wykad zaliczenie na ocen
Medyczne systemy ekspertowe 4 30.0 0.0 laboratorium zaliczenie na ocen
Seminarium 4 30.0 4.0 seminarium zaliczenie na ocen
Specjalistyczna pracowania magisterska 4 0.0 4.0 laboratorium zaliczenie na ocen
Telemedycyna i radioterapia 4 30.0 5.0 wykad zaliczenie na ocen
Specjalno: Systemy mobilne i sieci
Nazwa przedmiotu Semestr Liczba godzin ECTS Forma zaj
Metrologia i sterowanie 1 15.0 5.0 wykad zaliczenie na ocen
Metrologia i sterowanie 1 30.0 0.0 laboratorium zaliczenie na ocen
Modelowanie i symulacja 1 30.0 6.0 wykad egzamin
Modelowanie i symulacja 1 30.0 0.0 laboratorium zaliczenie na ocen
Programowanie wspbiene i rozproszone 1 30.0 6.0 wykad egzamin
Programowanie wspbiene i rozproszone 1 30.0 0.0 laboratorium zaliczenie na ocen
Przetwarzanie obrazw cyfrowych 1 30.0 5.0 wykad zaliczenie na ocen
Przetwarzanie obrazw cyfrowych 1 30.0 0.0 laboratorium zaliczenie na ocen
Seminarium 1 30.0 4.0 seminarium zaliczenie na ocen
Wykad monograficzny 1 1 30.0 3.0 wykad zaliczenie na ocen
Jzyk angielski 2 30.0 1.0 konwersatorium zaliczenie na ocen
Matematyczne modelowanie sieci komputerowych 2 30.0 7.0 wykad egzamin
Matematyczne modelowanie sieci komputerowych 2 30.0 0.0 laboratorium zaliczenie na ocen
Routing w sieciach IP (Cisco 1,2) 2 30.0 10.0 wykad zaliczenie na ocen
Routing w sieciach IP (Cisco 1,2) 2 60.0 0.0 laboratorium zaliczenie na ocen
Seminarium 2 30.0 4.0 seminarium zaliczenie na ocen
Systemy mobilne 2 30.0 7.0 wykad egzamin
Systemy mobilne 2 30.0 0.0 laboratorium zaliczenie na ocen
Wychowanie fizyczne 2 30.0 1.0 wiczenia zaliczenie na ocen
Bezpieczestwo sieci 3 30.0 6.0 wykad egzamin
16
Bezpieczestwo sieci 3 30.0 0.0 laboratorium zaliczenie na ocen
Jzyk angielski 3 30.0 2.0 konwersatorium zaliczenie na ocen
Podstawy telekomunikacji 3 15.0 2.0 wykad egzamin
Programowanie usug sieciowych 3 15.0 4.0 wykad zaliczenie na ocen
Programowanie usug sieciowych 3 30.0 0.0 laboratorium zaliczenie na ocen
Przeczanie w sieciach lokalnych (Cisco 3) 3 15.0 6.0 wykad egzamin
Przeczanie w sieciach lokalnych (Cisco 3) 3 45.0 0.0 laboratorium zaliczenie na ocen
Seminarium 3 30.0 4.0 seminarium zaliczenie na ocen
Sieci bezprzewodowe 3 15.0 4.0 wykad zaliczenie na ocen
Sieci bezprzewodowe 3 30.0 0.0 laboratorium zaliczenie na ocen
Specjalistyczna pracowania magisterska 3 0.0 2.0 laboratorium zaliczenie na ocen
Seminarium 4 30.0 4.0 seminarium zaliczenie na ocen
Specjalistyczna pracowania magisterska 4 0.0 4.0 laboratorium zaliczenie na ocen
Technologie sieci rozlegych (Cisco 4) 4 15.0 10.0 wykad zaliczenie na ocen
Technologie sieci rozlegych (Cisco 4) 4 45.0 0.0 laboratorium zaliczenie na ocen
Specjalno: Programistyczna
Nazwa przedmiotu Semestr Liczba godzin ECTS Forma zaj Forma zaliczenia
Metrologia i sterowanie 1 15.0 5.0 wykad zaliczenie na ocen
Metrologia i sterowanie 1 30.0 0.0 laboratorium zaliczenie na ocen
Modelowanie i symulacja 1 30.0 6.0 wykad egzamin
Modelowanie i symulacja 1 30.0 0.0 laboratorium zaliczenie na ocen
Programowanie wspbiene i rozproszone 1 30.0 6.0 wykad egzamin
Programowanie wspbiene i rozproszone 1 30.0 0.0 laboratorium zaliczenie na ocen
Przetwarzanie obrazw cyfrowych 1 30.0 5.0 wykad zaliczenie na ocen
Przetwarzanie obrazw cyfrowych 1 30.0 0.0 laboratorium zaliczenie na ocen
Seminarium 1 30.0 4.0 seminarium zaliczenie na ocen
Wykad monograficzny 1 1 30.0 3.0 wykad zaliczenie na ocen
Eksploracja danych 2 15.0 4.0 wykad zaliczenie na ocen
Eksploracja danych 2 30.0 0.0 laboratorium zaliczenie na ocen
17
Jzyki formalne 2 30.0 6.0 wykad egzamin
Jzyki formalne 2 30.0 0.0 laboratorium zaliczenie na ocen
Jzyk angielski 2 30.0 1.0 konwersatorium zaliczenie na ocen
Seminarium 2 30.0 4.0 seminarium zaliczenie na ocen
Teoria grafw 2 15.0 4.0 wykad egzamin
Teoria grafw 2 30.0 0.0 laboratorium zaliczenie na ocen
Wychowanie fizyczne 2 30.0 1.0 wiczenia zaliczenie na ocen
Zaawansowana inynieria oprogramowania 2 30.0 4.0 wykad zaliczenie na ocen
Zaawansowana inynieria oprogramowania 2 30.0 0.0 laboratorium zaliczenie na ocen
Zaawansowane algrytmy i struktury danych 2 30.0 6.0 wykad egzamin
Zaawansowane algrytmy i struktury danych 2 30.0 0.0 laboratorium zaliczenie na ocen
Jzyk angielski 3 30.0 2.0 konwersatorium zaliczenie na ocen
Metody realizacji jzykw programowania 3 15.0 6.0 wykad egzamin
Metody realizacji jzykw programowania 3 30.0 0.0 laboratorium zaliczenie na ocen
Programowanie funkcyjne 3 15.0 6.0 wykad egzamin
Programowanie funkcyjne 3 30.0 0.0 laboratorium zaliczenie na ocen
Projekt programistyczny I 3 15.0 4.0 laboratorium zaliczenie na ocen
Seminarium 3 30.0 4.0 seminarium zaliczenie na ocen
Specjalistyczna pracowania magisterska 3 0.0 2.0 laboratorium zaliczenie na ocen
Teoria zoonoci 3 30.0 6.0 wykad egzamin
Teoria zoonoci 3 30.0 0.0 laboratorium zaliczenie na ocen
Programowanie logiczne 4 15.0 5.0 wykad zaliczenie na ocen
Programowanie logiczne 4 30.0 0.0 laboratorium zaliczenie na ocen
Projekt programistyczny II 4 15.0 5.0 laboratorium zaliczenie na ocen
Seminarium 4 30.0 4.0 seminarium zaliczenie na ocen
Specjalistyczna pracowania magisterska 4 0.0 4.0 laboratorium zaliczenie na ocen
18
8. Informacje o przedmiotach
Szczegowe informacje o przedmiotach realizowanych w trakcie studiw I i II stopnia dostpne
s na stronie internetowej pod adresami:
http://informatyka.umcs.lublin.pl/files/dokumenty/syllabus/Informatyka_I_st_stacjonarne.pdf
http://informatyka.umcs.lublin.pl/files/dokumenty/syllabus/Informatyka_II_st_stacjonarne.pdf
Studia I stopnia (licencjackie)
A. GRUPA TRECI PODSTAWOWYCH
1. Ksztacenie w zakresie analizy matematycznej i algebry liniowej
Treci ksztacenia: Cigi i szeregi liczbowe, szeregi funkcyjne. Rachunek rniczkowy funkcji
jednej i wielu zmiennych. Rachunek cakowy: caka oznaczona i nieoznaczona, zastosowania
caek oznaczonych. Wprowadzenie do rwna rniczkowych i ich zastosowania. Grupy,
piercienie wielomianw i arytmetyka modularna. Macierze, wyznaczniki, ukady rwna
liniowych i eliminacja Gaussa. Elementy geometrii analitycznej.
Efekty ksztacenia umiejtnoci i kompetencje: posugiwania si aparatem analizy
matematycznej i opisu zagadnie w jzyku analizy matematycznej; korzystania z pakietw
oprogramowania analizy matematycznej i interpretacji wynikw; posugiwania si aparatem
piercieni wielomianw i arytmetyki modularnej; formuowania problemw w terminach
macierzy i wykonywania operacji na macierzach; rozwizywania ukadu rwna liniowych.
2. Ksztacenie w zakresie metod probabilistycznych i statystyki
Treci ksztacenia: Prawdopodobiestwo dyskretne. Prawdopodobiestwo cige. Wartoci
oczekiwane. Procesy stochastyczne. Prbkowanie. Estymacja. Testowanie hipotez statystycznych.
Efekty ksztacenia umiejtnoci i kompetencje: obliczania prawdopodobiestwa zdarze,
wartoci oczekiwanej, wariancji i odchylenia standardowego; analizy algorytmw pod wzgldem
redniego zachowania; obliczania niezawodnoci prostych ukadw sprztowych i systemw
programowych; zastosowania koncepcji procesw stochastycznych do analizy wydajnoci
prostych ukadw sprztowo-programowych; przeprowadzania prostego wnioskowania
statystycznego.
3. Ksztacenie w zakresie matematyki dyskretnej
Treci ksztacenia: Funkcje, relacje i zbiory. Elementy logiki matematycznej: rachunek zda i
tautologie. Techniki dowodzenia twierdze i indukcja matematyczna. Rekurencja.
Kombinatoryka. Drzewa i grafy.
Efekty ksztacenia umiejtnoci i kompetencje: interpretowania poj z zakresu informatyki w
terminach funkcji i relacji; stosowania aparatu logiki, technik dowodzenia twierdze, teorii
grafw i rekurencji do rozwizywania problemw o charakterze informatycznym.
4. Ksztacenie w zakresie fizyki
Treci ksztacenia: Elementy mechaniki klasycznej. Grawitacja. Elementy elektrycznoci, optyki i
akustyki. Wprowadzenie do mechaniki kwantowej.
Efekty ksztacenia umiejtnoci i kompetencje: analizowania i wyjaniania obserwowanych
zjawisk; tworzenia i weryfikacji modeli wiata rzeczywistego oraz posugiwania si nimi w celu
predykcji zdarze i stanw.
http://informatyka.umcs.lublin.pl/files/dokumenty/syllabus/Informatyka_I_st_stacjonarne.pdfhttp://informatyka.umcs.lublin.pl/files/dokumenty/syllabus/Informatyka_II_st_stacjonarne.pdf
19
5. Ksztacenie w zakresie nauk technicznych
Treci ksztacenia: Podstawy elektrotechniki, miernictwa i elektroniki.
Efekty ksztacenia umiejtnoci i kompetencje: rozumienia powiza informatyki z innymi
obszarami nauk technicznych; przenoszenia dobrych praktyk wypracowanych w tych obszarach
na grunt informatyki.
B. GRUPA TRECI KIERUNKOWYCH
1. Ksztacenie w zakresie podstaw programowania
Treci ksztacenia: Pojcie algorytmu. Podstawowe konstrukcje programistyczne. Implementacje
algorytmw w jzykach programowania. Podstawowe struktury danych i wykonywane na nich
operacje. Dynamiczny przydzia pamici. Rekurencja i jej implementacja w jzykach wysokiego
poziomu. Metody weryfikacji poprawnoci programw.
Efekty ksztacenia umiejtnoci i kompetencje: czytania ze zrozumieniem programw
zapisanych w jzyku programowania imperatywnego; symbolicznego wykonywania prostych
programw celem ich weryfikacji; pisania i uruchamianie prostych programw o rozmiarze rzdu
100 wierszy kodu.
2. Ksztacenie w zakresie algorytmw i zoonoci
Treci ksztacenia: Podstawy analizy algorytmw. Techniki projektowania algorytmw: dziel i
rzd, programowanie dynamiczne, algorytmy zachanne, przeszukiwanie z nawrotami,
heurystyki. Podstawowe algorytmy: sortowanie, selekcja, wyszukiwanie. Abstrakcyjne struktury
danych i ich implementacje: listy, drzewa, grafy, sowniki, drzewa poszukiwa binarnych,
haszowanie, stosy, kolejki, kolejki priorytetowe. Podstawowe algorytmy grafowe: przeszukiwanie
wszerz i w gb. Problemy obliczeniowo trudne: NP-zupeno, nierozstrzygalno.
Efekty ksztacenia umiejtnoci i kompetencje: konstruowania algorytmw z wykorzystaniem
podstawowych technik algorytmicznych; analizy zoonoci algorytmw.
3. Ksztacenie w zakresie architektury systemw komputerowych
Treci ksztacenia: Technika cyfrowa i systemy cyfrowe. Maszynowa reprezentacja danych i
realizacji operacji arytmetycznych. Organizacja komputera na poziomie asemblera. Organizacja i
architektura systemw pamici. Interfejsy i komunikacja. Organizacja jednostki centralnej.
Wieloprocesorowo i architektury alternatywne.
Efekty ksztacenia umiejtnoci i kompetencje: projektowania prostych ukadw sekwencyjnych
i kombinacyjnych; obliczania reprezentacji liczb cakowitych i rzeczywistych oraz wykonywania
podstawowych operacji arytmetycznych na tych reprezentacjach; pisania prostych programw na
poziomie asemblera z uyciem instrukcji warunkowych, ptli, operacji na liczbach cakowitych,
tablic.
4. Ksztacenie w zakresie systemw operacyjnych
Treci ksztacenia: Przegld systemw operacyjnych. Zasady dziaania systemw operacyjnych.
Procesy i wtki. Wspbieno. Szeregowanie zada. Zarzdzanie pamici.
Efekty ksztacenia umiejtnoci i kompetencje: rozwizywania klasycznych problemw
synchronizacji, w tym problemu producent-konsument i czytelnicy-pisarze oraz problemu piciu
filozofw; dobierania algorytmu szeregowania zada do specyfiki aplikacji.
5. Ksztacenie w zakresie technologii sieciowych
Treci ksztacenia: Wprowadzenie do sieci komputerowych. Komunikacja i sieci komputerowe.
Bezpieczestwo w sieciach komputerowych i kryptografia. Technologie udostpniania informacji
w sieciach komputerowych. Budowa aplikacji sieciowych.
Efekty ksztacenia umiejtnoci i kompetencje: instalowania prostej sieci z dwoma klientami i
pojedynczym serwerem z wykorzystaniem narzdzi typu DHCP (Dynamic Host Configuration
Protocol); korzystanie z kluczy i pakietw kryptograficznych PGP (Pretty Good Privacy);
budowania prostych interakcyjnych aplikacji internetowych dziaajcych w oparciu o baz
danych.
20
6. Ksztacenie w zakresie jzykw i paradygmatw programowania
Treci ksztacenia: Paradygmaty programowania. Programowanie obiektowe.
Efekty ksztacenia umiejtnoci i kompetencje: oceny przydatnoci rnych paradygmatw i
zwizanych z nimi rodowisk programistycznych do rozwizywania rnego typu problemw;
projektowania, implementacji, testowania i debugowania prostych programw obiektowych.
7. Ksztacenie w zakresie grafiki i komunikacji czowiek-komputer
Treci ksztacenia: Podstawowe techniki w grafice komputerowej. Systemy grafiki. Podstawy
komunikacji czowiek-komputer. Budowanie prostych interfejsw graficznych.
Efekty ksztacenia umiejtnoci i kompetencje: tworzenia obrazw z wykorzystaniem
standardowego API graficznego (Application Programming Interface); realizacji podstawowych
transformacji (skalowanie, obrt, translacja) za pomoc mechanizmw standardowego API
graficznego; implementacji prostych procedur dokonujcych transformacji prostych obrazw 2-
wymiarowych; tworzenia i przeprowadzenia testu uytecznoci dotyczcego istniejcej aplikacji;
wykorzystania narzdzi wspomagajcych tworzenie graficznych interfejsw uytkownika do
realizacji aplikacji wyposaonej w taki interfejs.
8. Ksztacenie w zakresie sztucznej inteligencji
Treci ksztacenia: Podstawowe zagadnienia sztucznej inteligencji. Przeszukiwanie z
ograniczeniami. Reprezentacja wiedzy i wnioskowanie.
Efekty ksztacenia umiejtnoci i kompetencje: opisywania przestrzeni problemu wyraonego w
jzyku naturalnym w terminach stanw, operatorw, stanu pocztkowego i docelowego;
dobierania algorytmu przeszukiwania heurystycznego do specyfiki problemu; implementacji
przeszukiwania typu mini-max; rozwizywania problemw przeszukiwania z ograniczeniami za
pomoc algorytmu z nawrotami.
9. Ksztacenie w zakresie baz danych
Treci ksztacenia: Systemy baz danych. Modelowanie danych. Relacyjne bazy danych. Jzyki
zapyta do baz danych. Projektowanie relacyjnych baz danych. Przetwarzanie transakcji.
Efekty ksztacenia umiejtnoci i kompetencje: formuowania zapyta w jzyku SQL (Structured
Query Language); przygotowywania schematu relacyjnej bazy danych na podstawie modelu
encja-zwizek; tworzenia transakcji przez zanurzanie zapyta SQL-owych w jzyku
programowania; oceny rnych strategii wykonywania zapyta o charakterze rozproszonym.
10. Ksztacenie w zakresie inynierii oprogramowania
Treci ksztacenia: Projektowanie oprogramowania. Korzystanie z API (Application
Programming Interface). Narzdzia i rodowiska wytwarzania oprogramowania. Procesy
wytwarzania oprogramowania. Wymagania i ich specyfikacja. Walidacja i testowanie
oprogramowania. Ewolucja oprogramowania. Zarzdzanie przedsiwziciem programistycznym.
Efekty ksztacenia umiejtnoci i kompetencje: posugiwania si wzorcami projektowymi;
projektowania oprogramowania zgodnie z metodyk strukturaln lub obiektow; dokonywania
przegldu projektu oprogramowania; wybierania narzdzi wspomagajcych budow
oprogramowania; doboru modelu procesu wytwarzania oprogramowania do specyfiki
przedsiwzicia; specyfikowania wymaga dotyczcych oprogramowania i przeprowadzania ich
przegldu; tworzenia, oceny i realizacji planu testowania; uczestniczenia w inspekcji kodu;
zarzdzania konfiguracj oprogramowania; opracowywania planu przedsiwzicia dotyczcego
budowy oprogramowania.
11. Ksztacenie w zakresie systemw wbudowanych
Treci ksztacenia: Mikrokontrolery. Programy wbudowane. Systemy operacyjne czasu
rzeczywistego. Przetwarzanie danych a zuycie energii. Projektowanie systemw niezawodnych.
Metodyki projektowania.
Efekty ksztacenia umiejtnoci i kompetencje: programowania prostych systemw
wbudowanych; podnoszenia niezawodnoci systemu wbudowanego; rozumienia roli
dokumentacji.
12. Ksztacenie w zakresie problemw spoecznych i zawodowych informatyki
21
Treci ksztacenia: Odpowiedzialno zawodowa i etyczna. Kodeksy etyczne i kodeksy
postpowania. Ryzyko i odpowiedzialno zwizane z systemami informatycznymi. Problemy i
zagadnienia prawne dotyczce wasnoci intelektualnej. System patentowy i prawne podstawy
ochrony prywatnoci.
Efekty ksztacenia umiejtnoci i kompetencje: dostrzegania i doceniania spoecznego kontekstu
informatyki i zwizanego z ni ryzyka oraz oceny sytuacji pojawiajcych si w yciu zawodowym
informatyka, zarwno pod wzgldem prawnym, jak i etycznym.
INNE WYMAGANIA
1. Programy nauczania powinny przewidywa zajcia z zakresu: wychowania fizycznego w wymiarze 60 godzin, ktrym mona przypisa do 2 punktw ECTS oraz jzykw obcych w
wymiarze nie mniejszym ni 120 godzin, ktrym naley przypisa 5 punktw ECTS.
2. Programy nauczania powinny zawiera treci humanistyczne w wymiarze nie mniejszym ni 60 godzin, ktrym naley przypisa nie mniej ni 3 punkty ECTS.
3. Programy nauczania powinny przewidywa zajcia z zakresu ochrony wasnoci intelektualnej, bezpieczestwa i higieny pracy oraz ergonomii.
4. Ksztacenie na studiach licencjackich powinno obejmowa treci kierunkowe w zakresie podstaw programowania, algorytmw i zoonoci, architektury systemw komputerowych (z
pominiciem projektowania ukadw sekwencyjnych i kombinacyjnych), systemw operacyjnych,
technologii sieciowych, jzykw i paradygmatw programowania, baz danych, inynierii
oprogramowania oraz problemw spoecznych i zawodowych informatyki. Ksztacenie na
studiach inynierskich powinno obejmowa wszystkie treci kierunkowe.
5. Przynajmniej 50% zaj powinny stanowi wiczenia projektowe, audytoryjne bd laboratoryjne.
6. Treci z zakresu architektury systemw komputerowych, systemw operacyjnych, technologii sieciowych, grafiki i komunikacji czowiek-komputer, baz danych, jzykw i paradygmatw
programowania, inynierii oprogramowania i systemw wbudowanych uznaje si za treci
techniczne.
7. Na studiach licencjackich student otrzymuje 10 punktw ECTS za przygotowanie do egzaminu dyplomowego (w tym take za przygotowanie pracy dyplomowej, jeli przewiduje j program
nauczania).
8. Elementem programu studiw inynierskich powinno by zespoowe przedsiwzicie inynierskie rozumiane jako zaawansowane zadanie informatyczne postawione przed zespoem studenckim.
Opracowane w ramach przedsiwzicia rozwizanie wraz z odpowiedni dokumentacj moe
stanowi prac dyplomow inyniersk. Za wkad do przedsiwzicia inynierskiego, wysiek
woony w redakcj pracy dyplomowej i przygotowanie do egzaminu dyplomowego student
otrzymuje 15 punktw ECTS.
ZALECENIA
1. Wskazana jest znajomo jzyka angielskiego. 2. Elementem programu nauczania dla studiw licencjackich mog by zoone, zespoowe zadania
informatyczne. Opracowane w ramach tego zadania rozwizanie wraz z odpowiedni
dokumentacj moe stanowi prac dyplomow, o ile przewiduje j program nauczania.
Nazwa przedmiotu: Analiza matematyczna Liczba godz. wykadu: 30 Liczba godz. wicz./lab.: 30 Cele przedmiotu:
22
Analiza matematyczna jest podstawowym dziaem matematyki i ma szerokie zastosowania w naukach przyrodniczych. Celem tego wykadu jest omwienie podstawowych poj analizy matematycznej przydatnych w dalszym studiowaniu informatyki. Zawarto programowa 1. Liczby rzeczywiste - wprowadzenie aksjomatyczne. Cigi liczbowe - zbieno, granica grna i dolna. 2. Przestrzenie metryczne. Zwarto, spjno i zupeno. Przestrze euklidesowa. 3. Odwzorowania, granica odwzorowania w punkcie, cigo. Funkcje elementarne w dziedzinie rzeczywistej. 4. Rachunek rniczkowy funkcji zmiennej rzeczywistej. Interpretacja fizyczna i geometryczna pochodnej. Twierdzenie o wartoci redniej, wzr Taylora i ich zastosowania. Metoda Newtona rozwizywania rwna. 5. Rachunek cakowy funkcji zmiennej rzeczywistej: caka nieoznaczona, caka Riemanna, metody cakowania, caka niewaciwa. Zastosowanie geometryczne i fizyczne caki. 6. Szeregi liczbowe i funkcyjne, kryteria ich zbienoci. Szereg Taylora i rozwijanie w szereg Taylora podstawowych funkcji elementarnych. 7. Rachunek rniczkowy odwzorowa (z Rk w R n). Pochodne kierunkowe, czstkowe i rniczkowalno. Jakobian, gradient. Pochodne wyszych rzdw, wzr Taylora. Twierdzenia o odwzorowaniu uwikanym i o lokalnej odwracalnoci odwzorowania. Ekstrema lokalne i warunkowe ekstrema lokalne, metoda mnonikw Lagrange'a. 8. Caki wielokrotne, krzywoliniowe i powierzchniowe. Twierdzenie Fubiniego i twierdzenie o cakowaniu przez podstawienie. Wzory Greena, Gaussa i Stokesa. Literatura: K. Kuratowski, Rachunek rniczkowy i cakowy. Funkcje jednej zmiennej, PWN, Warszawa, 1970, W. Rudin, Podstawy analizy matematycznej, PWN, Warszawa, 1982, A. Birkholc, Analiza matematyczna. Funkcje wielu zmiennych, PWN., Warszawa, 1986, G. M. Fichtenholz, Rachunek rniczkowy i cakowy, tom I - III, PWN, Warszawa, 1978, R. Rudnicki, Wykady z analizy matematecznej, PWN, Warszawa, 2001. Forma prowadzonych zaj: wykad + wiczenia Wymagania wstpne: (informacja o powizaniu z wczeniejszymi przedmiotami) Elementy logiki i teorii zbiorw, elementy algebry liniowej. INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 1 Nazwa przedmiotu: Algebra liniowa z geometri Liczba godz. wykadu: 30 Liczba godz. wicz./lab.: 30 Cele przedmiotu:
23
Zapoznanie studentw z podstawowymi pojciami, metodami i zastosowaniami algebry liniowej i geometrii analitycznej, ze szczeglnym uwzgldnieniem zagadnie przydatnych w praktyce w informatyce. Zawarto programowa: 1. Struktury algebraiczne - a) wasnoci dziaa, b) grupy (grupa permutacji), c) piercienie (Zn, piercie wielomianw R[x]), ciaa (Zp i R), d) homomorfizmy i izomorfizmy struktur algebraicznych. 2. Ciao liczb zespolonych a) konstrukcja ciaa liczb zespolonych, b) algebraiczna, trygonometryczna i wykadnicza posta liczby zespolonej, c) wzr de Moivre'a, d) pierwiastki n-tego stopnia liczby zespolonej, e) piercie wielomianw zespolonych C[x] (Zasadnicze twierdzenie algebry, schemat Hornera). 3. Przestrzenie wektorowe a) definicja i podstawowe wasnoci, b) liniowa zaleno i niezaleno wektorw, c) baza i wymiar przestrzeni liniowej, d) zmiana bazy i zmiana wsprzdnych, e) homomorfizmy i izomorfizmy przestrzeni wektorowych. 4. Macierze i wyznaczniki - a) dziaania na macierzach, b) definicja i wasnoci wyznacz-nika, c) rozwinicie Laplace'a i inne metody obliczania wyznacznika, d) rzd macierzy, e) macierz odwrotna i sposoby jej wyznaczania. 5. Ukady rwna liniowych a) ukady Cramera, b) oglna teoria ukadw rwna liniowych (tw. Kroneckera-Capelliego). 6. Przestrzenie unitarne i unormowane a) definicje iloczynu skalarnego i normy, b) ortogonalizacja Grama-Schmidta. 7. Dwu i trjwymiarowa przestrze euklidesowa a) wektory zaczepione i swobodne, b) iloczyn skalarny, wektorowy i mieszany, c) rwnania prostych i paszczyzn. 8. Przeksztacenia afiniczne i izometrie przestrzeni euklidesowej a) definicje, b) wasnoci, c) zapis we wsprzednych. 9. Informacja o krzywych i powierzchniach drugiego stopnia. Literatura: 1. Klukowski J.,Nabiaek I., Algebra dla studentw, WNT 2005. 2. Jurlewicz T., Skoczylas Z. Algebra liniowa 1,2, Oficyna Wydawnicza GiS 2005. - Definicje, twierdzenia, wzory - Przykady i zadania - Kolokwia i egzaminy 3. Kostrikin Aleksiej I., Wstp do algebry cz.2 Algebra liniowa, PWN 2004. 4. Jemanowicz L., o J., Zbir zada z algebry, PWN Warszawa 1969. 5. Stankiewicz J., Wilczek K., Algebra z geometri, Oficyna Wydawnicza Politechniki Rzeszowskiej 2000. 6. Radziszewski Z., Geometria analityczna, UMCS Lublin 2002. Forma prowadzonych zaj: wykady + wiczenia
24
Wymagania wstpne: (informacja o powizaniu z wczeniejszymi przedmiotami) znajomo matematyki na poziomie szkoy redniej. Narzdzia programistyczne (zajcia laboratoryjne): informacyjne zapoznanie z wewntrznymi jzykami programowania i moliwociami zastosowa programw Maple i Mathematica w algebrze liniowej i geometrii. INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 1 Nazwa przedmiotu: rodowisko programisty Liczba godz. wykadu: 15 Liczba godz. wicz./lab.: 15 Cele przedmiotu: Celem laboratorium jest zapoznanie si studentw ze rodowiskiem programisty, w szczeglnoci: z systemem operacyjnym Linux, powok bash, konsolowymi edytorami tekstu, kompilatorem gcc, systemem skadania dokumentw LaTeX. Studenci wykonaj szereg praktycznych zada z omawianej tematyki, a zdobyte przez nich umiejtnoci bd czsto wykorzystywane na innych przedmiotach. Zawarto programowa: 1. Podstawa uytkowania systemu Linux. Wprowadzenie do powoki bash. 2. Podstawowe polecenia (komendy) powoki. 3. Tworzenie skryptw powoki. 4. Wyraenia regularne, wyszukiwanie wzorcw, polecenie grep. 5. Kompilator gcc, opcje kompilacji. 6. Automatyzacja kompilacji programw, program make, tworzenie pliku Makefile. 7. System skadania dokumentw Latex. Literatura: Arnold Robbins, Nelson H. F. Beebe, Programowanie skryptw powoki http://wazniak.mimuw.edu.pl http://www.czytelnia.ubuntu.pl/ http://strefamandrivy.pl/baza_wiedzy/starter/ T. Oetiker, H. Partl, I. Hyna, E. Schlegl, Niezakrtkie wprowadzenie do systemu LaTeX 2e Michael Doob (t. S. Wawrykiewicz), agodne wprowadzenie do TeXa Forma prowadzonych zaj: laboratorium Narzdzia programistyczne (zajcia laboratoryjne): system Linux/Unix, kompilator gcc, gcc, Latex INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 1
25
Nazwa przedmiotu: Podstawy programowania Liczba godz. wykadu: 30 Liczba godz. wicz./lab.: 30 Cele przedmiotu: Celem przedmiotu jest zapoznanie studentw z pojciami algorytmu i programu oraz nauczenie projektowania, zapisywania, dowodzenia poprawnoci i uwzgldniania zoonoci algorytmw. Zawarto programowa: 1. Pojcie algorytmu 2. Jzyki formalne 3. Reprezentacja liczb w komputerze 4. Zmienne i wyraenia 5. Instrukcje while-programw 6. Asercje w programach i niezmienniki ptli 7. Typy danych 8. Pliki 9. Funkcje i procedury 10. Miary zoonoci algorytmw Literatura: 1. Wstp do programowania systematycznego, N.Wirth, Wydawnictwa Naukowo - Techniczne 1999. 2. Elementy analizy algorytmw, L. Banachowski, A.Kreczmar, Wydawnictwa Naukowo - Techniczne 1987. 3. Projektowanie programw poprawnych i dobrze zbudowanych, S.Alagi, M.Arbib, Wydawnictwa Naukowo - Techniczne 1982. Forma prowadzonych zaj: wykad + laboratorium INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 1 Nazwa przedmiotu: Programowanie w jzyku C Liczba godz. wykadu: 15 Liczba godz. wicz./lab.: Cele przedmiotu: Celem przedmiotu jest zapoznanie studentw z programowaniem w jzyku C. Zawarto programowa: 1. Struktura programu w jzyku C. Zmienne, typy danych, operatory. 2. Instrukcje sterujce: instrukcja przypisania, instrukcje warunkowe; ptle; instrukcje brake, continue, goto; instrukcja pusta, instrukcja return, funkcja exit. 3. Funkcje. Tworzenie funkcji, wywoywanie funkcji, przekazywanie argumentw, zwracanie wartoci. Funkcja main(). Deklarowanie funkcji. Zmienna liczba argumentw. Funkcje rekurencyjne. Funkcje typu void. 4. Tablice automatyczne. Sposoby deklarowania tablic. Odczyt i zapis wartoci do tablicy.
26
Tablice znakw. Automatyczne tablice wielowymiarowe. 5. Procedury wejcia-wyjcia. Funkcje wyjcia. Funkcje wejcia. Formatowanie wejciawyjcia. 6. Dyrektywy preprocesora, programy wieloplikowe, tworzenie wasnych bibliotek. 7. Kwalifikatory zmiennych (const, extern, static, auto, register,volatile).Zasig i czas ycia zmiennych. 8. Wskaniki. Deklaracja zmiennych wskanikowych, operowanie na wskanikach. Tablice a wskaniki. Dynamiczna alokacja pamici. Stae wskaniki. 9. Dynamiczne tworzenie tablic. Dynamiczne tablice wielowymiarowe. Wskaniki na funkcje. 10. Zoone typy danych: unie, struktury, typ wyliczeniowy, definiowanie typw pochodnych. 11. Operacje na napisach. acuchy znakw w jzyku C. Operacje na acuchach. Znaki specjalne. Konwersje. 12. Czytanie i pisanie do plikw. Dane znakowe, pliki a strumienie, struktura danych FILE, metody obsugi czytania i pisania do plikw. Niebuforowany dostp do pliku. Literatura: B. Kernighan, D. Ritchie, Jzyk ANSI C, Wydawnictwa Naukowo-Techniczne, Warszawa 2004. B. Stroustrup, Jzyk C++, Wydawnictwa Naukowo-Techniczne, Warszawa 2002. J. Grbosz, Symfonia C++, Edition2000, 2006. Forma prowadzonych zaj: wykad INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 1 Nazwa przedmiotu: Programowanie w jzyku C Liczba godz. wykadu: Liczba godz. wicz./lab.: 30 Cele przedmiotu: Celem laboratorium jest nabycie przez studentw umiejtnoci programowania w jzyku C oraz wyrobienie u nich dobrych nawykw programistycznych. Studenci maj wykorzysta nabyt na wykadzie wiedz do tworzenia wasnych programw. Poprzez rozwizywanie specjalnie dobranych zada, studenci maj nauczy si unika typowych bdw programistycznych. Zawarto programowa: 1. Korzystanie z kompilatora gcc. Kompilowanie i uruchamianie programw napisanych w jzyku C. Opcje kompilacji. Struktura programu w jzyku C. Analiza bdw kompilacji. Zmienne, typy danych, operatory. 2. Instrukcje sterujce: instrukcje warunkowe (if, switch); ptle (while, do...while, for); instrukcje brake, continue, goto; funkcja exit. 3. Funkcje.
27
Tworzenie funkcji, wywoywanie funkcji, przekazywanie argumentw, zwracanie wartoci. Funkcja main(). Deklarowanie funkcji. Zmienna liczba argumentw. Funkcje rekurencyjne. Funkcje typu void. 4. Tablice statyczne. Sposoby deklarowania tablic. Odczyt i zapis wartoci do tablicy. Tablice znakw. Tablice wielowymiarowe. 5. Procedury wejcia-wyjcia. Funkcje wyjcia: printf(), puts(), puchar(). Funkcje wejcia: scanf(), gets(), getchar(). Formatowanie wejcia-wyjcia. 6. Dyrektywy preprocesora. Programy wieloplikowe. Tworzenie wasnych bibliotek. Kwalifikatory zmiennych. Stae. Zasig i czas ycia zmiennych. 7. Wskaniki. Deklaracja zmiennych wskanikowych, operowanie na wskanikach. Tablice a wskaniki. Dynamiczna alokacja pamici. Stae wskaniki. Dynamiczne tworzenie tablic. Tablice wielowymiarowe. Wskaniki na funkcje. 8. Zoone typy danych: Unie, struktury, typ wyliczeniowy, definiowanie typw pochodnych. Wskanikowe listy jednokierunkowe. 9. Operacje na napisach. acuchy znakw w jzyku C. Operacje na acuchach. Znaki specjalne. Konwersje. 10. Obsuga plikw. Typy plikw. Pliki a strumienie. Metody obsugi czytania i pisania do plikw. Literatura: B. Kernighan, D. Ritchie, Jzyk ANSI C, Wydawnictwa Naukowo-Techniczne, Warszawa 2004. C. T. Tondo, S. E. Wimpel, Jzyk ANSI C wiczenia i rozwizania, Wydawnictwa Naukowo-Techniczne, Warszawa 2004. http://pl.wikibooks.org/wiki/C Forma prowadzonych zaj: laboratorium Narzdzia programistyczne (zajcia laboratoryjne): Edytor tekstu w rodowisku Unix, kompilator do jzyka C (gcc)
INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 1 Nazwa przedmiotu: Filozofia Liczba godz. wykadu: 30 Liczba godz. wicz./lab.: Cele przedmiotu: prezentacja wybranych kierunkw myli filozoficznej, omwienie najwaniejszych kategorii dotyczcych teorii bytu, teorii poznania i teorii wartoci oraz rozwijanie umiejtnoci mylenia abstrakcyjnego, krytycznego ogldu wiata. Zawarto programowa: 1. Pocztki filozofii; grecka filozofia przyrody; idealizm obiektywny Platona; Arystoteles. 2. Grecka filozofia ycia. 3. w. Augustyn i w. Tomasz z Akwinu.
28
4. Racjonalizm i empiryzm. 5. Myl moralna angielskiego Owiecenia. 6. Klasyczny idealizm niemiecki. 7. Filozofia marksistowska. 8. Filozofia egoizmu, pesymizmu, indywidualizmu i elitaryzmu w XIX w. 9. Pozytywizm i neopozytywizm. 10. Filozofia czowieka i kultury. 11. Egzystencjonalizm. 12. Wspczesna filozofia chrzecijaska. 13. Postmodernizm. Literatura: 1. W. Tatarkiewicz, Historia filozofii, t. I-III, (wiele wyda) 2. Kierunki filozofii wspczesnej, cz. I-II, Toru 1995 3. A. Sikora, Spotkania z filozofi, Warszawa 1995 4. Przewodnik po literaturze filozoficznej XX wieku, t. 1-5, Warszawa 1994- 1997 Forma prowadzonych zaj: wykad INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 1 Nazwa przedmiotu: Jzyk angielski Liczba godz. wykadu: Liczba godz. wicz./lab.: 30 Cele przedmiotu: Celem przedmiotu jest doskonalenie czterech podstawowych umiejtnoci jzykowych: czytania obejmuje rozumienie przede wszystkim tekstw uytkowych, informacyjnych oraz artykuw z dziedziny informatyki, suchania - rozumienie ze suchu nagranych na tamie audio lub video dialogw, wywiadw, dyskusji, etc., mwienia - polega midzy innymi na wiczeniu umiejtnoci wypowiadania si na tematy najbliszego otoczenia, dyskutowania oraz przeprowadzania dialogw w sytuacjach codziennych, pisania - doskonalone s takie formy, jak: list prywatny, pismo urzdowe, notatka, etc.; utrwalenie i rozszerzenie wiadomoci leksykalno-gramatycznych z zakresu szkoy redniej; wzbogacenie sownika o wyraenia z dziedziny informatyki i nauk pokrewnych. Zawarto programowa: 1. Sownictwo obejmujce temat: rodzina, dom, zdrowie, praca, edukacja, sposoby odywiania si, relacje midzyludzkie, pienidze, zakupy, pojazdy, film, etc.
Przydatne zwroty stosowane w dyskusjach, dialogach, listach, ogoszeniach, etc.
29
Sownictwo z dziedziny informatyki, pochodzce z tumaczonych przez studentw artykuw internetowych i pozycji dostpnych w bibliotece Instytutu Informatyki.
Sowotwrstwo: tworzenie rzeczownikw, tworzenie oraz stopniowanie przymiotnikw i przyswkw.
Wyrazy zoone, tzw. c omp o und n oun s .
Przyimki okrelajce ruch, przedimki, zaimki zwrotne.
Przyswki czstotliwoci, wyraenia okrelajce ilo.
Czasowniki wymagajce uycia bezokolicznika lub formy gerundialnej.
Czasy gramatyczne: present simple, present continuous, present perfect simple, present perfect continuous, past simple, past continuous, past perfect, future simple.
Czasowniki modalne: must, have to, should, can, could, etc.
Strona bierna z uyciem poznanych czasw; mowa zalena; pytania porednie.
Zdania typu: defining/non-definig relative clauses.
Okresy warunkowe i zdania okolicznikowe czasu oraz wyraenie in case. Literatura: 1. Murphy R. English Grammar in Use. Cambridge University Press 2007. 2. Dostpne podrczniki do nauki jzyka angielskiego z zakresu podstawowego, redniozaawansowanego i zaawansowanego. Uwaga: teksty rozszerzajce sownictwo fachowe wybrane artykuy z Internetu, wybrane rozdziay z ksiek dostpnych w bibliotece Instytutu Informatyki UMCS. Forma prowadzonych zaj: wiczenia INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 2 Nazwa przedmiotu: Logika i teoria mnogoci Liczba godz. wykadu: 15 Liczba godz. wicz./lab.: 15 Cele przedmiotu: wprowadzenie podstawych poj logiki i teorii mnogo ci pokazanie zwizkw midzy logik matematycz a obliczalnoci gwne wyniki logiki przydatne w analizie programowania Zawarto programowa: 1. Logika zda i predykatw 2. Teoria zbiorw i relacji
3. Systemy aksjomatyczne
4. Rachunek Genztena
5. Modele i spenialno 6. Lambda rachunek, kombinatory
7. Elementy logiki modalnej
8. Teorie formalne kategoryczno, rozstrzygalno 9. Elementy teorii kategorii
Literatura:
30
1. M. Ben-Ari, Logika matematyczna w informatyce, WNT Warszawa 2005.
2. M. Barr, Ch. Wells, Category theory for computing science, Prentice Hall 1990.
3. A. Nerode, R. Shore, Logic for applications, Graduate Texts in Computer Science, Springer 1997. 4. B. Cooper, Computability theory, Chapman and Hall/CRC 2002. 5. A. Shen, N. Vereshchagin, Basic set theory, AMS 2002.
Forma prowadzonych zaj: wykad + wiczenia INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 2 Nazwa przedmiotu: Matematyka dyskretna Liczba godz. wykadu: 30 Liczba godz. wicz./lab.: 30 Cele przedmiotu: Wykad wprowadza aparat matematyczny niezbdny do konstruowania i analizy algorytmw. Skada si z elementw kombinatoryki, teorii grafw i teorii liczb. Ponadto dua cz wykadu powicona jest metodom rozwizywania rwna rekurencyjnych Zawarto programowa: 1. Przykady rekurencji (wiea w Hanoi, Flawiusza) 2. Sumy i operacja sumowania 3. Metody rnicowe i zastosowanie ich do obliczania sum 4. Funkcje cakowitoliczbowe (podoga i sufit, widmo liczby) 5. Elementy teorii liczb (funkcja Eulera, kongruencje) 6. Reprezentacja liczb wymiernych drzewo Sterna Brocota 7. Elementy kombinatoryki (uoglniony symbol Newtona, dwumian Newtona) 8. Funkcje tworzce (definicje i notacje, splot, wasnoci, zastosowanie do rekurencji) 9. Grafy (definicja grafu, spjno grafu, izomorfizm grafw, cykl Eulera, cykl Hamiltona, drzewa, drzewo spinajce graf) 10. Grafy Hamiltona (Kody Greya i ich zwizek z cyklami Hamiltona, Algorytm Kruskala, Algorytm Prima). Literatura: Bryant V,: Aspekty kombinatoryki, Wydawnictwa Naukowo-Techniczne 1977. Graham, R.L., Knuth, D.E., Patashnik O.: Matematyka Konkretna, Pastwowe Wydawnictwo Naukowe, Warszawa 1996. Lipski, W.: Kombinatoryka dla programistw, Wydawnictwa Naukowo-Techniczne 2004 Lipski W., Marek W.: Analiza kombinatoryczna, Pastwowe Wydawnictwo Naukowe, Warszawa 1986. Ross, K.A., Wright, Ch.R.B.: Matematyka Dyskretna, Pastwowe Wydawnictwo Naukowe, Warszawa 1996. Paka, Z., Ruciski, A.: Wykady z kombinatoryki, Wydawnictwa Naukowo-Techniczne, Warszawa 1998.
31
Wilson, R.J.: Wprowadzenie do teorii grafw, Pastwowe Wydawnictwo Naukowe, Warszawa 1985. Forma prowadzonych zaj: wykad + wiczenia Wymagania wstpne: (informacja o powizaniu z wczeniejszymi przedmiotami) Wstp do matematyki INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 2 Nazwa przedmiotu: Obliczenia naukowe i metody numeryczne Liczba godz. wykadu: 15 Liczba godz. wicz./lab.: 30 Cele przedmiotu: Zapoznanie z wybranymi rodowiskami darmowymi do oblicze numerycznych oraz z pewnymi metodami stosowanymi przy obliczeniach na maszynach cyfrowych oraz ocena ich efektywnoci. Na laboratorium przeliczanie przykadw rachunkowych oraz kodowanie poznanych metod z jzyku Java/C/C++ i przeprowadzanie testw wydajnociowych poszczeglnych algorytmw. Zawarto programowa: 1. Organizacja zaj. Pakiety matemtayczne typy CAS: Octave i Maxima. 2. Schemat Hornera i jego zastosowania. Warto wielomianu dla liczby zespolonej. 3. Interpolacja: Lagrange'a i Newtona. Bd interpolacj i 4. Rozwizywanie ukadw rwna liniowych: metoda Gaussa i Crouta. 5. Rozwizywanie ukadw rwna metodami iteracyjnyymi. 6. Rozwizywanie rwna nieliniowych . 7. Metoda najmniejszych kwadratw. 8. Reprezentacja liczb w komputerze i problemy z ni zwizane. 9. Wasnoci zada obliczeniowych i algorytmw numerycznych. Literatura: 1. D. Kincaid, W. Cheney "Analiza numeryczna," Wydawnictwa Naukowo- Techniczne, Warszawa 2006, ISBN 83-204-3078-X. 2. J. i M. Jankowscy "Przegld metod i algorytmw numerycznych", WNT 1982. 3. J. Stoer, Roland Bulirsch "Wstp do analizy numerycznej", PWN Warszawa, 1987. 4. A. Bjorck, Germund Dahlquist "Metody numeryczne", PWN Warszawa 1987. 5. R. G. Lyons "Wprowadzenie do cyfrowego przetwarzania sygnaw", WKi, 1999. 6. Z. Fortuna, B. Macukow, J. Wsowski "Metody numeryczne", Wydawnictwa Naukowo-Techniczne, Warszawa 2006. Forma prowadzonych zaj: wykad + laboratorium Wymagania wstpne: (informacja o powizaniu z wczeniejszymi przedmiotami) umiejtno programowania w jzyku Java/c/C++, podstawowy kurs matematyki Narzdzia programistyczne (zajcia laboratoryjne):
32
kompilatory jzykw Java/C/C++, przykadowe pakiety matematyczne: Maxima, Octave INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 2 Nazwa przedmiotu: Programowanie w jzyku C++ Liczba godz. wykadu: 15 Liczba godz. wicz./lab.: 30 Cele przedmiotu: Wykad ma na celu zaznajomi studentw z podstawowymi technikami programowania obiektowego w jzyku C++. Celem laboratorium jest nabycie przez studentw umiejtnoci tworzenia oprogramowania w jzyku C++ oraz wyrobienie u nich dobrych nawykw programistycznych. Studenci maj wykorzysta nabyt na wykadzie wiedz do tworzenia i testowania wasnych programw. Poprzez rozwizywanie specjalnie dobranych zada, studenci maj nauczy si unika typowych bdw programistycznych zwizanych z programowaniem obiektowym. Zawarto programowa: 1. C++, C#, Java krtkie porwnanie. 2. Jzyk C w C++ (typy danych, funkcje, operatory, typy zoone, wskaniki). 3. Podstawowe operacje wejcia/wyjcia. 4. Klasy i obiekty. 5. Dynamiczne tworzenie obiektw. 6. Kompozycja i dziedziczenie. 7. Stae w jzyku C++. 8. Polimorfizm i funkcje wirtualne. 9. Funkcje inline. 10. Przecianie operatorw. 11. Referencje i konstruktor kopiujcy. 12. Przestrzenie nazw. 13. Podstawy obsugi wyjtkw. Literatura: 1. B. Eckel, Thinking in C++ (edycja polska), t. I i II, Helion, 2002, 2004. 2. B. Stroustrup, Jzyk C++, WNT, Warszawa, 2004. 3. J. Grbosz, Symfonia C++ Standard, t. I i II, Edition, 2000, 2006. 4. Visual C++ .NET. Encyklopedia, Helion, 20 Forma prowadzonych zaj: wykad + laboratorium Wymagania wstpne: (informacja o powizaniu z wczeniejszymi przedmiotami) Zaliczony przedmiot Programowanie w jzyku C. Narzdzia programistyczne (zajcia laboratoryjne): kompilator do jzyka C++ (g++) INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 2 Nazwa przedmiotu: Architektury systemw
33
komputerowych Liczba godz. wykadu: 15 Liczba godz. wicz./lab.: Cele przedmiotu: Celem wykadu jest zapoznanie studentw z budow i dziaaniem prostego komputera. Wykad jest prowadzony w ten sposb, e krok po kroku, z elementw oglnie dostpnych jest budowany system mikroprocesorowy. Studenci, po wysuchaniu wykadu i wykonaniu szeregu wicze, powinni by w stanie zbudowa prosty system mikroprocesorowy. Zawarto programowa: 1. elementy elektroniki i elektroniki cyfrowej; 2. podstawowe pojcia i definicje stosowane w technice komputerowej; 3. pamici ROM i RAM podzia, budowa i zasada dziaania; 4. mikroprocesor: architektura wewntrzna uP; zewntrzne linie sygnaowe i magistrale; cykle maszynowe i rozkazowe; przerwania; 5. budowa mikrokomputera: uP, ROM, RAM, szyny sterujce i danych; adresowanie; ukady licznika/timer'a; obsuga przerwa kontroler przerwa; proste urzdzenia I/O: klawiatura prosta i multipleksowana, wywietlacz 7 segmentowy prosty i multipleksowany; budowa i zasada dziaania generatora obrazu; zapisywanie i odtwarzanie kodu na noniku magnetycznym; porty transmisji szeregowej i rwnolegej; ukady wspomagania: DMA; 6. komputer w pomiarach i sterowaniu - przetworniki DAC i ADC; 7. przegld wybranych struktur komputerowych; 8. programowanie prostych systemw mikroprocesorowych. Literatura: 1. Paul Horowitz, Winfield Hill: 'Sztuka elektroniki'; Wydawnictwa Komunikacji i cznoci, Warszawa 1992, ISBN 83-206-1019-2; 2. Krzysztof Sacha, Andrzej Rydzewski, Mikroprocesor w pytaniach i odpowiedziach; Wydawnictwa Naukowo-Techniczne, Warszawa 1985, ISBN 83-204-0684-6; 3. Piotr Metzger: Anatomia PC; wyd. 4, Helion, Gliwice 2001, ISBN 83-7197-403-5; 4. lista rozkazw wybranego mikroprocesora. Forma prowadzonych zaj: wykad INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 2 Nazwa przedmiotu: Architektury systemw komputerowych Liczba godz. wykadu: Liczba godz. wicz./lab.: 30
34
Cele przedmiotu: poznanie zasad dziaania systemw mikroprocesorowych oraz sieci komputerowych Zawarto programowa: 1. Obwody elektryczne: prawo Ohma, prawo Kirchhoffa, opory, pojemnoci, dioda, tranzystor 2. Ogranicznik diodowy 3. Wzmacniacz tranzystorowy 4. Liczby w systemach szesnastkowym, semkowym i binarnym 5. Notacja prosta liczb ze znakiem 6. Notacja dopenieniowa liczb ze znakiem 7. Arytmetyka w notacji prostej i dopenieniowej 8. Liczby zmiennoprzecinkowe (floating point), arytmetyka zmiennoprzecinkowa 9. Wykrywanie bdw - sumy kontrolne CRC 10. Wykrywanie i korekcja bdw - kod Hamminga 11. Logika cyfrowa: - algebra Boole'a, tosamoci logiczne - bramki logiczne AND, OR, NOT - bramki uniwersalne NAND, XOR - psumator, sumator - generator i kontroler parzystoci 12. Pami RAM - budowa i dziaanie - typy adresowania 13. Pami podrczna (cache) - schematy mapowania RAM -> cache - schematy zarzdzania pamici podrczn 14. Sieci komputerowe - architektura sieci TCP/IP - hardware Literatura: 1. P. Horowitz, W. Hill, Sztuka elektroniki t.1-2, WKi 2003 2. L. Null, J. Lobur, Struktura organizacyjna i architektura systemw komputerowych, Helion 2004. Forma prowadzonych zaj: laboratorium INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 2 Nazwa przedmiotu: Systemy operacyjne Liczba godz. wykadu: 15 Liczba godz. wicz./lab.: 45 Cele przedmiotu: Zapoznanie studentw z funkcjonowaniem scentralizowanych systemw operacyjnych Zawarto programowa: 1. Wprowadzenie. Klasyfikacja systemw operacyjnych. Zadania i waciwoci systemw
35
operacyjnych. Typy i modele systemw operacyjnych. Jdro systemu: struktura i funkcje. 2. Sprztowe i programowe zasoby systemw operacyjnych. 3. Zarzdzanie procesami. Procesy, wtki i zasoby. Pojcie procesu sekwencyjnego, wspbienego i rwnolegego. Proces i jego atrybuty. Sygnay i wyjtki oraz ich obsuga. Realizacja wspbienoci procesw, szeregowanie, wywaszczanie. Synchronizacja procesw i mechanizmy realizacji. Komunikacja midzy procesami. Problem zakleszczania procesw (zastojw). Lekkie procesy, wtki. Klasyczne problemy wspbienoci 4. Zarzdzanie pamici i wspdzielenie pamici. Przydzia pojedynczego obszaru, wielu obszarw, stronicowanie i segmentacja. Organizacja i adresowanie pamici. Pami niepodzielna, dzielona statycznie, dynamicznie, pami wirtualna. Algorytmy przydziau pamici. Pami pomocnicza. Zarzdzanie obszarami dyskowymi. Metody przydziau miejsca na dysku. Planowanie dostpu do dysku. Polepszanie dziaania i niezawodnoci. 5. Zarzdzanie plikami. Plik, organizacja systemu plikw. Operacje na systemie plikw. Dostp i ochrona plikw, tryby dostpu do plikw. 6. Zarzdzanie systemem wejcia/wyjcia. Urzdzenia znakowe i blokowe; tryby dostpu. Programy obsugi urzdze wejcia/wyjcia. 7. Ochrona i bezpieczestwo systemu operacyjnego. Kontrola wiarygodnoci uytkownikw i praw dostpu do zasobw. Mechanizmy ochrony. 8. Przegld wspczesnych systemw operacyjnych. Literatura: 1. Silberschatz, P.B. Galvin: "Podstawy systemw operacyjnych", WNT 2000 2. Wiliam Stallings Systemy operacyjne, wyd. Robomatic, 2003 3. K. Stencel Systemy operacyjne, wyd. PJWSTK, 2004 4. Wyklady z Systemw Operacyjnych, Internet: http://wazniak.mimuw.edu.pl 5. A.M. Lister, R.D. Eager: "Wprowadzenie do systemw operacyjnych", WNT 1994 6. W. Iszkowski, M. Kalinowska-Iszkowska, M. Maniecki: "Projektowanie systemw operacyjnych w ujciu syntetycznym", PWN 1987 7. M.J. Bach: "Budowa systemu operacyjnego UNIX", WNT 1995 8. K. Haviland, D. Gray, B. Salama, UNIX, Programowanie systemowe, RM Warszawa 1999 9. Johnson M.K., Troan E.W.: Oprogramowanie uytkowe w systemie Linux, WNT 2000 10. M.J. Rochkind: "Programowanie w systemie UNIX dla zaawansowanych", WNT 1993 11. B.W. Kernighan, D.M. Ritchie: "Jzyk ANSI C", WNT 1994 12. W.R. Stevens: "Programowanie zastosowa sieciowych w systemie UNIX", WNT 1995 a. Tanenbaum: "Rozproszone systemy operacyjne", PWN 1997 13. K. Haviland, D. Gray, B. Salano: "Unix. Programowanie systemowe", Wyd. RM 14. Linux Documentation Project, np.: http://sunsite.icm.edu.pl/pub/Linux/Documentation/
36
Forma prowadzonych zaj: wykad + laboratorium INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: I / 2 Nazwa przedmiotu: Jzyk angielski Liczba godz. wykadu: Liczba godz. wicz./lab.: 30 Cele przedmiotu: Celem przedmiotu jest doskonalenie czterech podstawowych umiejtnoci jzykowych: czytania obejmuje rozumienie przede wszystkim tekstw uytkowych, informacyjnych oraz artykuw z dziedziny informatyki, suchania - rozumienie ze suchu nagranych na tamie audio lub video dialogw, wywiadw, dyskusji, etc., mwienia - polega midzy innymi na wiczeniu umiejtnoci wypowiadania si na tematy najbliszego otoczenia, dyskutowania oraz przeprowadzania dialogw w sytuacjach codziennych, pisania - doskonalone s takie formy, jak: list prywatny, pismo urzdowe, notatka, etc.; utrwalenie i rozszerzenie wiadomoci leksykalno-gramatycznych z zakresu szkoy redniej; wzbogacenie sownika o wyraenia z dziedziny informatyki i nauk pokrewnych. Zawarto programowa: 1. Sownictwo obejmujce temat: rodzina, dom, zdrowie, praca, edukacja, sposoby odywiania si, relacje midzyludzkie, pienidze, zakupy, pojazdy, film, etc.
Przydatne zwroty stosowane w dyskusjach, dialogach, listach, ogoszeniach, etc.
Sownictwo z dziedziny informatyki, pochodzce z tumaczonych przez studentw artykuw internetowych i pozycji dostpnych w bibliotece Instytutu Informatyki.
Sowotwrstwo: tworzenie rzeczownikw, tworzenie oraz stopniowanie przymiotnikw i przyswkw.
Wyrazy zoone, tzw. c omp o und n oun s .
Przyimki okrelajce ruch, przedimki, zaimki zwrotne.
Przyswki czstotliwoci, wyraenia okrelajce ilo.
Czasowniki wymagajce uycia bezokolicznika lub formy gerundialnej.
Czasy gramatyczne: present simple, present continuous, present perfect simple, present perfect continuous, past simple, past continuous, past perfect, future simple.
Czasowniki modalne: must, have to, should, can, could, etc.
Strona bierna z uyciem poznanych czasw; mowa zalena; pytania porednie.
Zdania typu: defining/non-definig relative clauses.
37
Okresy warunkowe i zdania okolicznikowe czasu oraz wyraenie in case. Literatura: 1. Murphy R. E n gli sh G ra m ma r in Us e . Cambridge University Press 2007. 2. Dostpne podrczniki do nauki jzyka angielskiego z zakresu podstawowego, redniozaawansowanego i zaawansowanego. Uwaga: teksty rozszerzajce sownictwo fachowe wybrane artykuy z Internetu, wybrane rozdziay z ksiek dostpnych w bibliotece Instytutu Informatyki UMCS. Forma prowadzonych zaj: wiczenia INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: II/ 3 Nazwa przedmiotu: Metody probabilistyczne i statystyki Liczba godz. wykadu: 30 Liczba godz. wicz./lab.: 30 Cele przedmiotu: Celem przedmiotu jest opanowanie przez studentw teorii prawdopodobiestwa i podstawowych metod rozwizywania zagadnie statystycznych oraz nabycie umiejtnoci modelowania zjawisk losowych za pomoc modeli probabilistycznych, estymacji rozkadw i ich parametrw oraz weryfikacji hipotez. Zawarto programowa: I. Rachunek prawdopodobiestwa. 1. Pojcia wstpne: dowiadczenia deterministyczne i losowe. Przestrze zdarze elementarnych. Dziaania na zdarzeniach. -ciao zdarze losowych. Cigi zdarze. 2. Definicje prawdopodobiestwa: czciowa, klasyczna, geometryczna, aksjomatyczna. Wnioski z aksjomatw rachunku prawdopodobiestwa. Pojcie entropii Shannona. Twierdzenie Shannona o cigach wysoce prawdopodobnych. 3. Prawdopodobiestwo warunkowe. Twierdzenie o prawdopodobiestwie cakowitym. Twierdzenie Bayesa. Niezaleno zdarze. 4. Zmienna losowa. Rozkad prawdopodobiestwa. Zmienne losowe typu skokowego i cigego. Dystrybuanta. Gsto prawdopodobiestwa. 5. Rozkady dyskretne (dwumianowy, Poissona, geometryczny, ujemnie dwumianowy) i absolutnie cige (prostoktny, wykadniczy, gamma, normalny, Cauchy'ego, Laplace'a). Rozkady funkcji zmiennej losowej. 6. Warto oczekiwana, wariancja i inne charakterystyki rozkadw prawdopodobiestwa (zmiennych losowych). 7. Statystyki porzdkowe i ich zastosowania. 8. Transformaty zmiennych losowych: funkcja tworzca prawdopodobiestwa, funkcja tworzca momenty, funkcja charakterystyczna. 9. Rodzaje zbienoci cigw zmiennych losowych. Zbieno wedug rozkadu (saba zbieno), zbieno wedug prawdopodobiestwa, zbieno prawie pewna, zbieno wedug redniej. 10. Nierwno Czebyszewa. Sabe prawo wielkich liczb. 11. Twierdzenie Moivre'a Laplace'a. Centralne twierdzenie graniczne. II. Statystyka matematyczna 1. Pojcie populacji i prby losowej. Elementy statystyki opisowej. Graficzne przedstawianie danych. Wykresy rnych danych. Charakterystyki prby: momenty, rednie, mediana, kwantyle, dominanta (moda). Prba uporzdkowana. Dystrybuanta empiryczna. 2. Estymatory. Rodzaje estymatorw (zgodne, nieobcione, efektywne, o minimalnej wariancji). Metody
38
wyznaczania estymatorw (metoda momentw, metoda najwikszej wiarogodnoci, metoda Baye'a, metoda funkcji decyzyjnych). Nierwno Rao - Cramra. Estymacja punktowa i przedziaowa. 3. Wane rozkady prawdopodobiestwa w statystyce matematycznej. Rozkad normalny, gamma, 2, t - studenta, F - Fishera. 4. Hipoteza statystyczna. Testy statystyczne. Bd pierwszego i drugiego rodzaju. Testy parametryczne i nieparametryczne. Weryfikacja hipotez statystycznych dotyczcych parametrw rozkadu, postaci rozkadu i niezalenoci. 5. Zastosowanie komputerw w statystycznej analizie danych. 6. Metoda Monte Carlo. Literatura: 1. W. Feller " Wstp do rachunku prawdopodobiestwa i jego zastosowa", PWN, Warszawa, 1987. 2. T. Gesternkorn, T. rdka "Kombinatoryka i rachunek prawdopodobiestwa", PWN, Warszawa, 1983. 3. J. Gre "Modele i zadania statystyki matematycznej", PWN, Warszawa, 1968. 4. W. Krysicki, J. Bartos, W. Dyczka, K. Krlikowska "Rachunek prawdopodobiestwa i statystyka matematyczna w zadaniach." Cz. I Rachunek Prawdopodobiestwa; Cz. II statystyka matematyczna, Warszawa, 1997. 5. M. Krzyko "Wykady z teorii prawdopodobiestwa", WNT, 2000. 6. M. Krzyko "Statystyka matematyczna", Uniwersytet Adama Mickiewicza, 2004. 7. L. T. Kubik "Zastosowanie elementarnego rachunku prawdopodobiestwa do wnioskowania statystycznego", PWN, Warszawa, 1995. 8. A. Pluciska, E. Pluciski "Rachunek prawdopodobiestwa. Statystyka matematyczna. Procesy stochastyczne", WNT, Warszawa, 2000. Forma prowadzonych zaj: wykad + wiczenia Wymagania wstpne: (informacja o powizaniu z wczeniejszymi przedmiotami) zaliczony przedmiot 'analiza matematyczna'
INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: II /3 Nazwa przedmiotu: Technologie sieciowe Liczba godz. wykadu: 15 Liczba godz. wicz./lab.: 45 Cele przedmiotu: Zapoznanie studentw z podstawowymi technologiami sieciowymi, rodzin protokow TCP/IP, jak rwnie podstawami konfiguracji urzdze sieciowych (routerw Cisco). Zawarto programowa: 1. Znaczenie sieci komputerowych. 2. Komunikacja w sieciach komputerowych. 3. Warstwa aplikacji modelu OSI. 4. Warstwa transportowa modelu OSI. 5. Warstwa sieci modelu OSI. 6. Adresowanie sieci IPv4. 7. Warstwa cza danych. 8. Warstwa fizyczna modelu OSI. 9. Ethernet. 10. Planowanie i okablowanie sieci. 11. Konfiguracja i testowanie sieci.
39
Literatura: McQuerry: CCNA Exam 640-802 and ICND1 Exam 640-822, 2nd Edition, Cisco Press WS. Odom: CCENT/CCNA ICND1 Official Exam Certification Guide (CCENT Exam 640-822 and CCNA Exam 640-802), 2nd Edition, Cisco Press. W. Odom: CCNA Official Exam Certification Library (CCNA Exam 640-802), 3rd Edition, Cisco Press. Forma prowadzonych zaj: wykad + laboratorium Narzdzia programistyczne (zajcia laboratoryjne): Cisco PacketTracer INFORMATYKA (3-letnie studia I stopnia stacjonarne) Specjalno: rok/semestr: II /3 Nazwa przedmiotu: Bazy danych i zarzdzanie informacj Liczba godz. wykadu: 30 Liczba godz. wicz./lab.: 30 Cele przedmiotu: Zapoznanie studentw z podstawowymi zagadnieniami modelowania, projektowania i uytkowania relacyjnych baz danych. Zawarto programowa: 1. Organizacja i program wykadu. Wprowadzenie do baz danych. Jzyki baz danych. Jzyki 3 i 4 generacji. Modele danych i modelowanie konceptualne. Funkcje SZBD. Trjwarstwowa architektura ANSI_SPARC. 2. Model relacyjny i jzyki relacyjne. Krtka historia modelu relacyjnego. Terminologia. Algebra relacji i rachunek relacyjny. Jzyki zapyta dla modelu relacyjnego 3. Normalizacja schematw logicznych relacji. Cel normalizacji. Pierwsza, druga i trzecia posta normalna 4. Wprowadzenie do SQL: definiowanie tabel (create table), definiowanie typw, wizy dziedzinowe, definiowanie klucza gwnego, podstawowe typy danych. Komendy typu "select", selekcjonowanie krotek, aliasy tabel w zapytaniach. 5. SQL: zapytania zagniedone, podzapytania skorelowane, operatory IN, ANY, ALL, SOME. Zczenia operatorem JOIN. Kolumny wyliczeniowe, aliasy tabel w zczeniach. Logika trjwartociowa. 6. Zaawansowany SQL 7. Modelowanie danych. Model zwizkw encji. Ro