Základný kurz programovania v jazyku Java. Databázové systémy. Počítačové siete.

Získať praktické zručnosti a skúsenosti z tvorby rozsiahlejších integrovaných projektov v programovacom jazyku Java.

Vlákna. Servlety. Komunikácia programov cez protokol HTTP. Java 1.5. Samostatná práca na projekte.

Java 2 Platform Standard Edition 5.0 API Specification. Dostupné na internete: <http://java.sun.com/j2se/1.5.0/docs/api/>.

The Java Tutorials. Dostupné na internete: <http://java.sun.com/docs/books/tutorial/index.html>.

Základné pojmy z matematickej logiky -dôkaz sporom, dôkaz matematickou indukciou

Základné pojmy z teórie množín -prienik, zjednotenie, doplnok, kartézsky súčin, potenčná množina

Základné pojmy z teórie vyčísliteľnosti -rekurzívna funkcia, čiastočne rekurzívna funkcia, Turingov stroj, a ich vlastnosti

Základné pojmy z teórie formálnych jazykov -regulárny jazyk, konečnostavový automat (deterministický, nedeterministický), regulárny výraz, základné definície Chomského hierarie gramatík

Získať základné poznatky z oblasti formálnych jazykov a gramatík.

Oboznámiť sa s problematikou efektívneho rozpoznávania bezkontextových a deterministických bezkontextových jazykov, ako aj problematikou kontextových a rekurzívne očíslovateľných jazykov. Nadobudnúť základné poznatky o algoritmicky nerozhodnuteľných problémoch súvisiacich s rozpoznávaním textu.

Chomského a Greibachovej normálne tvary bezkontextových gramatík. Deterministické zásobníkové automaty. Pumping lema. Uzáverové vlastnosti bezkontextových a deterministických bezkontextových jazykov. Kontextové gramatiky a lineárne ohraničené Turingove stroje. Deterministické lineárne ohraničené Turingove stroje. Pojem priestorovo ohraničeného Turingovho stroja. Frázové gramatiky a Turingove stroje. Nerozhodnuteľnosť problému zastavenia Turingovho stroja. Postov korešpondenčný problém. Algoritmicky nerozhodnuteľné problémy z oblasti teórie jazykov.

J.E. Hopcroft, R.Motwani, J.D. Ullman: Introduction to automata theory, languages, and computation, Addison-Wesley, 2001.

M.Chytil: Automaty a gramatiky, SNTL, 1984.

J.van Leeuwen (ed.): Handbook of theoretical science, North-Holland, 1990.

Prezentovať výsledky samostatnej práce na verejnom fóre.

Práca na samostatných úlohách, ktoré budú prezentované na študentskej vedeckej konferencii.

Podľa témy predloženej práce.

Základy lineárnej algebry, teória algoritmov, výpočtová zložitosť. Vyžadujú sa tiež veľmi dobré znalosti programovania, minimálne na úrovni absolventa prvého ročníka.

Pripraviť študentov na programátorské prostredie a typ úloh medzinárodnej súťaže vysokoškolákov v programovaní.

Cieľom predmetu je získať zručnosti pre účasť na medzinárodných súťažiach v programovaní (hlavne súťaž ACM).

http://www.topcoder.com/tc

http://www.spoj.pl/

http://icpcres.ecs.baylor.edu/onlinejudge/

Pripraviť študentov na programátorské prostredie a typ úloh medzinárodnej súťaže vysokoškolákov v programovaní.

Cieľom predmetu je získať zručnosti pre účasť na medzinárodných súťažiach v programovaní (hlavne súťaž ACM).

http://www.topcoder.com/tc

http://www.spoj.pl/

http://icpcres.ecs.baylor.edu/onlinejudge/

Bez nadväznosti.

Zvládnuť základy tvorby algoritmov a objektovo - orientovaného programovania v Jave.

Predmet je tiež zameraný na získanie základných poznatkov potrebných pri tvorbe algoritmov, preto cieľom je

a) naučiť študentov vytvárať algoritmy pre jednoduché a stredne obtiažné algoritmické problémy a vyhodnotiť ich,

b) naučiť študentov základným postupom pri testovaní a ladení programov,

c) získať praktické skúsenosti pri ladení programov,

d) naučiť študentov základy objektovo-orientovaného programovania.

Prednáška prináša nový prístup vo využití Javy, ako prvého programovacieho jazyka. Objektovo - orientovaný prístup podporený využitím korytnačej grafiky zohráva dôležitú úlohu v metodológii výučby programovania.

Čo je Java a prečo sa začíname učiť programovať v Jave. Práca v prostredí Eclipse, jednoduché programy formou GUI interakcie s objektami.

Premenné, zakladné príkazy, príkazy vetvenia, cykly. Funkcie, debugovania, práca s reťazcami. Polia, premenné referenčního typu. Výnimky, práca s textovými súbormi. Jednoduchý projekt.

Princípy OOP: trieda, objekt, konštruktor, metódy, dedenie, polymorfizmus, zapúzdrenie. Modifikátory viditelnosti, rozhrania, balíčky.

JCF, vlastné výnimky, binárne súbory.

Úvod do Javy v prostredí Eclipse. Prvé projekty korytnačej grafiky s využitím JPAZ frameworku.

Premenné primitivného typu, podmienky, cykly, rozsah platnosti premenných.

Metódy vo forme funkcie, príkaz return, ladenie programu, práca s reťazcami.

Instančná premenná, pole ako premenná referenčného typu, algoritmy nad poľom.

Výnimky, práca s textovými súbormi, 2-rozmerné pole.

Triedy a objekty, princípy objektovo-orientovaného programovania (zapúzdrenie, dedičnosť, ...).

Jednoduchý projekt. Abstraktné triedy. Modifikátory viditeľnosti, rozhranie, balíky.

Java Collection Framework.

Statické metódy, vlastné výnimky, binárne súbory.

S. J. Chapman: Začínáme programovat v jazyce Java, Computer Press, Brno, 2003

D. Flanagan: Programování v jazyce Java, Computer Press, Brno, 1997

K. Sierra, B. Bates: Head First Java, O’Reilly, Cambridge, 2003, 2005

G. Andrejková: Programovanie a algoritmy. Skriptum PF UPJŠ, Košice, 2002

Pokračovanie základného kurzu programovania pre študentov 1. ročníka bakalárskeho štúdia informatiky, matematiky a medziodborového štúdia s predmetom informatika. Výučba nadväzuje na predmet PAZ1a. Sú prednášané hlavne algoritmy a ich programová realizácia, postupy a techniky používané pri tvorbe programov. Sú rozvíjané tiež základy objektovo - orientovaného programovania a práca v súčasných vývojových prostrediach. Programuje sa v jazyku Java.

Princípy tvorby algoritmov, analýza zložitosti algoritmov, efektívna implementácia algoritmov.

Metóda backtrack a jej použitie pri riešení problémov, problém 8 dám, problém jazdca na šachovnici. Triediace algoritmy – Quicksort a jeho zložitosť.

Možnosti programovacieho jazyka Java, použitie kolekcií (kontajnerov).

Problém stabilného priradenia, základná analýza algoritmov. Riešenie daného problému použitím zásobníkov a radov.

Topologické triedenie, použitie orientovaných aj neorientovaných grafov a ich implementácia.

Greedy algoritmy, najkratšia cesta v grafe, minimálna kostra grafu.

Prehľadávanie textov. Metódy návrhu efektívnych algoritmov - rozdeľuj a panuj, dynamické programovanie.

Stromy a ich reprezentácia, binárne stromy.

Aritmetické výrazy, výpočet hodnoty aritmetického výrazu v rôznych notáciách. Odstráňovanie rekurzie a optimalizácia algoritmov.

1. Metóda backtrack a jej použitie pri riešení problémov, problém 8 dám, problém jazdca na šachovnici.

2. Ďalšie možnosti programovacieho jazyka Java, použitie kolekcií (kontajnerov).

3. Problém stabilného priradenia, základná analýza algoritmov. Riešenie daného problému použitím zásobníkov a radov.

4. Topologické triedenie, použitie orientovaných aj neorientovaných grafov a ich implementácia.

5. Greedy algoritmy, najkratšia cesta v grafe, minimálna kostra grafu.

6. Písomná skúška I.

7. Prehľadávanie textov.

8. Metódy návrhu efektívnych algoritmov - rozdeľuj a panuj, dynamické programovanie.

9. Stromy a ich reprezentácia, binárne stromy.

10. Aritmetické výrazy, výpočet hodnoty aritmetického výrazu v rôznych notáciách.

11. Odstráňovanie rekurzie a optimalizácia algoritmov.

12. Písomná skúška II.

13. Príprava na skúšku a rekapitulácia učiva

S. Zakhour a kol.: Java, výukový kurz, Computer Press, a.s., Brno, 2007

J. Keogh, M. Giannini: OOP bez předchozích znalostí, Computer Press, Brno, 2006

J. Kleinberg, E. Tardos: Algorithm Design, Cornell University, Addison Wesley, New York, 2006

P. Toepfer: Algoritmy a programovací techniky, Prometheus, Praha, 1995

P. Wroblewski: Algoritmy, datové struktury a programovací techniky. Computer Press, Brno, 2004

Naučiť študentov pracovať so zložitejšími štruktúrami údajov, objektami, vytvárať algoritmy založené na objektovo-orientovaných princípoch.

Objektovo-orientované programovanie v programovacom jazyku Java.

Procedurálne aspekty jazyka Java - podmienky, cykly. Použitie objektov v Jave. Triedy a inštancie. Stavové premenné a metódy. Balíčky. Zapúzdrenie. Špecifikácie viditeľnosti. Dedičnosť. Virtuálne metódy. Polymorfizmus. Kolekcie - vektory, dynamické polia, množiny. Vstupno-výstupné metódy v jazyku Java. Interfejsy a vnútorné triedy. Výnimky.

Tvorba samostatných projektov. Metodika tvorby a konkrétna tvorba projektov - analýza problému, návrh riešenia, diskusia o riešení z rôznych hľadísk, modifikácia a samotná implementácia. Zoznámenie sa s návrhovými vzormi (design patterns). Ich znalosť študent demonštruje jednak na jednom projekte, ktorý si sám vyberie, jednak na písomnom teste.

ECKEL, B. Myslíme v jazyku Java, Knihovna programátora. Praha : Grada, 2001. ISBN 80-247-9010-6.

ECKEL, B. Myslíme v jazyku Java, Knihovna zkušeného programátora. Praha : Grada, 2001. ISBN 80-247-0027-1.

ECKEL, B. Thinking in Java, 3rd Edition. [online] Dostupné na internete: <http://mindview.net/Books/DownloadSites>

PECINOVSKÝ, R. Myslíme objektově v jazyku Java. Praha : Grada, 2001. ISBN 80-247-0941-4.

Základné pojmy z matematickej logiky -dôkaz sporom, dôkaz matematickou indukciou

