9. Nauczyciele akademiccy Instytutu Informatyki

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


Zastpca Dyrektora:

dr Marcin Smolira

Zakad Modelowania i Symulacji Komputerowych

tel. 81-537-61-0


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


- 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


- 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


- 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


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


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


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


Praktyki 4 75.0 3.0 praktyki zaliczenie





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


Projekt zespoowy 5 15.0 3.0 laboratorium 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








Specjalistyczna pracownia licencjacka 6 0.0 2.0 laboratorium zaliczenie na ocen

Studia II stopnia (magisterskie)

Specjalno: Grafika komputerowa


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


Wykad monograficzny 1 1 30.0 3.0 wykad 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


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


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


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



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












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



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


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




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



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












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


Systemy mobilne 2 30.0 7.0 wykad egzamin

Systemy mobilne 2 30.0 0.0 laboratorium zaliczenie na ocen


Bezpieczestwo sieci 3 30.0 6.0 wykad egzamin

16

Bezpieczestwo sieci 3 30.0 0.0 laboratorium 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


Sieci bezprzewodowe 3 15.0 4.0 wykad zaliczenie na ocen

Sieci bezprzewodowe 3 30.0 0.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












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



Teoria grafw 2 15.0 4.0 wykad egzamin

Teoria grafw 2 30.0 0.0 laboratorium 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


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



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



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


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

Documents

9. Nauczyciele akademiccy Instytutu Informatyki