Základné pojmy z teórie množín -prienik, zjednotenie, doplnok, kartézsky súčin, potenčná množina

Základné pojmy z teórie vyčísliteľnosti -rekurzívna funkcia, čiastočne rekurzívna funkcia, Turingov stroj, a ich vlastnosti

Získať základné poznatky z oblasti formálnych jazykov a gramatík.

Oboznámiť sa s problematikou regulárnych jazykov, naučiť sa konštruovať konečnostavové automaty a akceptory, ako aj ich transformáciu na optimálny tvar.

Naučiť sa využívať tieto poznatky na konštrukciu efektívnych algoritmov pre spracovávanie a vyhľadávanie textových informácií.

Základné pojmy - abeceda, jazyk, gramatika. Chomského hierachia jazykov a gramatík. Konečnostavový automat, regulárne zobrazenia, konštrukcia redukovaného automatu. Konečnostavové akceptory, nedeterministické akceptory a akceptory s epsilon-prechodmi. Regulárne výrazy. Uzáverové vlastnosti triedy regulárnych jazykov.

J.E. Hopcroft, R.Motwani, J.D. Ullman: Introduction to automata theory, languages, and computation, Addison-Wesley, 2001.

M.Chytil: Automaty a gramatiky, SNTL, 1984.

J.van Leeuwen (ed.): Handbook of theoretical science, North-Holland, 1990.

Znalosť základov programovania.

Získať znalosti o základnej architektúre operačného systému. Pochopiť algoritmy pre prideľovanie procesora viacerým procesom, medziprocesovú komunikáciu a prideľovanie pamäte. Vedieť uplatniť základné synchronizačné postupy a riešiť problémy prideľovania spoločných zdrojov pre vstupno-výstupné operácie. Rozumieť organizácii súborov a ich ochrane prístupovými právami. Vedieť prakticky využívať služby operačného systému typu Unix a Windows.

Štruktúra a funkcie operačného systému. Vytváranie obrazu úlohy a jej vykonanie. Charakteristiky druhov OS a ich historický vývoj. Multiprogramové prostredie, prepínanie kontextu, prerušenia, zdieľanie času, interaktivita. Proces, správa procesov, stratégie prideľovania, komunikácia medzi procesmi, klasické problémy konkurencie a ich riešenia (vzájomné vylúčenie, uviaznutie, vyhladovanie). Správa pamäte, relokácia, segmentácia, stránkovanie, virtualizácia pamäte. Riadenie vstupno-výstupných zariadení, systémové ovládače, prideľovanie zdrojov. Organizácia externých pamätí - so sekvenčným i s priamym prístupom. Súbor, súborový systém, základné funkcie systému pre prácu so súbormi, adresáre, bezpečnosť a ochrana prístupovými právami.

1. Vývoj OS. Čo je OS. Základné funkcie OS. Charakteristiky druhov OS a ich historický vývoj. Princíp dávkového spracovania úloh, spooling, multiprogramové prostredie, systémy zdieľania času, multiprocesororové systémy, distribuované systémy, systémy reálneho času. Migrácia funkcií OS.

2. Štruktúra počítača a OS. Mechanizmus prerušení. I/O prerušenia. Komponenty OS. Služby OS. Systémové volania. Systémové programy. Štruktúra OS. Virtuálne stroje.

3. Správa procesov. Koncept procesu. Stavy procesu a prechody medzi nimi, prepínanie kontextu. Rozvrhovanie procesov. Operácie na procesoch – vytváranie a ukončenie procesov. Plánovanie procesov. Kritériá plánovania. Plánovacie algoritmy. Vláknový model, prideľovanie procesora vláknam, paralelizácia výpočtu.

4. Kooperácia a komunikácia procesov. Ilustrácia konceptu kooperácie na probléme producent–konzument. Medziprocesová komunikácia priama a nepriama, rúry, bariéry. Komunikácia v klient–server systémoch.

5. Synchronizácia procesov. Problém kritickej sekcie. Synchronizačné algoritmy. Synchronizačný hardvér. Semafory. Ošetrenie kolízií s aktívnym a pasívnym čakaním.

6. Klasické problémy synchronizácie. Kritické regióny. Monitory. Synchronizácia v OS Solaris a Windows.

7. Uviaznutia procesov. Charakterizácia uviaznutia. Metódy spracovania uviaznutia: prevencia, zabránenie, detekcia a liečenie uviaznutia.

8. Správa pamäte. Vytváranie obrazu úlohy a jej vykonanie – prideľovanie adries. Logický a fyzický adresovací priestor. Dynamické zavádzanie a spájanie. Prekrývanie (overlay). Swapping.

9. Metódy prideľovania pamäte. Súvislé prideľovanie pamäte. Stránkovanie. Segmentácia. Segmentácia so stránkovaním. Stránkovanie na žiadosť. Virtualizácia pamäte. Viacúrovňové riadenie prideľovania stránok.

10. Správa súborov. Pamäťová hierarchia počítačového systému – význam externých pamätí. Koncept súboru. Organizácia systému súborov. Pojem a význam štrukturovania údajov v súboroch. Atribúty súborov a spôsoby ich použitia. Ukladanie atribútov v adresároch. Prístupové metódy k súborom. Adresárové štruktúry. Základné funkcie pre prácu so súbormi. Priebeh otvárania, zatvárania súborov, vytváranie a mazanie, zmena atribútov. Problémy konkurencie v prístupe k súboru, zamykanie, zdieľanie súboru, význam zamykania na zápis a čítanie. Bezpečnosť a ochrana súborového systému prístupovými právami. Špecifiká prístupových práv v sieťach Microsoft, Novell NetWare, NFS.

11. Štruktúra súborového systému. Implementácia súborového systému. Implementácia adresárov. Alokačné metódy – súvislá alokácia, zreťazená alokácia, indexovaná alokácia, viacúrovňové indexy, FAT, UFS – Unix File System.

12. Správa periférnych zariadení. Spôsoby komunikácie procesora s okolím. Radiče zariadení a komunikácia cez vstupno–výstupné porty. Mechanizmus hardwarového (asynchrónneho) prerušenia, priamy prístup do pamäte. Význam a funkcia ovládačov, začlenenie do systému, spôsoby použitia. Práca štandardných systémových zariadení – systémový čas, správa napájania, hardvérové testy. Štandardné sériové a paralelné rozhrania, znakové vstupno–výstupné zariadenia (klávesnica, myš, scanner, tlačiareň). BIOS, priebeh zavádzania operačného systému. Zdieľateľné zariadenia, problémy prideľovania nezdieľateľných zariadení ¬– uviaznutie.

13. Funkcie znakových terminálov, význam pre viacpoužívateľské systémy, terminálové siete. Grafické adaptéry – rastrová grafika, režimy zobrazovania. Blokové zariadenia s priamym a sekvenčným prístupom. Organizácia priestoru na disku – povrch, stopa (cylinder), sektor, mechanizmus prístupu k sektoru, formátovanie. Špecifiká pevných diskov, a pružných diskov, CD a DVD médií.

A. Silberschatz, G. Gagne, P. Baer: Operating System Concepts, Wiley, 2002

A.S. Tanenbaum: Modern Operating Systems, Prentice-Hall, 2001

F. Plášil, J. Staudek: Operační systémy, SNTL Praha, 1992

Systémová dokumentácia Linux, MS Windows

Pochopiť vrstvový referenčný model ISO OSI pre sieťovú komunikáciu. Vedieť posúdiť parametre komunikačných kanálov, ovládať základné prístupové metódy, rozumieť funkcii prepájacích zariadení (opakovačov, mostov, smerovačov, brán). Rozumieť štruktúre IP paketov, adresácii a spôsobu prenášania paketov. Porozumieť zabezpečenému transportnému prenosu protokolom TCP. Vedieť využívať transportné rozhranie v komunikácii prostredníctvom schránok. Poznať základné aplikačné protokoly siete Internet a vedieť ich implementovať do programu. Ovládať spôsoby zabezpečenia siete pomocou bezpečnostných brán a zástupných serverov.

Vrstvový ISO OSI referenčný model. Charakteristiky prenosových kanálov, teoretické ohraničenia, prenosové techniky. Prístupové metódy CSMA/CD, Token Ring, vysokorýchlostné siete. Prepájanie sietí, opakovače, mosty, smerovače. Sieťová vrstva v sieťach TCP/IP, adresová štruktúra, ARP, ES-IS komunikácia. Protokol IP, ICMP riadenie, spojované a bezspojové transportné protokoly TCP a UDP. Aplikačné protokoly Telnet, FTP, SMTP, SNMP, systém doménových mien DNS, tvorba sieťových a distribuovaných aplikácií typu klient-server, agent-manažér. Ochrana počítačových sietí bezpečnostnými bránami a zástupnými servermi, zabepečené protokoly.

A.S. Tanenbaum: Computer Networks, Prentice Hall, 2002

W. Stallings: Local and Metropolitan Area Networks, Prentice Hall, 2000

E. Comer, R.E. Droms: Computer Networks and Internets, Prentice Hall, 2003

W.R. Stevens: TCP/IP Illustrated, Vol.1: The Protocols, Addison-Wesley, 1994

L. Dostálek, A. Kabelová: Velký průvodce protokoly TCP/IP a systémem DNS, Computer Press, 2002

Naučiť sa ovládať operačný systém Linux na používateľskej úrovni. Zvládnuť jazyk C a služby jadra operačného systému.

Príkazy OS Linux. Tvorba skriptov. Jazyk C. Služby jadra operačného systému. Spúšťanie a klonovanie procesov. Signály.

Príkazy OS Linux. Tvorba skriptov. Jazyk C. Služby jadra operačného systému. Spúšťanie a klonovanie procesov. Signály.

B.W. Kernighan, D. Ritchie: C Programming Language, Prentice Hall, 1988

R. Stones, N. Mathew: Beginnig Linux Programming, Wrox Press, 1999

K. Haviland, M. Gray, B. Salama: UNIX System Programming, Addison-Wesley, 1998

W. Stallings: Operating Systems - Internals and Design Principles, Prentice Hall, 2000

A. Silberschatz, G. Gagne, P. Baer: Operating System Concepts, Wiley, 2002

ÚINF/SPR1a/03

Zvládnuť paralelné programovanie a medziprocesovú komunikáciu na jednom počítači,

vlákna a ich synchronizáciu.

Teoretické problémy synchronizácie paralelných procesov: Algoritmy Deckerov,

pekára, problém producent-konzument a čitateľ-zapisovateľ. Využitie petriho

sietí na modelovanie synchronizačných problémov. Tvorba paralelných programov.

Teoretické a praktické programovanie medziprocesovej komunikácie v operačných

systémoch Unixového typu v jazyku C: Vlákna, semafory, rúry, pomenované rúry,

zdieľaná pamäť, fronty správ. Architektúra jadra operačného systému Unix/Windows.

Teoretické problémy synchronizácie paralelných procesov: Algoritmy Deckerov,

pekára, problém producent-konzument a čitateľ-zapisovateľ. Využitie petriho

sietí na modelovanie synchronizačných problémov. Tvorba paralelných programov.

Teoretické a praktické programovanie medziprocesovej komunikácie v operačných

systémoch Unixového typu v jazyku C: Vlákna, semafory, rúry, pomenované rúry,

zdieľaná pamäť, fronty správ. Architektúra jadra operačného systému Unix/Windows.

M.L. Mitchell, A. Samuel, J. Oldham: Advanced Linux Programming, SAMS, 2001

M.J. Bach: Design of the UNIX Operating System, Prentice Hall, 1986

D.P. Bovet, M. Cesati: Understanding the Linux Kernel, O'Reilly, 2000

N. Matthew, R. Stones: Professional Linux Programming, Wrox Press Inc., 2000

Vedieť princípy databázového modelovania a osvojit si základy dopytovacích jazykov. Pochopiť formálne základy databázových systémov - databázovú logiku, relačnú algebru.

Modely dát. Jazyky na definovanie a manipuláciu dát (DDL, DML). Tabuľky, atribúty, záznamy a integritné obmedzenia. Dopyty: select, where, group by, agregačné a systémové funkcie. Viac tabuliek: join, union; primárny, cudzí kľúč; vnorené dopyty, pohľady. Relačná algebra: formalizácia tabuľky, databázová logika: termy, podmienky, Transformácia, projekcia stĺpcov, Cartesiansky súčin, selekcia riadkov.

S.Krajčí: Databázové systémy, UPJŠ, 2005

J.Ullman: Principles of database and knowledge – base systems, Comp. Sci. Press., 1988.

K.Henderson: The Guru's Guide to SQL Server Stored Procedures, XML, and HTML, Addison Wesley Professional, 2001

Databázové systémy 1a - DBS1a/03

Naučiť sa navrhnúť a normalizovať databázy. Získať informácie o fyzickej organizácii dát a indexoch. Vedieť uložené procedúry a triggery. Porozumieť transakciám. Pochopiť princípy distribuovaných a hierarchických databáz, XML a jeho dopytovacie jazyky.

Závislosti, normalizácia. Fyzická organizácia dát: B-stromy, hašované súbory. Pomocné tabuľky, rekurzia, kurzory. Uložené procedúry: vstupno-výstupné argumenty, systémové procedúry. Indexy a štatistiky: klastrové a neklastrové indexy, údržba indexov a štatistík. Triggery a integrita. Transakcie. Distribuované databázy. XML: prvky, atribúty, menné priestory; schéma: reštrikcie na hodnoty; jednoduché a zložité prvky, indikátory; XPath: uzly, osy, funkcie a operátory; XQuery: FLWOR, doc, vzťahy, predikáty.

S.Krajčí, Databázové systémy, UPJŠ, 2005

J. Ullman: Principles of database and knowledge – base systems, Comp. Sci. Press., 1988

K.Henderson: The Guru's Guide to Transact SQL, Addison Wesley Professional, 2000

Nadobudnúť poznatky o deliteľnosti, kongruenciách celých čísel, poli a sústavách lineárnych rovníc.

Deliteľnosť v Z, zvyškové triedy celých čísel. Pole. Sústavy lineárnych rovníc, Gaussova eliminačná metóda. Determinanty, Cramerovo pravidlo.

T. Katriňák a kol.: Algebra a teoretická aritmetika 1, Alfa Bratislava, 1985

Pochopiť pojem algoritmu a miery zložitosti výpočtu v širšom kontexte.

Turingov stroj ako jedna z formalizácií pojmu algoritmus. Čiastočne rekurzívne funkcie. Ekvivalencia vypočítateľnosti Turingovým strojom, programom Pascal a čiastočnej rekurzivity. Algoritmická neriešiteľnosť problému zastavenia sa Turingovho stroja a programu Pascal. Elementárne vlastnosti rekurzívne očíslovateľných množín.

Základy invariantnej teórie vypočítateľnosti: univerzálny systém programov, jeho základné vlastnosti, vety o preklade a izomorfnosti.

Dynamická miera zložitosti a jej vlastnosti.

L. Bukovský, Teória algoritmov, ES UPJŠ, Košice 1999

O. Demuth, R. Kryl a A. Kučera, Teorie algoritmu I,II, SPN, Praha 1984

M. Machtey and P. Young, An Introduction to the General Theory of Algorithms, North--Holland, Amsterdam 1978

Oboznámiť študentov so základmi kombinatoriky a jej aplikáciami v informatike.

Matematická indukcia a Dirichletov princíp. Pravidlá súčtu a súčinu. Permutácie, variácie, kombinácie. Výbery s opakovaním. Princíp inklúzie a exklúzie. Rekurentné relácie. Vytvárajúce funkcie. Úvod do teórie grafov. Prehľadávacie algoritmy v grafoch. Stromy. Eulerovské a hamiltonovské grafy. Planárne grafy. Farbenia grafov.

S. Jendroľ, P. Mihók: Diskrétna matematika I., UPJŠ Košice 1992

J. Nešetřil, J. Matoušek: Kapitoly z diskrétni matematiky

http://umv.science.upjs.sk/madaras/DIM-text Hlineny.pdf

http://umv.science.upjs.sk/madaras/DiskretniMatematika Univerzita Olomouc.pdf

E. R. Scheinerman: Mathematics - a discrete introduction, Brooks/Cole Publ. Comp. Pacific Grove 2000.

R.P. Grimaldi: Discrete and Computational Mathematics, Addison-Wesley Publ. Co.-Rending 1994

Pochopiť a vedieť aplikovať základné paradigmy neurónových sietí a genetických algoritmov. Naučiť sa pracovať so softwarom modelujúcim neurónové siete.

Základné modely neurónov (lineárne prahové jednotky, polynomiálne jednotky, perceptróny), ich výpočtové schopnosti, algoritmy adaptácie. Dopredné neurónové siete, back-propagation algoritmus pre adaptáciu sietí. Riešenie problémov predikcie pomocou neurónových sietí. Základy genetických a evolučných algoritmov. Aplikácie genetických algoritmov pri riešení niektorých problémov.

J. Hertz, A.Krogh, R.G. Palmer: Introduction to the theory of neural computation, Addison Wesley, 1991

V. Kvasnička a kol.: Úvod do teórie neurónových sietí, IRIS, Bratislava, 1997

P. Sinčák, G. Andrejková: Úvod do neurónových sietí, I. a II. diel, ELFA, Košice, 1996

V. Kvasnička a kol.: Evolučné algoritmy, IRIS, Bratislava, 2000

Databázové systémy. Objektovo-orientované programovanie.

Získať informácie o projektovom riadení vývoja softvéru. Osvojiť si základy modelovania softvéru.

Systém, subsystém, softvérový systém. Softvérové procesy. Základy projektového riadenia. Zber požiadaviek. Modelovanie softvéru. Architektúra SW aplikácií. Metodológie vývoja softvéru. Verifikácia a validácia SW. Riadenie a kontrola zdrojov.

BERKUN, S. The Art Of Project Management. O Reilly, 2005.

BJORNER, D. Software engineering 1,2,3. Springer-Verlag Berlin, 2006.

PRINCE2. Dostupné na internete: <http://www.prince2.com>.

SOMMERVILLE, I. Software Engineering. Addison-Wesley, 2007.

UML. Dostupné na internete: <http://www.uml.org>.

Získať podrobné vedomosti o modelovaní SW a aplikovať ich pri samostatnom riešení projektu.

Diagram požiadaviek. Textová analýza. Diagram typov použitia a textové scenáre. Diagram tried. Diagramy interakcií. Stavový diagram. Implementačné diagramy. Metamodel UML. Základy MDA. Návrhové vzory.

BERKUN, S. The Art Of Project Management. O Reilly, 2005.

BJORNER, D. Software engineering 1,2,3. Springer-Verlag Berlin, 2006.

PRINCE2. Dostupné na internete: <http://www.prince2.com>.

SOMMERVILLE, I. Software Engineering. Addison-Wesley, 2007.

UML. Dostupné na internete: <http://www.uml.org>.

Žiadna.

Základné programovacie techniky a sémantika programovania vo funkcionálnom jazyku..

Princípy funkcionálneho programovania. Lambda kalkulus z hľadiska funkcionálnych programovacích jazykov. Vlastnosti funkcionálnych programovacích jazykov. Programovací jazyk SCHEME: štruktúra jazyka a základné výpočtové‚ pravidlo, práca so symbolickými výrazmi, bloková štruktúra a statické vnáranie, funkcionálne objekty a makrá. Porovnávanie symbolických štruktúr a unifikácia. Pravidlový systém, logický systém, rámcový systém (porovnávanie a indexovanie).

Symbolické výrazy. Konštruktory a selektory symbolických výrazov. Klasifikácia dát. Kombinácie Špeciálne formy. Definícia procedúry. Volanie procedúry. Lambda výrazy. Lokálne premenné. Formy quote a quasiquote. Rámcový model a pojem prostredia. Vyhodnocovanie výrazov v rámcovom modeli. Makrá.

H. Abelson, G. J. Sussman, J. Sussman, Structure and interpretation of computer programs, The MIT Press, Cambridge, Massachusetts, 1985.

M. Felleisen, R. B. Findler, M. Flatt, S. Krishnamurthi, How to design programs, The MIT Press, 2001.

I. Kalaš, Iné programovanie. Stretnutie s jazykom Lisp, Alfa, Bratislava, 1990.

J. Kelemen, M. Ftáčnik, I. Kalaš, P. Mikulecký, Základy umelej inteligencie, Alfa, Bratislava, 1992.

R. Kelsey, W. Clinger, J. Rees, eds., Revised5 report on the algorithmic language Scheme, 1998.

B. J. MacLennan, Functional programming: practice and theory, Addison-Wesley Publishing Company, 1990.

Ľ. Molnár, P. Návrat, Programovanie v jazyku Lisp, Alfa, Bratislava, 1988.

Žiadna.

Základné programovacie techniky a sémantika logického programovania: zdieľanie premenných, akumulátory, rekurzia reprezentácia údajov, priebeh výpočtu

Úvodná motivácia do logického programovania ako paradigmy deklaratívneho programovania pre umelú inteligenciu.

Jazyk Amzi! Prolog. Základné programovacie techniky: zdieľanie premenných, akumulátory, rekurzia. Vstavané a definované dátové štruktúry. Rôzne triediace algoritmy. Porgramovanie metódou "generuj a testuj". Algoritmus pre konštrukciu výpočtového stromu logického programu. Praktické programovanie.

Fakty a pravidlá v Prologu. Unifikácia termov (Robinsonov unifikačný algoritmus). Rekurzia a backtrack v Prologu. Výpočtový krok a výpočtový strom. Klasifikácia termov. Zoznamy. Funktory a operátory v zložených termoch. Predikáty pre vstup a výstup. Dynamická databáza. Cykly (repeat-fail, for). Predikáty ovplyvňujúce backtrack. Rez. Predikáty vyhodnocujúce aritmetické výrazy.

J. Csontó: Aplikácie jazyka Prolog v UI, Skripta TU Košice, 1992, (2. vydanie Elfa, Košice, 1994).

V. Mařík, O. Štěpánková, J. Lažanský: Umělá inteligencie 2, Academia, Praha, 1997.

J. Kelemen, M. Ftáčnik, I. Kalaš, P. Mikulecký: Základy umelej inteligencie, Alfa, Bratislava, 1992.

W. F. Clocksin and C. S. Mellish: Programming in Prolog, Third, revised and extended edition, Springer-Verlag, 1987

K. R. Apt: From logic programing to Prolog, Practice Hall International Series in Computer Science, 1996.

The Arity/Prolog language reference manual, Arity Corporation, 1988.

Amzi! Prolog language reference, 1987.

Oboznámiť sa s najnovšími poznatkami z oblasti informatiky s výhľadom na využitie získaných poznatkov v záverečných prácach. Získať skúsenosti s riešením úloh z programátoských súťaží a seminárov.

Referáty o vybraných úlohách z korešpondečných programátorských seminárov a súťaží. Prezentácia referátov o súčasných trendoch v oblasti informatiky.

Korešpondenčný seminár z programovania. Dostupný na internete: <http://www.ksp.sk>.

Programátoská liaheň. Dostupná na internete: <https://liahen.ksp.sk>.

Programátorská súťaž PALMA. Dostupná na internete: <http://palma.strom.sk>.

Programátoská súťaž TOPCODER. Dostupná na internete: <http://www.topcoder.com>.

PLESNÍK,J. Grafové algoritmy. VEDA Bratislava, 1983.

SWAMY, M.N.S., THULASIRAMAN, K. Graphs, Networks, and Algorithms. Krieger Pub Co, 1980.

Wolfram Math World. Dostupný na internete: <http://mathworld.wolfram.com/topics/ComputerScience.html>.

Oboznámiť sa s najnovšími poznatkami z oblasti informatiky s výhľadom na využitie získaných poznatkov v záverečných prácach. Získať skúsenosti s riešením úloh z programátoských súťaží a seminárov.

Referáty o vybraných úlohách z korešpondečných programátorských seminárov a súťaží. Prezentácia referátov o súčasných trendoch v oblasti informatiky.

Korešpondenčný seminár z programovania. Dostupný na internete: <http://www.ksp.sk>.

Programátoská liaheň. Dostupná na internete: <https://liahen.ksp.sk>.

Programátorská súťaž PALMA. Dostupná na internete: <http://palma.strom.sk>.

Programátoská súťaž TOPCODER. Dostupná na internete: <http://www.topcoder.com>.

PLESNÍK,J. Grafové algoritmy. VEDA Bratislava, 1983.

SWAMY, M.N.S., THULASIRAMAN, K. Graphs, Networks, and Algorithms. Krieger Pub Co, 1980.

Wolfram Math World. Dostupný na internete: <http://mathworld.wolfram.com/topics/ComputerScience.html>.

Osvojiť si metódy a postupy pri riešení rozsiahlejších úloh. Preukázať schopnosť samostatne a tvorivo riešiť zložitejšie úlohy. Naučiť sa spracovať riešenie v písomnej forme - východiská riešenia, dôvody výberu metód a dokumentáciu riešenia.

Upresnenie formulácie témy a návrh na riešenie úlohy

Overenie riešenia

Písomná prezentácia riešenia úlohy

Ústná prezentácia získaných výsledkov

KATUŠČÁK, D. Ako písať vysokoškolské a kvalifikačné práce: ako písať seminárne práce a ročníkové práce, práce študentskej vedeckej a odbornej činnosti, diplomové, záverečné a atestačné práce a dizertácie. 3. vyd. Nitra : Enigma, 2004. 162 s. ISBN 80-89132-10-3.

ISO 690: 1987 Documentation - Bibliographic references. Content, form and structure.

ISO 2145: 1978 Documentation - Numbering of divisions and subdivisions in written documents.

Odborná a vedecká literatúra týkajúca sa záverečnej práce podľa odporúčania vedúceho záverečnej práce.

Osvojiť si metódy a postupy pri riešení rozsiahlejších úloh. Preukázať schopnosť samostatne a tvorivo riešiť zložitejšie úlohy. Naučiť sa spracovať riešenie v písomnej forme - východiská riešenia, dôvody výberu metód a dokumentáciu riešenia.

1. Upresnenie formulácie témy a návrh na riešenie úlohy

2. Overenie riešenia

3. Písomná prezentácia riešenia úlohy

4. Ústná prezentácia získaných výsledkov

Katuščák, D.: Ako písať vysokoškolské a kvalifikačné práce, 2. vydanie Bratislava, 1998

SO 690: 1987 Documentation - Bibliographic references. Content, form and structure.

ISO 2145: 1978 Documentation - Numbering of divisions and subdivisions in written documents.

Odborná a vedecká literatúra týkajúca sa záverečnej práce podľa odporúčania vedúceho záverečnej práce.

Základy analytickej geometrie v rovine a v priestore.

Základy programovania, agoritmizácie a odhady zložitosti.

Analyticko-geometrické vlastnosti kriviek.

ískať prehľad o činnosti vstupných a výstupných grafických zariadení. Vedieť implementovať jednoduché procedúry na vykreslenie úsečiek, kružníc, polynómov, vyplňovanie oblastí a orezávanie. Pochopiť význam homogénnych súradníc pre popis transformácií v rovine i priestore a možnosti premietania scény do roviny.

Technické prostriedky počítačovej grafiky, vstupné a výstupne zariadenia. Vnímanie farieb, palety, farebné modely. Rýchle prírastkové algoritmy pre kresbu úsečiek, kružníc, polynómov. Vyplňovanie oblastí, orezávanie. Modelovanie kriviek, Fergusonova interpolácia, spline krivky, Bézierove a B-spline krivky, modelovanie plôch. Homogénne súradnice, transformácie v rovine a priestore, stredové a rovnobežné premietanie. Určovanie viditeľnosti, osvetľovacie modely, tieňovanie. Realistické zobrazovanie, textúry, sledovanie lúča, vyžarovacia metóda. Reprezentácie údajov, popis scény, zobrazovací reťazec, postupy počítačovej animácie, virtuálna realita.

J.D. Foley, A. van Dam, S. Feiner, J. Hughes: Computer Graphics: Principles and Practice, 2.ed., Addison-Wesley, 1996.

K. Agoston: Computer Graphics and Geometric Modelling: Implementation & Algorithms, Springer, 2005.

J. Žára, B. Beneš, P. Felkel: Moderní počítačová grafika, 2. vyd., Computer Press, 2005.

Žiadna.

Základné informácie o princípoch sadzby dokumentov obsahujúcich matematické formuly pomocou rôznych formátov TeXu (Plain TeX-, AMS-TeX a LaTeX).

Princípy sadzby dokumentov obsahujúcich matematické formuly v Plain TeXu, AMS-TeXu a v LaTexu.

Sadzba jednoduchého textu, špeciálne textové symboly, používanie textových rezov. Makroinštrukcie v Texu.

Číslovanie v texte a poznámky. Nastavenie parametrov určujúcich vzhľad stránok.

Sadzba matematických vzorcov v texte a samostatne, vyrovnávanie vzorcov. Definovanie makroinštrukcií v Texu. Vytváranie tabuliek a obrázkov.

Definície, vety a dôkazy v matematickom dokumente. Obsah, bibliografia, sekcie dokumentu.

Princípy sadzby dokumentov v LaTexu.

Štruktúra zdrojového súboru, preambula a telo dokumentu, balíky príkazov, parametre balíkov a dokumentu.

Jazykové nastavenia, kódovanie súboru, deklarácie a definície makier a prostredí.

Sadzba textu, textové symboly, ligatúry, italická korektúra, príkazy pre textové fonty.

Nadpisy, zoznamy, matematické vety a dôkazy, zoznam literatúry, obsah, abecedmý register.

Sadzba matematických formúl v odseku textu.

Formuly (rovnice) na samostatných riadkoch, dvojrozmerné formuly, viacriadkové formuly a usporiadanie skupín formúl.

Medzery vo formulách a medzery medzi formulami, štýly matematickej sadzby.

Typy matematických symbolov, binárne operácie, binárne relácie, delimitujúce symboly (zátvorky), matematická interpunkcia, názvy funkcií, veľké operátory.

Počítadlá a automatické číslovanie v texte.

Krížové referencie.

Tabuľky a obrázky v LaTeXu, využitie grafických výstupov.

1. D. E. Knuth, The TeXbook, Computers and Typesetting, Addison-Wesley, Reading, Massachusetts, 1986.

2. M. Doob, Jemný úvod do TeXu, CSTUG, 1990; èeský preklad z "A Gentle Introduction to TeX” (text vo¾ne prístupný v CTAN archíve).

3. O. Ulrych, AMS-TeX za 59 minút, (verzia 1.0), Praha, 1989.

4. J. Chlebíková, AMS-TeX (verzia 2.0), Bratislava, 1992.

5. M. Spivak, The Joy of TeX, Amer. Math. Soc., 1986.

6. L. Lamport, LaTeX: A Document Preparation System, Addison-Wesley, Massachusetts, 1986.

7. L. Lamport, MakeIndex: An index processor for LaTeX, 17 February 1987.

8. J. Rybièka, LaTeX pro začátečníky, Konvoj, Brno, 1995.

9. H. Partl, E. Schlegl, I. Hyna, P. Sýkora, LaTeX – Stručný popis.

10. T. Oetiker, H. Partl, I. Hyna, E. Schlegl, M. Kocer, P. Sýkora, Ne příliš stručný úvod do systému LaTeX2e (neboli LaTeX2e v 73 minutách).

11. M. Goossens, F. Mittelbach, and A. Samarin, The LaTeX Companion, Addison-Wesley, Reading, Massachusetts, 1994. Kapitola 8 je volne prístupná v TeX archívoch (ch8.pdf). 4

12. G. Grätzer, Math into LaTeX, 3rd edition, Birkhäuser, Boston, 2000.

13. LaTeX2e for authors, LaTeX3 Project Team, 11 June 1997.

14. LaTeX2e font selection, LaTeX3 Project Team, 17 April 1998.

15. User’s guide for the amsmath package, Version 2.0, Amer. Math. Soc., 13 December 1999.

Pochopiť a naučiť sa pracovať s dátovými štruktúrami a algoritmami na nich. Analyzovať výpočtovú zložitosť na týchto algoritmoch.

Analýza algoritmov, Asymptotická notácia, Základné dátové štruktúry, Dátové typy a abstrakcia, Zásobníky a rady, Usporiadané a zotriedené zoznamy, Hašovanie a hašovacie tabuľky, Stromy, Vyhľadávacie stromy, Haldy, Množiny a partície, Dynamická alokácia priestoru, Triediace algoritmy, Grafy a grafové algoritmy

Osvojiť si spôsob práce nad väčším softwarovým dielom vo všetkých fázach jeho životného cyklu. Vedieť analyzovať a explicitne vyjadrovať požiadavky používateľa, presne úlohu vyšpecifikovať, navrhnúť riešenie a vyhodnotiť alternatívy. Efektívne a korektne navrhnuté riešenie implementovať a otestovať. Naučiť sa viesť podrobnú dokumentáciu a prezentovať výsledky práce písomne i verejným vystúpením. Naučiť sa spolupracovať vo vývojovom kolektíve, efektívne si deliť prácu a vymieňať nápady.

Samostatná alebo tímová práca na projekte pod vedením vedúceho projektu. Kredity sa udeľujú na doporučenie vedúceho projektu za písomné spracovanie špecifikácií zadania, analýzy a návrhu riešenia. Študent si môže zapísať jeden zo seminárov k tematickým celkom SGB, SLI, SNS alebo STI.

. Sommerville: Software engineering, Addison Wesley, 2000

S. McConnell: Rapid Development, Microsoft Press, 1996

L. Král, J. Demner: Softwarové inženýrství, UK Praha, 1988

S. Russev, M. Adamec, J. Brdjar: Softvérové inžinierstvo a systémy case, EU Bratislava, 1993

Študijná literatúra, viazaná na vybraný projekt (podľa doporučenia zadávateľa).

Osvojiť si spôsob práce nad väčším softwarovým dielom vo všetkých fázach jeho životného cyklu. Vedieť analyzovať a explicitne vyjadrovať požiadavky používateľa, presne úlohu vyšpecifikovať, navrhnúť riešenie a vyhodnotiť alternatívy. Efektívne a korektne navrhnuté riešenie implementovať a otestovať. Naučiť sa viesť podrobnú dokumentáciu a prezentovať výsledky práce písomne i verejným vystúpením. Naučiť sa spolupracovať vo vývojovom kolektíve, efektívne si deliť prácu a vymieňať nápady.

Pokračovanie práce na projekte realizáciou navrhnutého riešenia, spracovanie podrobnej dokumentácie a verejná prezentácia výsledkov.

I. Sommerville: Software engineering, Addison Wesley, 2000

S. McConnell: Rapid Development, Microsoft Press, 1996

L. Král, J. Demner: Softwarové inženýrství, UK Praha, 1988

S. Russev, M. Adamec, J. Brdjar: Softvérové inžinierstvo a systémy case, EU Bratislava, 1993

Študijná literatúra, viazaná na vybraný projekt (podľa doporučenia zadávateľa).

Znalosť základných matematických pojmov - množina, funkcia, relácia, ...

Pochopiť základné pojmy výrokovej a predikátovej logiky - výrok, výroková schéma, dokázateľnosť, splniteľnosť, term, formula.

Základné pojmy výrokovej a predikátovej logiky - výrok, výroková schéma, dokázateľnosť, splniteľnosť, term, formula. Korektnosť a úplnosť výrokového počtu.

Goldstern M., Judah H.: The Incompleteness Phenomenon, A New Course in Mathematical Logic, A K Peters, Wellesley, Massachusetts, 1995

Krajči S., Symbolická logika - elektronické učebné texty dostupné na adrese <http://cs.ics.upjs.sk/~krajci/skola/vyucba/ucebneTexty/logika/logika.pdf>

Znalosť základných pojmov výrokového a predikátového počtu

Pochopiť pojmy sémantiky predikátového počtu, substitúcie, formálneho systému predikátového počtu, korektnosti a úplnosti predikátového počtu.

Sémantika predikátového počtu, substitúcia, formálny systém predikátového počtu, korektnosť a úplnosť predikátového počtu.

Goldstern M., Judah H.: The Incompleteness Phenomenon, A New Course in Mathematical Logic, A K Peters, Wellesley, Massachusetts, 1995

Krajči S., Symbolická logika - elektronické učebné texty dostupné na adrese <http://cs.ics.upjs.sk/~krajci/skola/vyucba/ucebneTexty/logika/logika.pdf>

Základy softvérového inžinierstva.

Poukázať na uplatnenie informatiky v medicínskej doméne so zohľadnením špecifík pre tzv. safety-relevant domain.

Úvod do medicínskej informatiky. Clinical workflow. Healthcare services. SW projekty v medicínskej doméne. Vývojové metodiky v SW projektoch v medicínskej doméne. Agilné metódy v medicínskych projektoch, eXtreme programming, rýchle metódy versus robustné metódy. Vývojové nástroje, v SW projektoch v medicínskej doméne.

Firemná literatúra SIEMENS. Dostupná na internete: <http://www.siemens.com>

Firemná literatúra SYNGO. Dostupná na internete: <http://www.syngo.com>

Nadobudnúť základné poznatky o vektorových priestoroch, lineárnych zobrazeniach.

Oboznámiť študentov s analytickou geometriou lineárnych útvarov v afinnom a euklidovskom priestore.

Vektorové priestory, báza. Hodnosť matice, Frobeniova veta. Homogénne sústavy lineárnych rovníc. Lineárne zobrazenia. Podobné matice. Vlastné vektory a charakteristické hodnoty lineárnej transformácie.

Afinné priestory. Lineárna sústava súradníc. Podpriestory, ich parametrické a neparametrické vyjadrenie. Vzájomná poloha dvoch podpriestorov. Zmena lineárnej sústavy súradníc. Euklidovské priestory, skalárny súčin. Vzdialenosti euklidovských podpriestorov.

1. G. Birkhoff, S. MacLane: Prehľad modernej algebry, Alfa Bratislava, 1979

2. T.. Katriňák a kol.: Algebra a teoretická aritmetika 1, Alfa Bratislava, 1985

3. M.Sekanina, L.Boček, M.Kočandrle, J.Šedivý: Geometrie 1, SPN Praha 1986

4. M.Hejný, V.Zaťko, P.Kršňák: Geometria 1, SPN Bratislava 1985

5. J.Eliaš, J.Horváth, J.Kajan: Zbierka úloh z vyššej matematiky 1, Alfa Bratislava

Osvojiť si metódy a postupy pri riešení rozsiahlejších úloh. Preukázať schopnosť samostatne a tvorivo riešiť zložitejšie úlohy. Naučiť sa spracovať riešenie v písomnej forme - východiská riešenia, dôvody výberu metód a dokumentáciu riešenia.

Seminár nadväzuje na predmety Záverečná práca z informatiky L a na Základy sémantických modelov a Výpočtovú logiku a je zameraný na tvorbu sémantických modelov a ich porovnávanie a vyhodnocovanie.

Katuščák, D.: Ako písať vysokoškolské a kvalifikačné práce, 2. vydanie Bratislava, 1998

ISO 690: 1987 Documentation - Bibliographic references. Content, form and structure.

ISO 2145: 1978 Documentation - Numbering of divisions and subdivisions in written documents.

Odborná a vedecká literatúra týkajúca sa záverečnej práce podľa odporúčania vedúceho záverečnej práce.

Osvojiť si metódy a postupy pri riešení rozsiahlejších úloh. Preukázať schopnosť samostatne a tvorivo riešiť zložitejšie úlohy. Naučiť sa spracovať riešenie v písomnej forme - východiská riešenia, dôvody výberu metód a dokumentáciu riešenia.

Seminár nadväzuje na predmety Záverečná práca z informatiky L a na Základy sémantických modelov a Výpočtovú logiku a je zameraný na tvorbu sémantických modelov a ich porovnávanie a vyhodnocovanie.

Katuščák, D.: Ako písať vysokoškolské a kvalifikačné práce, 2. vydanie Bratislava, 1998

ISO 690: 1987 Documentation - Bibliographic references. Content, form and structure.

ISO 2145: 1978 Documentation - Numbering of divisions and subdivisions in written documents.

Odborná a vedecká literatúra týkajúca sa záverečnej práce podľa odporúčania vedúceho záverečnej práce.

Základný kurz programovania v jazyku Java. Databázové systémy. Počítačové siete.

Získať praktické zručnosti a skúsenosti z tvorby rozsiahlejších integrovaných projektov v programovacom jazyku Java.

Streamy. Java Beans. Použitie XML na serializáciu beanov. Použitie JDBC na perzistenciu beanov. Java Collections Framework.

Java 2 Platform Standard Edition 5.0 API Specification. Dostupné na internete: <http://java.sun.com/j2se/1.5.0/docs/api/>.

The Java Tutorials. Dostupné na internete: <http://java.sun.com/docs/books/tutorial/index.html>.

Získať základné poznatky z diferncálneho počtu funkcie jednej premennej.

Číselné množiny (ohraničenosť, maximum, minimum, supremum, infinum). Postupnosť čísel. Funkcie jednej reálnej premennej (základné pojmy a vlastnosti). Limita a spojitosť funkcie. Elementárne funkcie. Diferenciálny počet reálnej funkcie jednej reálnej premennej. Taylorov polynóm, Taylorova veta.

B.Mihalíková, J.Ohriska: Matematická analýza I, UPJS, Košice, 2000

V.Jarník: Diferenciální počet I,II, ČSAV, Praha, 1975

I.Kluvánek, L.Mišík, M.Švec: Matematika I., SNTL, Bratislava, 1968

MA/1a/07

Získať základné poznatky z integrálneho počtu funkcie jednej premennej a teórie radov.

Integrálny počet reálnej funkcie jednej reálnej premennej.Neurčitý integrál - vlastnosti, metódy výpočtu.Určitý integrál - vlastnosti, metódy výpočtu, veta o strednej hodnote.Nevlastný integrál - vlastnosti, metódy výpočtu. Diferenciálne rovnice- základné pojmy, lineárna diferenciálna rovnica.

Nekonečné číslené rady. Postupnosti a rady funkcií. Mocninový rad, jeho vlastnosti a rozvoj funkcie do mocninového radu, Taylorov rad.

V.Jarník: Diferenciální počet I,II, ČSAV, Praha, 1975

I.Kluvánek, L.Mišík, M.Švec: Matematika I., SNTL, Bratislava, 1968

Získať prehľad o histórii, klasifikácii a konštrukčných princípoch počítačov von Neumannovho typu. Ovládať binárne kódovanie celých a reálnych čísel, základné aritmetické a logické operácie s nimi. Vedieť ich realizovať pomocou kombinačných a sekvenčných logických obvodov. Vedieť spôsoby realizácie pamätí, aritmeticko-logickej jednotky a časového riadenia strojového cyklu. Pochopiť význam mikroinštrukčného riadenia, kompletnej a redukovanej sady inštrukcií. Vedieť popísať postup spracovania jednotlivých typov strojových inštrukcií. Rozumieť spôsobu komunikácie procesora so vstupno-výstupnými zariadeniami, mechanizmu prerušenia a priameho prístupu do pamäte. Pochopiť funkciu radiča a ovládačov pri tejto komunikácii a porozumieť mechanizmu, umožňujúcemu prenositeľnosť programov.

Počítače von Neumannovho typu, história, súčasné technologické hranice. Kódovanie celých a reálnych čísel, aritmetické operácie. Realizácia základných funkčných a riadiacich prvkov počítača pomocou kombinačných a sekvenčných logických obvodov. Pamäťová bunka, organizácia pamäťovej matice, typy pamätí. Architektúra procesora na úrovni digitálnej logiky, časová synchronizácia, strojový cyklus. Mikroinštrukcie, riadenie inštrukčného cyklu. Typy strojových inštrukcií, adresovacie režimy, postup pri ich spracovaní. Vstupno-výstupné brány, mechanizmus prerušenia, priamy prístup do pamäte. Funkcia radiča, ovládače a ich začlenenie do jadra operačného systému. Prenositeľnosť programov. Základy jazyka assembler.

A. S. Tanenbaum: Structured Computer Organization, 4.ed., Prentice-Hall, 1999.

W. Stallings: Computer Organization and Architecture, 4.ed., Prentice-Hall, 1996.

J. Blieberger, G. H. Schildt, U. Schmid, S. Stoeckler: Informatik, Springer-Verlag, 1990.

Prostredníctvom laboratórnych cvičení prakticky overiť a upevniť poznatky získané v predmete Fyzika pre informatikov a rozšíriť ich o prevodníky informácií medzi číslicovým systémom a analógovým prostredím.

1. Blok demoštračných experimentov (základné fyzikálne deje, elektromagnetizmus a optika, polovodičová a optoelektronická technika).

2. Blok praktických cvičení (operačné siete rozhrania, analógovo–číslicové a číslicovo–analógové prevodníky).

Týždeň 1 – 6: Blok demoštračných experimentov.

1. Základné fyzikálne deje.

2. Elektromagnetizmus a optika.

3. Polovodičová a optoelektronická technika.

Týždeň 7 – 13: Blok praktických cvičení v skupinách.

7.-12. Operačné zosilňovače a operačné siete rozhrania (OSR). (2 týždne).

7.-12. Analógovo–číslicové prevodníky (ACP). (2 týždne).

7.-12. Číslicovo–analógové prevodníky (CAP). (2 týždne).

13. Rezerva pre náhradné merania. Záverečné hodnotenie.

Petrovič P.: Fyzika pre informatikov I. - Vybrané kapitoly zo základov fyziky. Vydavateľstvo UPJŠ, Košice 2007.

Petrovič P.: Elektronika II - Vybrané obvody analógovej techniky. Skriptum PF. Edičné stredisko UPJŠ, Košice 2004.

Petrovič P.: Elektronika III - Vybrané obvody techniky rozhrania. Skriptum PF. Edičné stredisko UPJŠ, Košice 2005.

Cieľom je oboznámiť študentov so základnými matematickými pojmami využívanými v ďalšom štúdiu informatiky, ako sú množiny, relácie, funkcie, mohutnosti či číselné sústavy.

Opakovanie: dôkazové úlohy a úlohy z logiky zo stredoškolskej matematiky. Základné dátové štruktúry používané v informatike: množiny, zoznamy a slová a základné operácie na nich. Rôzne reprerzentácie relácií, funkcií, čísiel a stromov. Ohodnotené stromy ako modely výpočtových procesov. Formálne modely v informatike.

J. Kolář, O. Štěpánková, M. Chytil. Logika, algebry a grafy, SNTL Praha 1989

Angličtina pre fyzikov - Mgr. Marek Havrila

žiadna

Angličtina pre informatikov - Mgr. Marek Havrila

žiadna

Angličtina pre geografov - Mgr. Miroslava Čumová

žiadna

Cieľom je oboznámiť študentov so špecifickými znakmi odborného jazyka a osvojiť si základy odbornej terminológie podľa príslušných odborov.

Angličtina pre fyzikov - Mgr. Marek Havrila

cieľom je sprostredkovať odbornú terminológiu a osvojiť si jazykové zručnosti

na stredne pokročilej úrovni.

Angličtina pre informatikov - Mgr. Marek Havrila

cieľom je sprostredkovať odbornú terminológiu a osvojiť si jazykové zručnosti

na stredne pokročilej úrovni.

Jazyková výučba odborného anglického jazyka sa tematicky sústreďuje na ponúkané predmety prírodovedných disciplín. Primárnym cieľom je oboznámiť sa so špecifickými znakmi odborného jazyka a osvojiť si základy odbornej terminológie podľa príslušných odborov na úrovni umožňujúcej porozumenie vedeckých textov v dostupnej odbornej literatúre. Dôraz sa kladie na rozbor odborných textov, precvičovanie osvojených lexikálnych jednotiek a štruktúr, rozvíjanie schopnosti definovať, vysvetľovať, reprodukovať prečítané alebo vypočuté informácie, porovnávať, popisovať, argumentovať, sumarizovať a vyvodzovať závery. Súčasťou výuky je aj oboznámenie sa so základnými charakteristikami ústnej prezentácie odbornej problematiky a jazykovými prostriedkami vedenia odbornej diskusie

Anglický jazyk pre fyzikov - Mgr. Marek Havrila

OSNOVA SEMINÁROV A CVIČENÍ

1. týždeň

- Úvodná hodina

2. týždeň

- What Skills do I Need to Study Physics?

- modal verbs

3. týždeň

- Science, Branches of Science

- word formation

4. týždeň

- What Is Physics?

- plural in English, Greek and Latin plural

5. týždeň

- Major Laws of Physics, Newton’s Laws of Motion

- revision of tenses

6. týždeň

- TEST

7. týždeň

- Matter, States of Matter

- passive voice

8. týždeň

- Space

9. týždeň

- Nobel Prize for Physics, Famous Physicists

10. týždeň

- Formal Correspondence

11. týždeň

- EXAM

12. a 13. týždeň

- HOLIDAYS

14. týždeň

- RE-TAKE

Anglický jazyk pre informatikov - Mgr. Marek Havrila

OBSAH SEMINÁROV A CVIČENÍ

Week 1:

Introductory lesson

Week 2:

Windows Vista

Week 3:

Gone phishing

Week 4:

Security

Week 5:

REVISION

Week 6:

Credit exam I

Week 7:

Junk mail

Week 8:

Blogging

Week 9:

Voice over IP6

Week 10:

SME business centre

Week 11:

Revision

Week 12

Credit exam II

Gramatické javy:

Verb tenses, articles, prefix/suffix word-formation (adjectives, adverbs, verbs, nouns), compound

adjectives, comparisons, conditionals, reported speech, indirect questions, relative clauses,

passive

Slovná zásoba: information technology

Anglický jazyk pre geografov - Mgr. Miroslava Čumová

OBSAH SEMINÁROV A CVIČENÍ

Week 1:

Introduction to the course

Week 2:

Environment (articles)

Week 3:

Continents, countries, nationalities, languages (adjectives, comparative and superlative form)

Week 4:

Africa (verb tenses 1)

Week 5:

Europe (verb tenses 2)

Week 6:

Credit exam I

Week 7:

Americas

Week 8:

Australia (conditionals)

Week 9:

UK and US

Week 10:

Slovakia

Week 11:

Revision

Week 12

Credit exam II

Angličtina pre chemikov, 3.ročník - Mgr. Božena Velebná

OBSAH SEMINÁROV A CVIČENÍ

Week 1: Introductory Lesson

Week 2: Unit 1. Science, Branches of Science

Week 3: Unit 2. Chemistry

Week 4: Unit 3. Laboratory

Week 5: Unit 4. Periodic Table, Chemical Elements

Week 6: Unit 5. Matter, States of Matter

Week 7: MID TERM TEST

Week 8: Unit 6. Inorganic Chemistry

Week 9: Unit 7. Inorganic Nomenclature

Week 10: Unit 8. Organic Chemistry

Week 11: Unit 9. Organic Nomenclature

Week 12: Unit 10. Environmental Chemistry

_________________

Week 14: Final Test

Angličtina pre chemikov, 2.ročník - Mgr. Božena Velebná

OBSAH SEMINÁROV A CVIČENÍ

Week 1: Introductory Lesson

Week 2: Unit 1. Science, Branches of Science

Week 3: Unit 2. Chemistry

Week 4: Unit 3. Laboratory

Week 5: Unit 4. Periodic Table, Chemical Elements

Week 6: Unit 5. Matter, States of Matter

Week 7: MID TERM TEST

Week 8: Unit 6. Inorganic Chemistry

Week 9: Unit 7. Inorganic Nomenclature

Week 10: Unit 8. Organic Chemistry

Week 11: Unit 9. Organic Nomenclature

Week 12: Unit 10. Environmental Chemistry

Week 13: Revision

Week 14: Final Test

English for psychologists

Week 1 – Introduction to the subject: English for Specific Purposes – Psychology.

Introducing one another.

Week 2 – Psychology and Cancer

Week 3 – Exercise and wellness

Week 4 – Physical change in Adolescence

Week 5 – Cognitive and Social development in adolescence , teenage suicide

Week 6 - Adulthood

Week 7 – Revision lesson – TEST l

Week 8 – What are you afraid of ?

Week 9 – A better life ?

Week 10 –People and relationships

Week 11 –Prejudice, stereotypes

Week 12- Revision lesson – TEST 2

Week 13 – Assessment week

English for Mathematicians :

Week 1

Introduction to the course

Week 2

Arithmetic I. Tenses I.

Week 3

Arithmetic II. Tenses II.

Week 4

Arithmetic III. Tenses III

Week 5

Algebra . Modals I

Week 6

Revision

Week 7

Geometry I. Modals II

Week 8

Geometry II. Passive I

Week 9

Sets. Passive II

Week 10

Graphs I. Word formation I

Week 11

Graphs II. Word formation II

Week 12

Revision

Week 13

Mathematical logic

Week 14

EXAM

interné materiály Katedry anglistiky a amerikanistiky FF UPJŠ

Angličtina pre fyzikov - Mgr. Marek Havrila

interné materiály Katedry anglistiky a amerikanistiky FF UPJŠ, budu dodane na 1. hodine

Angličtina pre informatikov - Mgr. Marek Havrila

interné materiály Katedry anglistiky a amerikanistiky FF UPJŠ na webe www.upjs.sk:

FF UPJS > Organizačná štruktúra> Stránka KAA > English for Specific Puropses> ESP 2006/2007>Angličtina pre informatikov(Visokayová)

Angličtina pre geografov - Mgr. Miroslava Čumová

kópiu potrebných materiálov obdržia študenti od vyučujúceho týždeň vopred

Angličtina pre chemikov - Mr. Božena Velebná

Materiály na seminár dostupné na stránke http://kosice.upjs.sk/~ffweb/-> Katedra anglistiky a amerikanistiky –> Velebna –> angličtina pre chemikov

Každý študent je povinný mať na hodine svoje vlastné kópie materiálov.

žiadne

Cieľom predmetu je osvojenie si užitočných techník akademického písomného prejavu

Predmet sa zameriava na osvojenie si užitočných techník akademického písomného prejavu (rozdiely medzi formálnou a neformálnou korešpondenciou, robenie si poznámok z prednášky, napísať zhrnutia, závery, krátke eseje v rozsahu 400-450 slov, správne citovať, písať s využitím porovnania a kontrastu, štruktúr príčin a dôsledkov, napísať esej v rozsahu 1000-1500 slov obsahujúcu citácie a bibliografiu), akademického čítania (porozumieť akademickým textom, vyhľadávať detaily a parafrázovať časti akademických textov, rozvíjať rychločítanie), akademického hovorenia a počúvania (rozvoj kritického myslenia a rozoznávania medzi názorom a faktom, účasť v diskusiách, vedenie diskusie na rôzne témy so spolužiakmi a vyučujúcimi). Študenti sú vedení k samostatnosti pri štúdiu a dokumentácii vlastného študijného pokroku a sebahodnotenia.

interné materiály Katedry anglistiky a amerikanistiky FF UPJŠ

Zvýšiť úroveň komunikatívnych kompetencií v anglickom jazyku

Cieľom predmetu je poskytnúť študentom príležitosť na uplatnenie svojich teoretických vedomostí v praktických komunikačných situáciách. Výučba je zameraná na zdokonalenie jazykových vedomostí a zručností študenta, rečovej, pragmatickej a vecnej kompetencie. Študenti sa učia viesť komunikáciu, prijímať a formulovať výpovede, efektívne vyjadrovať svoje myšlienky ako aj orientovať sa v obsahovom pláne výpovede. Súčasťou výučby je precvičovanie rečových intencií kontaktných (napr. pozdravy, oslovenia, pozvanie, oslovenie), informatívnych (napr. získavanie a podávanie informácií, vyjadrenie priestorových a časových vzťahov), regulačných (napr. prosba, poďakovanie, zákaz, pochvala, súhlas, nesúhlas) a hodnotiacich (napr. vyjadrenie vlastného názoru, stanoviska, želania, emócií). Výsledkom budovania praktickej jazykovej kompetencie majú byť vedomosti a zručnosti zodpovedajúce požiadavkám a kritériám dokumentu Spoločný európsky referenčný rámec pre vyučovanie jazykov.

interné materiály Katedry anglistiky a amerikanistiky FF UPJŠ

Cieľom predmetu je identifikovať a odstrániť nafrekventovanejšie gramatické chyby v ústnom prejave ako aj v písomnom styku.

Predmet je zameraný na precvičovanie a upevňovanie vedomostí z morfológie a syntaxe angličtiny s cieľom ukázať súvislosti v gramatike ako celku. Predmet je určený študentom, ktorí často robia gramatické chyby v ústnom prejave ako aj v písomnom styku. Prostredníctvom rozboru textov, audio nahrávok, testov, gramatických cvičení, monologických a dialogických prejavov študentov zameraných na špecifické gramatické štruktúry sa individuálne aj skupinovo riešia problematické prípady. Dôraz sa kladie na vyvážený rozvoj gramatického myslenia v procese komunikácie, čo v konečnom dôsledku prispieva k rozvoju všetkých štyroch jazykových zručností.

interné materiály Katedry anglistiky a amerikanistiky FF UPJŠ

Cieľom predmetu je identifikovať a odstrániť najfrekventovanejšie gramatické chyby v ústnom prejave ako aj v písomnom styku.

Predmet je zameraný na precvičovanie a upevňovanie vedomostí z morfológie a syntaxe angličtiny s cieľom ukázať súvislosti v gramatike ako celku. Predmet je určený študentom, ktorí často robia gramatické chyby v ústnom prejave ako aj v písomnom styku. Prostredníctvom rozboru textov, audio nahrávok, testov, gramatických cvičení, monologických a dialogických prejavov študentov zameraných na špecifické gramatické štruktúry sa individuálne aj skupinovo riešia problematické prípady. Dôraz sa kladie na vyvážený rozvoj gramatického myslenia v procese komunikácie, čo v konečnom dôsledku prispieva k rozvoju všetkých štyroch jazykových zručností.

interné materály Katedry germanistiky FF UPJŠ

Cieľom predmetu je osvojenie si užitočných techník akademického písomného prejavu

Predmet sa zameriava na osvojenie si užitočných techník akademického písomného prejavu (rozdiely medzi formálnou a neformálnou korešpondenciou, robenie si poznámok z prednášky, napísať zhrnutia, závery, krátke eseje v rozsahu 400-450 slov, správne citovať, písať s využitím porovnania a kontrastu, štruktúr príčin a dôsledkov, napísať esej v rozsahu 1000-1500 slov obsahujúcu citácie a bibliografiu), akademického čítania (porozumieť akademickým textom, vyhľadávať detaily a parafrázovať časti akademických textov, rozvíjať rychločítanie), akademického hovorenia a počúvania (rozvoj kritického myslenia a rozoznávania medzi názorom a faktom, účasť v diskusiách, vedenie diskusie na rôzne témy so spolužiakmi a vyučujúcimi). Študenti sú vedení k samostatnosti pri štúdiu a dokumentácii vlastného študijného pokroku a sebahodnotenia.

interné materiály Katedry germanistiky FF UPJŠ

Cieľom seminára je zorientovať študentov v oblastiach informatiky, v ktorých môžu vypracovať záverečnú prácu. Na konci semestra má študent vybranú tému záverečnej práce.

Cieľom seminára je príprava študentov k obhajobám záverečných prác. Počas prezentácií aktuálneho stavu záverečnej práce študent získa prezentačné zručnosti, vylepší si svoju rétoriku a dostane spätnú väzbu ohľadom svojej témy a stavu vypracovanosti záverečnej práce. Na seminári bude študovaná problematika perspektívna pre prípravu záverečných prác.

Katuščák, D.: Ako písať vysokoškolské a kvalifikačné práce, 2. vydanie Bratislava, 1998

Základná literatúra z rôznych oblastí, ktorá pomôže študentovi zorientovať sa pri výbere záverečnej práce. Výber tejto literatúry závisí od ponúkaných tém záverečných prác.

Formulácia úlohy lineárneho programovania (LP) a celočíselného lineárneho programovania (CLP). Grafické riešenie úlohy LP. Simplexová metóda. Teória duality a ekonomická interpretácia duality. Duálna a revidovaná simplexová metóda. Analýza senzitivity a parametrické programovanie. Gomoryho algoritmy. Primárno-duálny algoritmus a jeho aplikácie pre úlohy CLP. Zložitosť úlohy LP a CLP.

1.http://umv.science.upjs.sk/cechlarova/LCO/LCO.htm - obsahuje podklady k PowerPoint prezentáciám na prednáškach a zadania úloh na cvičenia.

2.Butkovič: Matematické programovanie (Zbierka úloh), PF UPJŠ Košice 1986

3.Cechlárová,Semanišin: Lineárna optimalizácia, PF UPJŠ 1999

4.Plesník, Dupáčová, Vlach: Lineárne programovanie, Alfa, Bratislava 1990

5.Ch. Papadimitriou – K. Steiglitz, Combinatorial Optimization: Algorithms and Complexity (Prentice Hall 1982)

6.T.C. Hu, Integer Programming and Network Flows (Addison-Wesley, Reading 1970)

7.R.G. Parker – R.L. Rardin: Discrete Optimization (Academic Press Inc. London 1988)

Telesná výchova vo všetkých svojich formách pripravuje vysokoškolákov na ich ďalší profesionálny a osobný život. Aktívne pôsobí na zvyšovanie telesnej zdatnosti a výkonnosti. Špecializáciou vo výučbe TV sa posilňuje vzťah študenta k vybranej športovej činnosti a zdokonaľuje sa v nej.

Primárnou úlohou ÚTV je vzbudiť u študentov záujem o pohybovú aktivitu a poskytnúť dostatok možností pre rozvíjanie ich záujmov v športovej oblasti. V rámci výberového predmetu telesná výchova ponúka ÚTV pre študentov tieto športové aktivity: aerobik, basketbal, bedminton, florbal, nohejbal, plávanie, posilňovanie, sálový futbal, sebaobrana, stolný tenis, telesná výchova zdravotne oslabených, tenis a volejbal. Okrem týchto športov ponúkame pre záujemcov zimné a letné telovýchovné kurzy s atraktívnym programom, organizujeme rôzne súťaže či už na pôde fakulty, univerzity, či dokonca súťaže s celoslovenskou pôsobnosťou. Najlepší športovci – študenti reprezentujú univerzitu a fakulty na súťažiach akademikov na Slovensku i v zahraničí.

Telesná výchova vo všetkých svojich formách pripravuje vysokoškolákov na ich ďalší profesionálny a osobný život. Aktívne pôsobí na zvyšovanie telesnej zdatnosti a výkonnosti. Špecializáciou vo výučbe TV sa posilňuje vzťah študenta k vybranej športovej činnosti a zdokonaľuje sa v nej.

Primárnou úlohou ÚTV je vzbudiť u študentov záujem o pohybovú aktivitu a poskytnúť dostatok možností pre rozvíjanie ich záujmov v športovej oblasti. V rámci výberového predmetu telesná výchova ponúka ÚTV pre študentov tieto športové aktivity: aerobik, basketbal, bedminton, florbal, nohejbal, plávanie, posilňovanie, sálový futbal, sebaobrana, stolný tenis, telesná výchova zdravotne oslabených, tenis a volejbal. Okrem týchto športov ponúkame pre záujemcov zimné a letné telovýchovné kurzy s atraktívnym programom, organizujeme rôzne súťaže či už na pôde fakulty, univerzity, či dokonca súťaže s celoslovenskou pôsobnosťou. Najlepší športovci – študenti reprezentujú univerzitu a fakulty na súťažiach akademikov na Slovensku i v zahraničí.

Telesná výchova vo všetkých svojich formách pripravuje vysokoškolákov na ich ďalší profesionálny a osobný život. Aktívne pôsobí na zvyšovanie telesnej zdatnosti a výkonnosti. Špecializáciou vo výučbe TV sa posilňuje vzťah študenta k vybranej športovej činnosti a zdokonaľuje sa v nej.

Primárnou úlohou ÚTV je vzbudiť u študentov záujem o pohybovú aktivitu a poskytnúť dostatok možností pre rozvíjanie ich záujmov v športovej oblasti. V rámci výberového predmetu telesná výchova ponúka ÚTV pre študentov tieto športové aktivity: aerobik, basketbal, bedminton, florbal, nohejbal, plávanie, posilňovanie, sálový futbal, sebaobrana, stolný tenis, telesná výchova zdravotne oslabených, tenis a volejbal. Okrem týchto športov ponúkame pre záujemcov zimné a letné telovýchovné kurzy s atraktívnym programom, organizujeme rôzne súťaže či už na pôde fakulty, univerzity, či dokonca súťaže s celoslovenskou pôsobnosťou. Najlepší športovci – študenti reprezentujú univerzitu a fakulty na súťažiach akademikov na Slovensku i v zahraničí.

Telesná výchova vo všetkých svojich formách pripravuje vysokoškolákov na ich ďalší profesionálny a osobný život. Aktívne pôsobí na zvyšovanie telesnej zdatnosti a výkonnosti. Špecializáciou vo výučbe TV sa posilňuje vzťah študenta k vybranej športovej činnosti a zdokonaľuje sa v nej.

Primárnou úlohou ÚTV je vzbudiť u študentov záujem o pohybovú aktivitu a poskytnúť dostatok možností pre rozvíjanie ich záujmov v športovej oblasti. V rámci výberového predmetu telesná výchova ponúka ÚTV pre študentov tieto športové aktivity: aerobik, basketbal, bedminton, florbal, nohejbal, plávanie, posilňovanie, sálový futbal, sebaobrana, stolný tenis, telesná výchova zdravotne oslabených, tenis a volejbal. Okrem týchto športov ponúkame pre záujemcov zimné a letné telovýchovné kurzy s atraktívnym programom, organizujeme rôzne súťaže či už na pôde fakulty, univerzity, či dokonca súťaže s celoslovenskou pôsobnosťou. Najlepší športovci – študenti reprezentujú univerzitu a fakulty na súťažiach akademikov na Slovensku i v zahraničí.

Osvojiť si základné algoritmy symetrickej a asymetrickej kryptografie, vedieť ich implementovať a porozumieť možnostiam kryptoanalýzy. Vedieť aplikovať kryptografické systémy v autentizačných a identifikačných postupoch. Pochopiť metódy a bezpečnostné riziká generovania a distribúcie kryptografických kľúčov, vedieť posúdiť bezpečnosť komunikačných protokolov a implementovať a využívať certifikačné postupy.

Kryptografické modely, konvenčná symetrická kryptografia, metódy a možnosti kryptoanalýzy. Asymetrické kryptografické systémy, elementy teórie čísel, autentizácia, hašovacie funkcie a systémy elektronického podpisu. Generovanie a distribúcia kľúčov, autentizačné protokoly a ich zraniteľnosť. Certifikácia, bezpečné elektronické platobné systémy.

STINSON, D. R. Cryptography: Theory and Practie. CRC Press, 2005.

MAO, W. Modern Cryptography: Theory and Practice. Prentice Hall, 2003.

SCHNEIER, B. Applied Cryptography. Wiley, 1996.

MENEZES, A., OORSCHOT, P. van, VANSTONE, S. Handbook of Applied Cryptography. CRC Press, 1996.

Získať poznatky o činnosti, analýze a syntéze elektronických logických obvodoch, ako jednej zo základných hardvérových súčastí súčasnej výpočtovej techniky. Praktickou činnosťou na cvičeniach pri návrhu, konštrukcii a premeraní vlastností elektronických obvodov a interpretácii získaných výsledkov meraní overiť si a upevniť získané teoretické vedomosti.

1. Kombinačné logické obvody (základné pojmy a zákonitosti logickej algebry, elektronické modely operácií Booleovej algebry, hradlo NAND, číslicový multiplexor a demultiplexor, detektor chýb pre BCD kód, aritmetická sčítačka dvoch jednobitových binárnych operandov).

2. Číslicové pamäťové obvody (bistabilný preklápací obvod ako elementárna pamäťová bunka, synchrónne a asynchrónne preklápacie obvody).

3. Sekvenčné logické obvody (sekvenčné správanie, štruktúra a stabilita sekvenčných logických obvodov, základné sekvenčné funkcie a ich realizácia, aritmetická jednotka číslicového počítača).

Týždeň 1. - 8.: Spoločná výučba v prednáškovej sále.

1. Základy dvojhodnotovej logiky, fyzikálne modely logických funkcií.

2. Analýza a syntéza vybraných kombinačných logických obvodov I.

3. Analýza a syntéza vybraných kombinačných logických obvodov II.

4. Základné vlastnosti sekvenčných logických obvodov. Vypracovanie referátu z tematickej oblasti TO1 – kombinačné logické obvody.

5. Elektronické obvody pre pamätanie číslicovej informácie.

6. Analýza a syntéza vybraných sekvenčných logických obvodov I.

7. Analýza a syntéza vybraných sekvenčných logických obvodov II

8. Vypracovanie referátu z tematickej oblasti TO2 – sekvenčné logické obvody.

Týždeň 9. - 14.: Skupinová výučba v elektronickom praktiku.

9.-10. Úloha: Kombinačné logické obvody.

11.-12. Úloha: Číslicové pamäťové obvody.

13.-14. Úloha: Sekvenčné logické obvody. Vyhodnotenie predmetu.

Petrovič P.: Elektronika I – Vybrané obvody číslicovej techniky. Skriptum PF, Edičné stredisko UPJŠ, Košice 2003. 2. vydanie: Vydavateľstvo UPJŠ, Košice, 2006.

Zoznámiť študentov so základmi klasickej a modernej fyziky v rozsahu umožňujúcom:

a) pochopenie súčasného fyzikálneho obrazu sveta a

b) vybudovanie základov pre kvalifikovanú analýzu fyzikálnej podstaty činnosti vybraného hardvéru moderných informačných a zobrazovacích systémov.

1. Fyzika, rozdelenie. Prehľad základných fyzikálnych pojmov, poznatkov a metód skúmania prírody.

2. Termodynamika, entropia systémov. Vzťah fyzikálnej a informačnej entropie, fyzika informácie.

3. Teória elektromagnetického poľa, Maxwellove rovnice. Pole ako prostriedok transportu informácie.

4. Základy fyziky makrosveta, relativistická fyzika.

5. Základy fyziky mikrosveta, kvantová fyzika.

6. Základy fyziky mikrosveta, atómová a subjadrová fyzika.

7. Základy počítačovej fyziky. Monte Carlo simulácie transportnej úlohy.

8. Prostriedky diaľkového prenosu a spracovania zvukovej a obrazovej informácie.

9. Fyzika polovodičových a optoelektronických prvkov a pokročilé technológie ich výroby.

10. Náčrt fyzikálnych princípov činnosti niektorých zobrazovacích systémov.

Týždeň 1. - 8.: Výber základných fyzikálnych poznatkov a metód skúmania prírody.

1. Fyzika, rozdelenie, základné definície. Základy počítačovej fyziky.

2. Schéma metódy Monte Carlo, rozohranie diskrétnych a spojitých náhodných veličín.

3. Príklady počítačové simulácie transportu neutrónov tuhou látkou.

4. Elektromagnetizmus, základné experimenty a prejavy, Maxwellove rovnice.

5. Základné postuláty špeciálnej teórie relativity.

6. Relatívnosť súčasnosti a princíp kauzality. Ďalšie dôsledky teórie.

7. Všeobecná teória relativity. Fyzika makrosveta.

8. Základné experimenty vedúce k zrodu kvantovej fyziky. Fyzika mikrosveta.

9. Základné myšlienky kvantovej fyziky.

Týždeň 9. - 13.: Fyzikálna podstata činnosti vybraných prvkov informačných systémov.

10. Využitie elektromagnetických javov v súčastiach informačných systémov.

11. Spracovanie a diaľkový prenos zvukovej informácie.

12. Prostriedky prenosu a spracovania obrazovej informácie.

13. Fyzika polovodičových a optoelektronických prvkov využívaných v informačných systémoch.a pokročilé technológie ich výroby.

Týždeň 14.: Rezerva.

Burger I., Hudec L.: Elektronické prvky. Alfa, Bratislava 1989.

Garcia N., Damask A.C.: Physics for Computer Science Students. John Wiley&Sons, 1986, p.457.

Petrovič P.: Fyzika pre informatikov I. - Vybrané kapitoly zo základov fyziky. Vydavateľstvo UPJŠ, Košice 2007.

Petrovič P.: Fyzika I. - Vybrané kapitoly zo základov klasickej fyziky a počítačovej fyziky. Vydavateľstvo Equilibria, Košice 2009.

Petrovič P.: Fyzika II. - Vybrané kapitoly zo základov modernej fyziky a kvantových počítačov. Vydavateľstvo Equilibria, Košice 2009.

Oboznámiť sa so základnými právnikmi aspektmi tvorby softvéru a podnikania v informatike.

Autorské právo. Ochrana osobných informácií v informačných systémoch. Základy obchodného práva. Daňová sústava SR. Právne aspekty podnikania v informatike.

BABČÁK, V. Daňová správa a daňové konanie. Eurounion Bratislava, 1998.

SUCHOŽA, J. a kol., Obchodný zákonník a súvisiace predpisy. Eurounion Bratislava, 2007.

VOJČÍK, P., MIŠČÍKOVÁ, R. Základy práva duševného vlastníctva. TypoPress Košice, 2004.

Zbierka zákonov SR. Dostupná na internete: <http://www.zbierka.sk>.

Oboznámiť sa s moderným informačným systémom IBM AIX. Porozumieť problematike administrácie operačného systému. Pochopiť význam administrácie pre fungovanie moderných podnikov. Oboznámiť sa s technológiou Tivoli na správu infraštruktúry. Spoznať možnosti praktického využitia týchto technológií. Získať prehľad o možnostiach profesionálneho uplatnenia v praxi.

• Základy o AIX HW, história OS AIX, vysvetlenie pojmov.

• Základné príkazy.

• Základy konfigurácie ( LVM, sieť, tlač, filesystem ...).

• Analýza chýb a logov.

• Virtualizácia, lparing, dynamic lparing.

http://publib.boulder.ibm.com/infocenter/tivihelp/v1r1/index.jsp

Oboznámiť sa s moderným informačným systémom IBM AIX. Porozumieť problematike administrácie operačného systému. Pochopiť význam administrácie pre fungovanie moderných podnikov. Oboznámiť sa s technológiou Tivoli na správu infraštruktúry. Spoznať možnosti praktického využitia týchto technológií. Získať prehľad o možnostiach profesionálneho uplatnenia v praxi.

• História a základy technológie IBM Tivoli

• Správa systémov s využitím IBM Tivoli

• Praktické využívanie technológie IBM Tivoli v správe komplexnej ICT infraštruktúry

http://publib.boulder.ibm.com/infocenter/tivihelp/v1r1/index.jsp