D - PŘEDMĚTY - AKREDITAČNÍ SESTAVA

UNIVERZITA PALACKÉHO V OLOMOUCI

07.12.2011

D - PŘEDMĚTY - AKREDITAČNÍ SESTAVA 2011/12

Předměty studijního programu Fakulta:

PRF

Akad.rok:

2011

B1801-Informatika

Obor:

1801R030-Informatika pro vzdělávání - akreditace

Specializace:

00

Aprobace:

28

Typ studia:

Bakalářský

Forma studia:

Prezenční

Interní forma:

Není

Interní specifikace:

Není

Etapa:

1

Verze:

A

1 / 45


07.12.2011

2 / 45

PŘEDMĚTY - AKREDITAČNÍ SESTAVA 2011/12

KAG/MA1AA

Matematika 1 Mathematics 1

Statut:

Povinný

Počet kreditů:

5

Forma výuky:

Přednáška,Cvičení

Rozsah výuky:

2 HOD/TYD + 2 HOD/TYD

Ukončení:

Zkouška

Garant:

Mgr. Michal Botur, Ph.D.

Obsah: 1. Základy matematické logiky, důkazy matematických vět. 2. Relace, ekvivalence a uspořádání na množině, zobrazení množin, základní algebraické struktury. 3. Matice, operace s maticemi (součet, součin, násobení reálným číslem). 4. Pořadí, permutace, determinanty. 5. Vektorové prostory, podprostory, přímý součet podpostorů, báze vektorových prostorů. 6. Eukleidovské vektorové prostory, ortogonální a ortonormální báze, Schwarzova nerovnost, Schmidtova ortogonalizační metoda. 7. Hodnost matice, řešení soustav homogenních i nehomogenních lineárních rovnic, Frobeniova věta, Gaussova eliminační metoda, Cramerovo pravidlo. 8. Okruh čtvercových matic, metody výpočtu inverzní matice. Literatura: Bican L.: Lineární algebra a geometrie, Academia Praha 2004 Halmos P. R.: Linear Algebra Problem Book, Cambridge University Press 1995 Hort D., Rachůnek J.: Algebra I, UP Olomouc 2003 Jukl M.: Lineární algebra, Univerzita Palackého Olomouc 2006


07.12.2011

3 / 45


KMA/MA2AA

Matematika 2 Mathematics 2

Statut:

Povinný

Počet kreditů:

5

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:

Doc. Mgr. Karel Pastor, Ph.D.

Obsah: 1. Funkce jedné reálné proměnné - ohraničená, monotonní, prostá, složená funkce, inverzní funkce, přehled elementárních funkcí. 2. Posloupnost, limita posloupnosti - ohraničená posloupnost, monotonní posloupnost, konvergentní a divergentní posloupnost, limes superior, limes inferior. 3. Limita funkce - geometrický význam limity funkce, vlastní a nevlastní limita, limity zprava a zleva. 4. Spojitost funkce - spojitost funkce v bodě, body nespojitosti, spojitost na intervalu, po částech spojitá funkce, spojitost složené a inverzní funkce. 5. Derivace funkce - definice derivace funkce, geometrický význam derivace funkce, pravidla pro derivování funkcí, derivace složené funkce, derivace inverzní funkce, derivace elementárních funkcí. 6. Průběh funkce - diferenciál funkce, základní věty diferenciálního počtu, extrémy funkce, konvexní a konkávní křivky, asymptoty. 7. Neurčitý integrál - primitivní funkce, tabulka základních neurčitých integrálů, metoda per partes, integrace substitucí, integrace obecné racionální funkce. 8. Riemannův určitý integrál - zavedení pojmu, základní věta integrálního počtu, metoda per partes a substituční metoda pro určité integrály. 9. Geometrická interpretace určitého integrálu - určení obsahu rovinné plochy, určení délky oblouku křivky, určení objemu tělesa. Literatura: Adams R.A.: Calculus: a complete course, Addison-Wesley New York 1991 Finney R.L., Thomas G.B.: Calculus, Addison-Wesley New York 1992 Jarník, V.: Diferenciální počet I, Academia, Praha 1984 Jarník V.: Integrální počet I, libovolné vydání Míka S., Drábek P.: Matematická analýza I, ZČU Plzeň 2003 Míka S., Drábek P.: Matematická analýza II, Západočeská univerzita Plzeň 2003 Schwabik Š.,Šarmanová P.: Malý průvodce historií integrálu, MU Brno 2000 Škrášek J., Tichý J.: Aplikace matematiky I. a II., SNTL Praha 1990


07.12.2011

4 / 45


KMI/ALM1

Algoritmická matematika 1 Algorithm Design 1

Statut:

Povinný

Počet kreditů:

6

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:

Prof. RNDr. Radim Bělohlávek, Ph.D., DSc.

Obsah: Problémy a algoritmy. Příklady, základní aspekty. Efektivnost algoritmů. Složitost algoritmu, big-O notace, úvod do analýzy složitosti algoritmů. Základní datové struktury. Lineární datové struktury (seznam, zásobník, fronta). Stromové a nelineární datové struktury. Třídění, vymezení problému a přístupy. Metody vnitřního třídění. Třídění vkládáním (přímá metoda, třídění s ubývajícím krokem), třídění výměnou (bublinkové třídění a jeho varianty, třídění Quicksort), třídění výběrem (přímá metoda, třídění haldou). Implementace jednotlivých metod. Další metody třídění. Přihrádkové třídění. Číslicové třídění. Vnější třídění. Metoda slučování. Polyfázové třídění. Pořádkové statistiky. Literatura: CORMEN, T. H., LEISERSON C. E., RIVEST D. L., STEIN C.: Introduction to Algorithms, Second Edition, MIT Press 2001 KNUTH, D.: The Art of Computer Programming, Volume 3, Sorting and Searching, Second Edition, Addison-Wesley 2005 SEDGEWICK, R.: Algoritmy v C, části 1-4: základy, datové struktury, třídění, vyhledávání, Praha, Softpress 2003 WIRTH, N.: Algoritmy a štruktúry údajov, Bratislava, Alfa 1988


07.12.2011

5 / 45


KMI/ALM2


Statut:

Povinný

Počet kreditů:

5

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:


Obsah: Vyhledávání, vymezení problému a přístupy. Vyhledávání v lineárních datových strukturách. Sekvenční hledání v náhodně uspořádaném poli nebo v seznamu s náhodně uspořádanými prvky, binární vyhledávání v setříděném poli. Binární vyhledávací stromy. AVL-stromy, B-stromy, 2-3-4 stromy, červeno-černé stromy. Vyhledávání založené na transformaci klíče - hashování. Volba transformační funkce. Organizace tabulek a způsoby řešení konfliktů (otevřené adresování, zřetězení do seznamů). Grafy a základní algoritmy vyhledávání v grafech. Literatura: CORMEN, T. H., LEISERSON C. E., RIVEST D. L., STEIN C.: Introduction to Algorithms, Second Edition, MIT Press 2001 KNUTH, D.: The Art of Computer Programming, Volume 3, Sorting and Searching, Second Edition, Addison-Wesley 2005 SEDGEWICK, R.: Algoritmy v C, části 1-4: základy, datové struktury, třídění, vyhledávání, SoftPress 2003 WIRTH, N.: Algoritmy a štruktúry údajov, Bratislava, Alfa 1988


07.12.2011

6 / 45


KMI/FJ

Formální jazyky a automaty Formal Languages and Automata

Statut:

Povinný

Počet kreditů:

6

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:

Doc. RNDr. Vilém Vychodil, Ph.D.

Obsah: Základní pojmy: formální jazyky, hierarchie gramatik a jazyků. Konečné automaty: konečné deterministické a nedeterministické automaty, jejich rozšíření, varianty a aplikace. Regulární gramatiky a jazyky: vztah ke konečným automatům, uzávěrové vlastnosti regulárních jazyků, kritéria regularity, minimalizace konečných automatů. Regulární výrazy a jejich aplikace: standardní regulární výrazy, rozšířené regulární výrazy, aplikace pro vyhledávání v textu, vybrané problémy. Bezkontextové jazyky: popis a vlastnosti, derivační stromy, vlastnosti bezkontextových jazyků a vztah k regulárním jazykům. Zásobníkové automaty: varianty, vztah k bezkontextovým jazykům, syntaktická analýza shora-dolů a zdola-nahoru, deterministické zásobníkové automaty. Literatura: Hopcroft J. E., Motwani R., Ullman J. D.: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Boston 2006 Kozen, D. C.: Automata and Computability, Springer, New York 1997 Kozen D. C.: Automata and Computability, Springer 1997 LAWSON M. V.: Finite Automata, Chapman & Hall/CRC 2003 Melichar, B.: Jazyky a překlady. Skriptum, přepracované 2. vydání, Vydavatelství ČVUT, Praha 2003 Simovici D. A., Tenney R. L.: Theory of Formal Languages with ApplicationsM. Simon, World Scientific, Singapore 1999 Sipser, M.: Introduction to the Theory of Computation, PWS Publishing Company, Boston, MA 1997 Sipser M.: Introduction to the Theory of Computation, PWS Publishing Company, Boston, MA 1997


07.12.2011

7 / 45


KMI/PAPR1

Paradigmata programování 1 Programming Paradigms 1

Statut:

Povinný

Počet kreditů:

6

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:


Obsah: Tento kurs je zaměřen na funkcionální programování a související problematiky. Zejména se jedná o problémy vyhodnocování výrazů, aplikace procedur a hierarchických dat konstruovaných z párů. Jako modelovací jazyk je během kursu používán jazyk Scheme. V závěru kursu jsou studenti seznámeni s principy konstrukce interpretu jednoduchého funkcionálního jazyka. Po absolvování kursu by studenti měli získat nadhled nad funkcionálním programováním a měli by být schopni rychle se sžít s libovolným funkcionálním programovacím jazykem. 1. Programovací jazyky, jejich syntaxe a sémantika. Funkcionální paradigma, symbolické výrazy, abstraktní interpret jazyka Scheme, elementy jazyka, procedury, speciální formy, vyhodnocování. 2. Vytváření abstrakcí pomocí procedur. Lambda výrazy. Procedury. Aplikace procedur, prostředí, lexikální a dynamický rozsah platnosti. Procedury vyšších řádů. Procedury versus matematické funkce. Kompozice procedur. Abstrakční bariéry. Interní definice. Procedury jako parametry a výsledky vyhodnocení. 3. Hierarchická data. Páry, konstrukce páru. Seznamy. Kvotování, manipulace se seznamy, mapování, spojování, generování seznamů. Explicitní aplikace procedur a vyhodnocení symbolických výrazů, filtrace a řešení problémů pomoci nich. Pohled na program jako na data. Pohled na data jako na program. 4. Indukce a rekurze. Princip indukce. Obecný princip rekurze. Limitní podmínka rekurze, předpis rekurze. Indukce a správnost rekurzivních procedur. ykombinátor. Výpočetní procesy generované rekurzivními procedurami. Výpočetní procesy, typy rekurzivních procesů. Fáze navíjení a odvíjení. Efektivita výpočetních procesů generovaných rekurzivními procedurami. 5. Pokročilá práce se seznamy. Vyhodnocování postfixových výrazů, hloubková akumulace, procházení (vnořených) seznamů do hloubky a do šířky. Reprezentace množin a relací pomocí seznamů a procedur vyšších řádů. Kombinatorika na seznamech, symbolická manipulace s výrazy, algoritmy vnějšího třídění. 6. Konstrukce interpretu ryze funkcionální podmnožiny jazyka Scheme. Typový systém, generické procedury, koerce. Datové reprezentace elementů jazyka. Implementace vyhodnocovacího procesu. Vytvoření počátečního prostředí. Literatura: G. Springer, D. P. Friedman: Scheme and the Art of Programming, Cambridge, Massachusetts 1994 H. Abelson, G. J. Sussman: Structure and Implemantation of Computer Programs, Cambridge, Massachusetts 1996 Konečný, Vychodil: Paradigmata programování 1, díl A. Konečný, Vychodil: Paradigmata programování 1, díl B. M. Felleisen, R. B. Findler, M. Flatt, S. Krishnamurthi: How to Design Programs: An Introduction to Computing and Programming, Cambridge, Massachusetts 2001


07.12.2011

8 / 45


R. Bird, P. Wadler: Introduction to Functional Programming, Englewood Cliffs, New Jersey 1988 R. K. Dybvig: The Scheme Programming Language, Cambridge, Massachusetts 2003 V. S. Manis, J. J. Little: The Schematics of Computation, Englewood Cliffs, New Jersey 1995


07.12.2011


KMI/PAPR2

Paradigmata programování 2 Programming Paradigms 2

Statut:

Povinný

Počet kreditů:

5

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:

Mgr. Jan Konečný, Ph.D.

Obsah: Kurs je zaměřen na pokročilé partie z funkcionálního programování (líné vyhodnocování, makra) a dále na problematiku imperativního programování (stav, změna stavu, vedlejší efekt) a nepreemptivního paralelního programování (kontext a jeho přepnutí). V kursu jsou studenti dále seznámeni s pokročilými konstrukcemi, kterými jsou například nelokální skoky (aktuální pokračování), je vysvětlen jejich princip a implementace. V závěru kursu jsou studenti seznámeni s principy konstrukce plnohodnotného interpretu jazyka Scheme. Po absolvování kursu by studenti měli získat přehled o programování různými styly, které se v současnosti označuje jako multiparadigmové programování. Některé ze stylů programování jsou dále rozvíjeny v navazujících kursech. 1. Imperativní rysy při programování. Stav, vedlejší efekt, legitimní vedlejší efekt. Příkaz přiřazení. Metody předávání argumentů procedurám. Procedury udržující si vnitřní stav. Mutace. Mutovatelné elementy, mutovatelné páry. Konstrukce mutovatelného páru pomocí procedur vyšších řádů. Destruktivní práce se seznamy. Cyklické seznamy. Další mutovatelné datové typy: boxy, vektory, struktury. 2. Makra. Dva pohledy na makra: makra jako rozšíření syntaxe; makra jako uživatelsky definovatelné speciální formy. Expanze maker. Makra jako šablony na přepisování kódu. Vytváření forem let, let*, letrec pomocí maker. Kolize jmen symbolů (variable capture). Generované symboly. Vytváření maker realizující cykly a podmíněné výrazy. Hygienická makra. 3. Modifikace vyhodnocovacího procesu. Líné vyhodnocování. Přísliby a jejich vytvoření pomocí maker a procedur vyšších řádů. Interpret s líným vyhodnocováním. Vyhodnocovací proces s vyrovnávací pamětí. Ovlivnění výpočtové efektivity. Proudy (streamy). Rozdíly mezi proudy a seznamy. Vytváření proudů pomocí příslibů. Nekonečné proudy. Rekurzivní procedury bez limitní podmínky. Implicitní proudy. Využití proudů při reprezentaci potenciálně nekonečných množin. 4. Aktuální pokračování a únikové funkce. Průběh výpočtu, stav výpočtu a jeho pokračování. Práce s časem výpočtu jako s daty. Únikové funkce. Modelové příklady použití únikových funkcí: nelokální skoky, okamžité opuštění rekurze, návrat z podprogramu. Modelování syntaxe a sémantiky programovacích jazyků. Rozšiřování interpretru o další konstrukce. Cykly obsahující break, continue a redo. Metody ošetřování výjimek. 5. Zásobníkový model vyhodnocování programů a paralelismus. Metody implementace aktuálního pokračování. Zásobníkový model vyhodnocování elementů. Optimalizace na koncovou rekurzi. Únikové funkce jako manipulátory se zásobníky. Nedeterminismus a nepreemptivní paralelismus. Operátor amb. Simulace přepnutí kontextu procedur pomocí únikových funkcí. Nepreemptivní paralelní systém.

9 / 45


07.12.2011

10 / 45


Literatura: COMMON LISP HYPERSPEC Felleisen M., Findler R. B., Flatt M., Krishnamurthi S.: How To Design Programs: An Introduction to Computing and Programming, The MIT Press, Cambridge, Massachusetts 2001 GRAHAM P.: ANSI Common Lisp, Prentice Hall 1996 Konečný, Vychodil: Paradigmata programování 2, díl A., Olomouc 2008 Konečný, Vychodil: Paradigmata programování 2, díl B., Olomouc 2008 Springer G., Friedman D.P.: Scheme and the Art of Programming, The MIT Press, Cambridge, Massachusetts 1994


07.12.2011

11 / 45


KMI/UINT

Úvod do informačních technologií Introduction to Information Technologies

Statut:

Povinný

Počet kreditů:

5

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:

Doc. Ing. Lenka Carr-Motyčková, CSc.

Obsah: Předmět seznamuje studenty se základními principy a technologiemi počítačů, operačních, databázových a informačních systémů a počítačových sítí. Závěr předmětu je věnován základním uživatelským a kancelářským aplikacím. Probírané technologie a aplikace jsou prakticky ukazovány a zkoušeny na cvičeních. Co je počítač, architektura počítače (von Neumannova) a princip jeho činnosti.

Číselné soustavy, logické obvody. Princip činnosti mikroprocesoru, paměti a dalších součástí a periferií počítače.

Operační systém a jeho funkce při ovládání počítače, z uživatelského i administrátorského pohledu.

Struktura a funkce operačního systému (správa procesů, paměti a disku). Počítačové sítě, technologie a principy fungování. Celosvětová síť Internet a její služby. Základy databázových systémů a zpracování dat. Úvod do informačních systémů a webových technologií. Základní uživatelské aplikace (síť, multimédia, příslušenství). Kancelářské aplikace, tvorba dokumentů, tabulek a prezentací. Literatura: Kállay F., Peniak P.: Počítačové sítě LAN/MAN/WAN a jejich aplikace (2. vydání), Grada 2003 Kosek J.: HTML, tvorba dokonalých WWW stránek, podrobný průvodce, Grada Publishing 1998 Lapáček J.: Počítač v kanceláři, Computer press 2006 Messmer H.-P., Dembowski K.: Velká kniha počítačového hardware, CP Books 2005 Oppel A.: Databáze bez předchozích znalostí, Computer Press 2006 Silberschatz A., Galvin P.B., Gagne G.: Operating System Concepts, Seventh Edition. John Wiley & sons 2005


07.12.2011

12 / 45


KMI/VS

Vyčíslitelnost a složitost Computability and Complexity

Statut:

Povinný

Počet kreditů:

6

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:


Obsah: Úvod do vyčíslitelnosti: Definice Turingova stroje (TS), formalizace pojmu výpočet (konfigurace, apod.), jazyk přijímaný TS, jazyk rozhodovaný TS, turingovsky vyčíslovaná funkce, Church-Turingova teze. Varianty TS: TS s oboustranně nekonečnou páskou, vícepáskový TS a jejich ekvivalence se základní verzí TS. Univerzální TS: Definice, popis činnosti. Jazyky a problémy: Částečně rekurzivní a rekurzivní jazyky, rozhodovací problémy, převoditelnost rozhodovacích problémů na jazyky, existence jazyků, které nejsou částečně rekurzivní. Jazyky, které nejsou rekurzivní, a problémy, které nejsou řešitelné: Problém zastavení TS, Postův problém přiřazení a jeho aplikace. Vztah rekurzivních a částečně rekurzivních jazyků k jazykům Chomského hierarchie. Další výsledky: Riceova věta, věta o rekurzi a jejich aplikace. Další modely výpočtů: Postovy stroje, nedeterministické TS, pravděpodobnostní TS. Složitost: složitost algoritmu a problému. Základní třídy složitostí: Třída P, třída NP, NP-úplné problémy, vybrané NPúplné problémy, dokazování NP-úplnosti. Další třídy složitostí: Třída PSPACE, třída NPSPACE, PSPACE-úplné problémy. Užití obtížně řešitelných problémů: Kryptografie, metoda RSA. Literatura: Hopcroft J. E., Motwani R., Ullmann J. D.: Introduction to Automata Theory, Languages, and Computation, Pearson Education 2003 Koubková, A., Pavelka, J.: Úvod do teoretické informatiky, Matfyzpress, Praha 1998 Kozen D. C.: Automata and Computability, Springer 1997 Kučera, L.: Kombinatorické algoritmy, SNTL, Praha 1989 Lewis, H. R., Papadimitriou, C. H.: Elements of the Theory of Computation, Prentice Hall, Upper Saddle River (NJ) 1998 Papadimitriou, C. H.: Computational Complexity, Addison-Wesley, Reading (MA) 1995 Sipser M.: Introduction to the Theory of Computation, PWS Publishing Company, Boston, MA 1997


07.12.2011

13 / 45


KMI/ZP1

Základy programování 1 Introduction to Programming 1

Statut:

Povinný

Počet kreditů:

3

Forma výuky:

Seminář

Rozsah výuky:

2 HOD/TYD

Ukončení:

Zápočet

Garant:

Mgr. Tomáš Kühr Mgr. Jan Outrata, Ph.D.

Obsah: Předmět je úvodním v sérii čtyř kursů Úvodu do programování. Cílem předmětu je seznámit studenty se základy procedurálního programování a poskytnout jim tak základ k další programátorské praxi. Použitým procedurálním jazykem je jazyk C a obsahem předmětu je výuka jazyka C, který je nejen stále hojně používán v praxi, ale je také vzorem většiny současně komerčně používaných programovacích jazyků. Jazyk C je probírán s důrazem na standard jazyka a přenositelnost vytvořených programů, výuka je vedena dle ANSI normy jazyka nezávisle na vývojovém prostředí nebo použitém překladači. Ve cvičeních je prezentována část teorie (syntaxe a sémantika jazyka), která je pak prakticky využívána na příkladech a jednoduchých programátorských úlohách řešených studenty samostatně. Řešené příklady a úlohy jsou voleny ve vztahu k ostatním předmětům vyučovaným v oboru tak, aby studenti prakticky využívali teoretické znalosti nabyté v jiných předmětech. Nepředpokládá se znalost nějakého (jiného ani tohoto) programovacího jazyka, pouze základní schopnosti algoritmizace při řešení úloh. Probírané učivo: - Struktura zdrojového textu programu. - Datové typy, proměnné, konstanty. - Operátory. - Složené příkazy, podmínky, cykly. - Pole, strukturovaný a výčtový typ. - Ukazatele, práce s pamětí. - Funkce. - Základní vstup a výstup. Literatura: Brian W. Kernighan, Dennis M. Ritchie: Programovací jazyk C, Computer Press 2008 Eric S. Roberts: Programming Abstractions in C, Addison Wesley 1997 Eric S. Roberts: The Art and Science of C, Addison Wesley 1994 Herout P.: Učebnice jazyka C, Kopp Herout P.: Učebnice jazyka C, 2. díl, Kopp Jeri R. Hanly, Elliot B. Koffman: Problem Solving and Program Design in C, Addison Wesley 2006 Reek Kenneth: Pointers on C, Addison Wesley 1997 Robert Sedgewick: Algorithms in C, Addison-Wesley Professional 2001 Standard:: ISO/IEC 9899:1999 (ISO/IEC 9899/Cor1:2001, ISO/IEC 9899/Cor2:2004)


07.12.2011

14 / 45


KMI/ZP2

Základy programování 2 Introduction to Programming 2

Statut:

Povinný

Počet kreditů:

3

Forma výuky:

Seminář

Rozsah výuky:

2 HOD/TYD

Ukončení:

Zápočet

Garant:

Mgr. Tomáš Kühr Mgr. Jan Outrata, Ph.D.

Obsah: Předmět navazuje na obsah kursu Základy programování 1. Cílem předmětu je seznámit studenty s pokročilými partiemi procedurálního programování a poskytnout jim tak základ k další programátorské praxi. Použitým procedurálním jazykem je jazyk C a obsahem předmětu je výuka jazyka C, který je nejen stále hojně používán v praxi, ale je také vzorem většiny současně komerčně používaných programovacích jazyků. Jazyk C je probírán s důrazem na standard jazyka a přenositelnost vytvořených programů, výuka je vedena dle ANSI normy jazyka nezávisle na vývojovém prostředí nebo použitém překladači. Ve cvičeních je prezentována část teorie (syntaxe a sémantika jazyka), která je pak prakticky využívána na příkladech a jednoduchých programátorských úlohách řešených studenty samostatně. Řešené příklady a úlohy jsou voleny ve vztahu k ostatním předmětům vyučovaným v oboru tak, aby studenti prakticky využívali teoretické znalosti nabyté v jiných předmětech. Probírané učivo: - Funkce (pokračování). - Vícerozměrná pole. - Preprocesor. - Koncepce programu. - Práce se soubory. - Standardní funkce. Literatura: Brian W. Kernighan, Dennis M. Ritchie: Programovací jazyk C, Computer Press 2008 Eric S. Roberts: Programming Abstractions in C, Addison Wesley 1997 Eric S. Roberts: The Art and Science of C, Addison Wesley 1994 Herout P.: Učebnice jazyka C, Kopp Herout P.: Učebnice jazyka C, 2. díl, Kopp Jeri R. Hanly, Elliot B. Koffman: Problem Solving and Program Design in C, Addison Wesley 2006 Reek Kenneth: Pointers on C, Addison Wesley 1997 Robert Sedgewick: Algorithms in C, Addison-Wesley Professional 2001 Standard:: ISO/IEC 9899:1999 (ISO/IEC 9899/Cor1:2001, ISO/IEC 9899/Cor2:2004)


07.12.2011


KMI/BPBV

Bakalářská práce Bachelor´s Thesis Work

Statut:

Povinně volitelný

Počet kreditů:

13

Forma výuky:

Seminář

Rozsah výuky:

20 HOD/SEM

Ukončení:

Zápočet

Garant:

Doc. RNDr. Michal Krupka, Ph.D.

Obsah: Probíranou látku určuje vedoucí bakalářské práce podle tématu práce. Literatura:

15 / 45


07.12.2011

16 / 45


KMI/SZZ1

Matematické metody a teoretické základy informatiky Mathematical Methods and Theoretical Fundamentals of Computer S

Statut:

Povinný

Počet kreditů:

0

Forma výuky: Rozsah výuky: Ukončení:

Státní závěrečná zkouška

Garant:


Obsah: Základní pojmy teorie množin - množiny, kartézský součin. Relace mezi množinami a na množině, jejich vlastnosti. Zobrazení, uspořádané množiny, ekvivalence, rozklady. Algebraické struktury - grupoidy, pologrupy, grupy, podgrupy, okruhy, obory integrity, tělesa; jejich podstruktury. Vektorový prostor nad číselným tělesem - lineární kombinace a závislost vektorů, báze a dimenze vektorového prostoru, souřadnice vektoru. Matice - jejich definice, pravidla pro operace s maticemi. Determinant matice a jeho výpočet. Inverzní matice a její výpočet, hodnost matice. Soustavy lineárních rovnic - homogenní, nehomogenní; podmínky řešitelnosti (Frobenius). Cramerovo pravidlo, Gaussova eliminační metoda. Elementární funkce, jejich vlastnosti a funkce k nim inverzní. Funkce jedné reálné proměnné a jejich vlastnosti (ohraničenost, monotonnost); funkce prostá, složená a inverzní. Posloupnosti, jejich vlastnosti; limita posloupnosti a metody jejího výpočtu. Limita funkce - definice, geometrická interpretace, metody jejich výpočtu. Spojitost funkce - v bodě, na intervalu, po částech; body nespojitosti. Derivace funkce definice, geometrická a fyzikální interpretace, metody výpočtu. Vyšší derivace, diferenciál funkce. Vyšetření průběhu funkce - extrémy, konvexnost, konkávnost, asymptoty grafu. Základní věty diferenciálního počtu. Postup při vyšetření průběhu funkce. Neurčitý integrál (primitivní funkce) - definice, vlastnosti, základní tabulka integrálů. Metody výpočtu - per partes, substituční metoda; racionální a jiné funkce. Riemannův určitý integrál - definice, geometrická interpretace, výpočet s použitím primitivní funkce. Metody substituční a per partes pro výpočet určitého integrálu. Geometrické a jiné aplikace určitého integrálu - výpočet obsahů ploch, délky křivek, velikosti objemu a povrchu těles. Formální jazyky a jejich hierarchie. Konečné automaty deterministické a nedeterministické. Regulární jazyky a konečné deterministické automaty. Pumping lemma pro regulární jazyky. Regulární výrazy definice a aplikace. Regulární výrazy a automaty s epsilon-přechody. Minimalizace konečného deterministického automatu. Bezkontextové jazyky a jejich vlastnosti. Normální formy bezkontextových gramatik. Zásobníkové automaty a bezkontextové jazyky. Syntaktická analýza shora-dolů. Deterministické zásobníkové automaty. Turingův stroj (TS), jazyk přijímaný TS, jazyk rozhodovaný TS. Church-Turingova teze, varianty TS. Částečně rekurzivní a rekurzivní jazyky, jazyky a rozhodovací problémy. Vztah rekurzivních a částečně rekurzivních jazyků. Nedeterministické TS, pravděpodobnostní TS, Postovy stroje. Složitost algoritmu (časová a paměťová). Třída P, třída NP, důvody jejich zavedení, jejich vzájemný vztah. NP-úplné problémy. Vybrané NP-úplné problémy, dokazovaní NP-úplnosti. Třída PSPACE, její vztah k třídám P a NP, PSPACE-úplné problémy. Literatura:


07.12.2011


KMI/SZZ2

Algoritmizace, programování, informační technologie Algorithm Development, Programming, Information Technology

Statut:

Povinný

Počet kreditů:

0

Forma výuky: Rozsah výuky: Ukončení:

Státní závěrečná zkouška

Garant:


Obsah: Lineární datové struktury: seznam, zásobník, fronta. Úloha třídění a rozdělení třídících algoritmů. Metody vnitřního třídění: třídění vkládáním (insert sort a Shell sort). Metody vnitřního třídění: třídění výměnou (bubble sort a quick sort). Metody vnitřního třídění: třídění výběrem (select sort a heap sort). Specifické metody třídění: přihrádkové třídění, číslicové třídění. Vnější třídění: princip a metoda slučování (merge sort). Vyhledávání a rozdělení vyhledávacích algoritmů. Vyhledávání v lineárních datových strukturách. Binární vyhledávací stromy: AVL-stromy. B-stromy a jejich struktura: operace vyhledání, vložení a zrušení prvku. Hashování: organizace tabulek a způsoby řešení konfliktů. Programovací jazyky, jejich syntaxe a sémantika. Přehled paradigmat: funkcionální, procedurální, logické, objektové, paralelní. Symbolické výrazy a vyhodnocovací proces jazyka Scheme. Vytváření abstrakcí pomocí procedur. Procedury vyšších řádů: aplikace a mapování. Seznamy a hierarchická data. Indukce a rekurze: princip a příklady. Typy rekurzivních výpočetních procesů. Imperativní rysy: stav, vedlejší efekt, mutace. Makra: typy maker, příklady použití. Líné vyhodnocování, přísliby a proudy. Aktuální pokračování a únikové funkce. Zásobníkový model vyhodnocování programů. Literatura:

17 / 45


07.12.2011

18 / 45


KMI/DATA1

Databázové systémy 1 Database Systems

Statut:

Povinně volitelný

Počet kreditů:

5

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:


Obsah: Úvod do DBS. Pojmy, data a jejich abstraktní modely. Architektura DBS. Modely DBS. Relační model DBS, jeho vlastnosti, relační struktura dat, jazyk relačního DBS. Úvod do jazyka SQL. SQL, vytvoření a naplnění tabulky, dotazy (s podmínkami, sloupcové funkce). Agregace, vnořené dotazy, manipulace s daty. Referenční integrita, integritní omezení, primární a sekundární klíč. Spojení tabulek. Cizí klíč. Modifikace struktury tabulky. Množinové operace, kvantifikátory. Analýza a návrh relační DB. Konceptuální modelování. ER model. Transformace do relačního modelu. Konstrukce složitějších dotazů. Další prvky relačních DBS a SQL. Tranzitivní uzávěr tabulky. Pohledy, triggery a indexy. Spolupráce SQL s jinými jazyky. Základy administrace relačních DBS. Transakční zpracování dat. Základní principy transakčního zpracování. Ochrana proti porušení konzistence dat. Paralelní zpracování transakcí. Paralelní zpracování transakcí, uzamykací protokoly, uváznutí (deadlock), dvoufázový protokol, časová razítka. Teoretické základy relačních DBS. Formalizace tabulky, relační algebra, relační logika a kalkuly, dotazovací systémy. Funkční závislosti, Armstrongovy axiomy, uzávěr, pokrytí. Normální formy. První, druhá a třetí normální forma. Boyce-Coddova normální forma. Normalizace dekompozicí relačních schémat. Literatura: Connolly Thomas, Begg Carolyn: Database Systems: A Practical Approach to Design, Implementation and Management, Addison Wesley 2002


07.12.2011

19 / 45


Elmasri R., Navathe S. B.: Fundamentals of Database Systems, 3rd edition, Addison Wesley 2000 Johnson James L.: Database Models, Languages, Design, Oxford University Press 1997 Maier R.: The Theory of Relational Databases, Computer Science Press 1983 Pokorný J.: Databázové systémy a jejich použití v informačních systémech, Academia 1992 Rob. P., Coronel C.: Database Systems. Design, Implementation & Management, 6th edition, Thomson Course Technology 2004 Simovici D. A., Tenney R. L.: Relational Database Systems, Academic Press 1995


07.12.2011

20 / 45


KMI/DATA2

Databázové systémy 2 Database systems 2

Statut:

Povinně volitelný

Počet kreditů:

5

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:


Obsah: Formální model pro relační databázové systémy: domény, atributy, relační schémata a relace. Operace s relacemi; booleovské a speciální operace. Relační dotazovací jazyky: relační algebra, relační kalkul, doménový kalkul; jejich vzájemný vztah a relační úplnost. Logické dotazovací jazyky: DATALOG; predikáty, pravidla a dotazy; vztah relační algebry a DATALOGu; rekurzivní pravidla a jejich sémantika, pevné body Závislosti v datech: funkční závislosti, vztah k predikátové logice, sémantické vyplývání, Armstrongovy axiomy a inferenční úplnost. Pokročilé partie: RAP sekvence a derivační diagramy; algoritmické aspekty sémantického vyplývání; minimální báze funkčních závislostí a její výpočet. Další typy závislostí a normalizace: multifunkční závislosti, závislosti na spojení; Druhá a třetí normální forma relačních schémat. Boyce-Coddova normální forma. Bezeztrátová dekompozice relací. Literatura: ATZENI P., BATINI C., DE ANTONELLIS V.: Relational Database Theory: A Comprehensive Introduction, Addison Wesley 1993 Codd E. F.: The Relational Model For Database Management: Vesion 2, AddisonWesley, Reading, Mass. 1990 Maier D.: Theory of Relational Databases, Computer Science Press, Rockville 1983 Pokorný J.: Databázové systémy a jejich použití v informačních systémech, Academia 1992 Simovici D. A., Tenney R. L.: Relational Database Systems, Academic Press 1995


07.12.2011

21 / 45


KMI/INFS

Informační systémy Information Systems

Statut:

Povinně volitelný

Počet kreditů:

5

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:

PhDr. Juraj Macko

Obsah: 1. Informační systémy (IS). Úvod, vlastnosti, architektura. 2. Podnikové IS, tvorba IS, třívrstvá architektura IS, integrace IS. 3. Databázová struktura IS, datová integrace (ETL), analytické nástroje v IS (OLAP) 4. Statické webové stránky (X)HTML, CSS. 5. Dynamicé webové stránky, základy DOM, JavaScript. 6. Programování webu na straně serveru: Úvod do programování v PHP. 7. Programování webu na straně serveru: Práce s databází v PHP. 8. Značkovací (meta)jazyk XML. Jazyky DTD, XML Schema a RelaxNG pro popis schématu XML, Transformace XML pomocí XSL a FO, XPath. Literatura: Kosek J.: HTML, tvorba dokonalých WWW stránek, podrobný průvodce, Grada Publishing 1998 Kosek J.: PHP, tvorba interaktivních internetových aplikací, Grada Publishing 1999 Kosek J.: XML pro každého, podrobný průvodce., Grada Publishing 2000 O'Brien J.A., Marakas G.: Introduction to InformationSystems, McGraw-Hill/Irwin 2005 Specifikace W3C: www.w3c.org Taylor D.: Creating Cool Web Sites with HTML, XHTML a CSS., Wiley Publishing 2004


07.12.2011

22 / 45


KMI/OOP

Objektově orientované programování Object Oriented Programming

Statut:

Povinně volitelný

Počet kreditů:

5

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:


Obsah: Kurs navazuje na kurs Paradigmata programování 1. Jeho náplní je všeobecný úvod do objektově orientovaného programování. Probrány budou základní principy OOP bez omezení na konkrétní programovací jazyk. Cílem kurzu je poskytnout studentům nadhled nad probíranou problematikou, proto se věnuje i dnes méně rozšířeným oblastem objektového programování. Kurs tak slouží jako protiváha předmětů, v nichž je objektové programování probíráno se zřetelem k přímému uplatnění v praxi. Jako modelový jazyk kurzu bude použit Common Lisp, v němž lze probíranou problematiku dobře demonstrovat a který je příbuzný jazyku Scheme, s nímž studenti již mají zkušenosti. Principy objektově orientovaného programování budou procvičovány na netriviálních příkladech, student si vyzkouší tři základní role při práci v OOP: roli implementátora objektově orientovaného programovacího jazyka, roli autora objektové knihovny i roli jejího uživatele. 1. Od Scheme ke Common Lispu. Rozdíly v terminologii. Rozdíly ve vyhodnocovacím procesu a pojetí prázdného seznamu. Alternativy nástrojů z R5RS v Common Lispu. Nástroje, které ve Scheme nenajdeme. 2. Třídy a instance, zprávy a metody. Sloty a jejich inicializace. Jednoduchá objektová grafická knihovna. 3. Zapouzdření. Motivace: tři problémy řešené principem zapouzdření. Formulace principu, vyjímky. Použití v objektové grafické knihovně. 4. Polymorfismus. Princip polymorfismu. Použití v objektové grafické knihovně. 5. Jednoduchá dědičnost. Pojem dědičnosti. Dědičnost jako nástroj redukující opakování v kódu. Hierarchie tříd. Přepisování metod, volání zděděné metody. Zásady používání dědičnosti, princip "is-a". Použití při inicializaci instancí. Použití v objektové grafické knihovně. 6. Události. Programování řízené událostmi. Pojem delegáta. Práce s událostmi v jednoduché grafické knihovně. Zprávy a události jako data a jejich využití. 7. Prototypové jazyky. Dědičnost a zprávy v prototypových jazycích. Srovnání prototypových jazyků a jazyků založených na třídách, implementace jednoduchého prototypového jazyka a práce s ním, implementace a použití prototypové objektové knihovny. Ukázka čistě objektového prototypového jazyka. 8. Vícenásobná dědičnost. Pojem vícenásobné dědičnosti, vícenásobná dědičnost v různých programovacích jazycích. Programování pomocí rozhraní (interface) a mixinů. Výhody a úskalí vícenásobné dědičnosti. 9. Netradiční rysy CLOSu. Generické funkce a multimetody, kombinace metod a jejich využití. Spojení funkcionálního a objektového programování, dynamické objektové programování. Metaobjektové protokoly. Literatura: KRUPKA M.: Paradigmata objektového programování 1, učební text, Olomouc 2008 COMMON LISP HYPERSPEC Fowler, M.: Patterns of enterprise application architecture, Addison-Wesley 2003 GRAHAM P.: ANSI Common Lisp, Prentice Hall 1996 KICZALES GREGOR, DES RIVIERES JIM AND BOBROW DANIEL G.: The Art of the Metaobject Protocol, London 1991 MEYER BERTRAND: Object-Oriented Software Construction, Prentice Hall 1997


07.12.2011


23 / 45


07.12.2011

24 / 45


KMI/OS1

Operační systémy 1 Operation Systems 1

Statut:

Povinně volitelný

Počet kreditů:

5

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:

Mgr. Petr Krajča, Ph.D.

Obsah: Probírána je celková struktura a principy fungování OS a jeho jednotlivých součástí. Konkrétní způsoby řešení některých úkolů OS a technologie použité v moderních OS jsou ukázány na OS Microsoft Windows NT a GNU/Linux (jako zástupce unixových OS). U oboru Informatika jsou teoretické pasáže probírány více do hloubky. Obsahem cvičení je úvod do programování v jazyce symbolických adres (assembler), ve kterém jsou implementovány kritické součásti OS závislé na hardware. Probírán je assembler pro platformu i386 (procesory Intel x86 a Pentium). John von Neumannova architektura, CPU, strojové instrukce a jejich vykonávání, programování v assembleru. Řízení výpočtu, volání funkcí, přerušení. Operační paměť, zobrazení informací v operační paměti, cache paměť. Funkce a význam operačních systémů, historický přehled. Správa procesů a procesoru, proces a jeho životní cyklus, přidělování procesoru, procesy a vlákna. Synchronizace procesů a vláken, aktivní a pasivní čekání. Implementace v OS Linux a Windows. Literatura: Čada, O.: Operační systémy, Grada 1993 Keprt A.: Assembler, Univerzita Palackého 2008 Keprt A.: Operační systémy, Univerzita Palackého 2007 Nutt G.: Kernel Projects for Linux, Addison Wesley 2001 Silberschatz, A., Galvin, P.B., Gagne, G.: Operating System Concepts, John Wiley & sons 2002 SOLOMON, D.A., RUSSINOVICH, M.E.: Microsoft Windows Internals, Fourth Edition, Microsoft Press 2004 Stallings, W.: Operating System Internals and Design Principles, Fifth Edition, Prentice Hall 2004 Tanenbaum A.S: Modern Operating Systems, 2nd, Prentice-Hall 2001


07.12.2011

25 / 45


KMI/OS2

Operační

systémy 2

Operation Systems 2 Statut:

Povinně volitelný

Počet kreditů:

5

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:


Obsah: Probírána je celková struktura a principy fungování OS a jeho jednotlivých součástí. Konkrétní způsoby řešení některých úkolů OS a technologie použité v moderních OS jsou ukázány na OS Microsoft Windows NT a GNU/Linux (jako zástupce unixových OS). U oboru Informatika jsou teoretické pasáže probírány více do hloubky. Obsahem cvičení je problematika programování základních struktur OS jako jsou procesy a vlákna, jejich komunikace a synchronizace. Výuka cvičení se děje v OS Microsoft Windows a GNU/Linux. Uváznutí a podmínky pro jeho vznik, detekce, prevence a předcházení, bankéřův algoritmus. Správa operační paměti. Správa diskového prostoru a správa souborů, RAID. RAID, systémy souborů, FAT, NTFS, souborový systém v unixových systémech (Ext2, Ext3). Správa I/O zařízení, ovladače. Bezpečnost OS, kategorie bezpečnosti. Architektura operačních systémů. Literatura: Čada, O.: Operační systémy, Grada 1993 Keprt A.: Assembler, Univerzita Palackého 2008 Keprt A.: Operační systémy, Univerzita Palackého 2007 Nutt, G.: Kernel Projects for Linux, Addison Wesley 2001 Silberschatz A., Galvin P.B., Gagne G.: Operating System Concepts, 7th Edition, John Wiley & sons 2005 Solomon D.A., Russinovich M. E.: Windows Internals: Covering Windows Server 2008 and Windows Vista, Microsoft Press 2009 Stallings, W.: Operating System Internals and Design Principles, Fifth Edition, Prentice Hall 2004 Tanenbaum A.S: Modern Operating Systems, 2nd, Prentice-Hall 2001


07.12.2011

26 / 45


KMI/POS

Počítačové sítě Computer Networks

Statut:

Povinně volitelný

Počet kreditů:

5

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:

Doc. Ing. Lenka Carr-Motyčková, CSc. Mgr. Jan Outrata, Ph.D.

Obsah:

Počítačové sítě: struktura počítačové sítě, topologie, standardizace počítačových sítí, přenos dat, směr přenosu, paralelní a sériový přenos,
asynchronní a synchronní přenos, přenosová rychlost.
Lokální počítačové sítě: vlastnosti a použití, přenosová média, přístupové metody, typy sítí.
Rozlehlé počítačové sítě: vlastnosti a využití, přenosová média, technika přenosu.
Propojení sítí: opakovač, most, přepínač, směrovač, brána.
Internet: historie a charakteristika Internetu. Protokoly: IP, TCP, UDP.
Režijní služby: DHCP. DNS, firewall, QoS, NAT.
Aplikační protokoly: DNS, TELNET, HTTP, FTP, SMTP, POP, IMAP, SSH. Literatura: Lhotka L.: Server v Internetu, Kopp 1996 Smith R. E.: Internet Cryptography, Addison Wesley 1997 Stevens W. R.: TCP/IP Illustrated, Volume 1 -- The Protocols, Addison Wesley 1994 Walton S. E.: IPv6 Programming, Addison Wesley 2002


07.12.2011

27 / 45


KMI/SEBP

Seminář k bakalářské práci Bachelor Thesis Tutorial

Statut:

Povinně volitelný

Počet kreditů:

1

Forma výuky:

Seminář

Rozsah výuky:

1 HOD/TYD

Ukončení:

Zápočet

Garant:

Mgr. Eduard Bartl, Ph.D.

Obsah: Úvod do počítačové sazby. Typografický systém TeX. Smíšená sazba. Sazba odstavců. Speciální prostředí. Pořadová sazba. Členění dokumentu. Sazba matematických textů. Definice nových příkazů. Obrázky v TeXu. Úvod do jazyka MetaPost. Pokročilé možnosti jazyka MetaPost. Písemné dokumenty: Typy dokumentů, cílová skupina, struktura dokumentu, příprava dokumentu, základní zásady, pravidla, prohřešky, etika. Závěrečné zprávy a práce: Seminární práce, projektové zprávy, bakalářské a diplomové práce. Publikování v odborných časopisech: Výběr časopisu (odborné zaměření, impact factor), typy článků, struktura článku, postoupení článku redakci, recenzní řízení. Zdroje informací a jejich vyhledávání: Knihovní služby, digitální knihovny a další zdroje na internetu. Ústní prezentace: Typy prezentací, cílová skupina, příprava prezentace, cíl, struktura, základní zásady a chyby. Technické prostředky pro přípravu dokumentů a prezentací. Literatura: Boldiš, P.: Bibliografická citace dokumentů podle ČSN ISO 690-2(01 0197) Část 2 - Modely a příklady citací u jednotlivých typů dokumentů 2002 ČMEJRKOVÁ, S., DANEŠ, F., SVĚTLÁ, J.: Jak napsat odborný text, Praha: Leda 1999 Daneš J., Veselý J.: Jemný úvod do TeXu, Elektronický text. Československé sdružení uživatelů TeXu (překlad originálu), Praha 1993 Eco, U.: Jak napsat diplomovou práci, Olomouc 1997 F. Mittelbach a kol.: The LaTeX companion, Addison-Wesley, Boston 2004 Filka, J.: Metodika tvorby diplomové práce, Brno: Knihař 2002 Hobby J. D.: A User's manual for MetaPost. Holasová, T.: Rétorika pro techniky, Vydavatelství ČVUT, Praha HOLOUŠOVÁ, D, KROBOTOVÁ, M.: Diplomové a závěrečné práce, Olomouc : Univerzita Palackého v Olomouci 2002 J. Rybička: LaTeX pro začátečníky. Třetí vydání, nakladatelství KONVOJ, Brno 1999 Knuth, D. E.: Computers & Typesetting Kočer M., Sýkora P.: Ne příliš stručný úvod do systému LaTeX2e, Elelktronický text. Český překlad originálu The Not So Short 1998 Olšák, P.: TeXbook naruby, Nakladatelství KONVOJ, Brno 2001 Olšák, P.: Typografický systém TeX, Nakladatelství KONVOJ, Brno 2000 Pokorný, J.: Úspěšnost zaručena: jak efektivně zpracovat a obhájit diplomovou práci, CERM, Brno 2004 Šesták Z.: Jak psát a přednášet o vědě, Academia, Praha 2000 ŠIFNER, F.: Jak psát odbornou práci a diplomovou práci zvláště, Praha : Univerzita Karlova 2004


07.12.2011


28 / 45


07.12.2011

29 / 45


KMI/ZP3CP

Základy programování 3 (C++) Introduction to Programming 3 (C++)

Statut:

Povinně volitelný

Počet kreditů:

3

Forma výuky:

Seminář

Rozsah výuky:

2 HOD/TYD

Ukončení:

Zápočet

Garant:

Mgr. Jan Outrata, Ph.D.

Obsah: Předmět volně navazuje na obsah kursů Základy programování 1 a 2. Studenti jsou seznamováni se základy objektově orientovaného programování (OOP) v tomto jazyce v souladu s jinými předměty v oboru. Probárána je také standardní knihovna STL. Jazyk C++ je rovněž probírán s důrazem na standard jazyka a přenositelnost vytvořených programů, výuka je vedena dle normy jazyka nezávisle na vývojovém prostředí nebo použitém překladači. Na seminářích je prezentována část teorie (syntaxe jazyka), která je pak prakticky využívána na příkladech a jednoduchých programátorských úlohách řešených studenty samostatně. Polovinu seminářů tvoří čistě praktická cvičení, jejichž obsahem je implementace složitějších úloh v jazyce C++. Řešené příklady a úlohy jsou voleny ve vztahu k ostatním předmětům vyučovaným v oboru tak, aby studenti prakticky využívali teoretické znalosti nabyté v jiných předmětech. Základní odlišnosti mezi jazyky C a C++. Třídy. Dědičnost tříd. Virtuální funkce. Standardní knihovna STL. Literatura: Alexandrescu A.: Modern C++ Design: Generic Programming Applied, Addison-Wesley 2001 Standard:: ISO/IEC 14882:2003 Stroustrup B.: C++ Programming Language, Addison-Wesley Šaloun P.: Programovací jazyk C pro zelenáče, Neokortex Večerka A.: Jazyk C++ Popis jazyka s příklady, Skriptum

and Design Patterns 1997 1999 UP Olomouc 2000


07.12.2011

30 / 45


KMI/ZP3CS

Základy programování 3 (C#) Introduction to Programming 3 (C#)

Statut:

Povinně volitelný

Počet kreditů:

3

Forma výuky:

Seminář

Rozsah výuky:

2 HOD/TYD

Ukončení:

Zápočet

Garant:


Obsah: 1. Seznámení s vývojovým prostředím Visual Studio. Úvod do programování v C#. Platforma .NET. 2. Proměnné, operátory, výrazy, datové typy, metody, rozsah platnosti. 3. Řízení toku. Rozhodovací příkazy. Složené příkazy a opakování. Chyby a výjimky. 4. Pole, kolekce, generické, typy. Procházení kolekcí. 5. Třídy a objekty. Hodnoty a reference. Hodnotové typy (enum, struct). Dědičnost. 6. Vlastnosti (properties). Indexery. Delegáty a události. Překrytí operátorů. 7. Základní třídy standardní knihovny. 8. Programování okenních aplikací. Pozn.: Předmět je otevírán každoročně Literatura: Keprt A.: Softwarová laboratoř v jazyce C#, Univerzita Palackého 2008 NAGEL C., EVJEN B., GLYNN J., WATSON K., SKINNER M.: Professional C# 2005 with .NET 3.0, Wrox 2007 Petzold C.: .NET Book Zero 2006 Powers L., Snell M.: Microsoft Visual Studio 2008 Unleashed, Sams 2008 Randolph N., Gardner D.: Professional Microsoft Visual Studio 2008, Wrox Press 2008 Robinson S., Allen K. S., Cornes O. et al.: C# Programujeme profesionálně, Computer Press 2004 TROELSEN A.: Pro C# 2008 and the .NET 3.5 Platform. 4.vydání, Apress 2007 Virius M.: Od C++ k C#, Kopp, 236 pp. 2002


07.12.2011

31 / 45


KMI/ZP3JV

Základy programování 3 (Java) Introduction to Programming 3 (Java)

Statut:

Povinně volitelný

Počet kreditů:

3

Forma výuky:

Seminář

Rozsah výuky:

2 HOD/TYD

Ukončení:

Zápočet

Garant:


Obsah: 1. úvod do platformy Java, vykonávání programu, vývojová prostředí 2. primitivní datové typy, objekty, operátory, řetězce 3. řízení výpočtu (podmíněné vykonávání kódu, smyčky) 4. třídy, rozhraní, objekty, metody, rozsah platinosti, dědičnost 5. pole, kolekce, generické typy 6. vyjímky 7. základní třídy a objekty stadnardní knihovny, přístup k souborům 8. balíčky, sestavení komplexního programu 9. vlákna Literatura: Bloch J.: Java efektivně 57 zásad softwarového experta, Grada Publishing Eckel B.: Myslíme v jazyce Java - příručka programátora, Grada Publishing 2000 Herout P.: Učebnice jazyka Java, Kopp 2000 Kiszka B.: 1001 tipů a triků pro programování v jazyce Java, Computer Press 2003 Lewis J., Loftus W.: Java Software Solutions, Foundations of Program Design, Addison Wesley Longman Ltd. 2000 SUN: Java Tutorial 2010


07.12.2011

32 / 45


KMI/ZP4CP

Základy programování 4 (C++) Introduction to Programming 4 (C++)

Statut:

Povinně volitelný

Počet kreditů:

3

Forma výuky:

Seminář

Rozsah výuky:

2 HOD/TYD

Ukončení:

Zápočet

Garant:

Mgr. Jan Outrata, Ph.D.

Obsah: Předmět navazuje na obsah kursu Úvod do programování 3. Studenti jsou seznámeni s dalšími aspekty objektově orientovaného programování (OOP) v tomto jazyce v souladu s jinými předměty v oboru, dalšími prvky jazyka C++ (šablony a výjimky). Prohlubují se znalosti standardní knihovny STL. Jazyk C++ je probírán s důrazem na standard jazyka a přenositelnost vytvořených programů, výuka je vedena dle normy jazyka nezávisle na vývojovém prostředí nebo použitém překladači. Na seminářích je prezentována část teorie (syntaxe jazyka), která je pak prakticky využívána na příkladech a jednoduchých programátorských úlohách řešených studenty samostatně. Polovinu seminářů tvoří čistě praktická cvičení, jejichž obsahem je implementace složitějších úloh v jazyce C++. Řešené příklady a úlohy jsou voleny ve vztahu k ostatním předmětům vyučovaným v oboru tak, aby studenti prakticky využívali teoretické znalosti nabyté v jiných předmětech. Překrytí operátorů. Vzory (templates). Výjimky (exceptions). Standardní knihovny STL. Literatura: Alexandrescu A.: Modern C++ Design: Generic Programming and Design Patterns Applied, Addison-Wesley 2001 Standard:: ISO/IEC 14882:2003 STROUSTRUP B.: C++ Programming Language, Addison-Wesley 1997 Šaloun P.: Programovací jazyk C pro zelenáče, Neokortex 1999 Večerka A.: Jazyk C++ Popis jazyka s příklady, Skriptum UP Olomouc 2000


07.12.2011

33 / 45


KMI/ZP4CS

Základy programování 4 (C#) Introduction to Programming 4 (C#)

Statut:

Povinně volitelný

Počet kreditů:

3

Forma výuky:

Seminář

Rozsah výuky:

2 HOD/TYD

Ukončení:

Zápočet

Garant:


Obsah: Referenční a hodnotové datové typy, delegáty Enumerace kolekcí, generické enumerace Vlákna a synchronizace pomocí monitorů Direktivy preprocesoru Grafické uživatelské rozhraní Formuláře, dialogy Kreslení a psaní Ovládací prvky Pozn.: Předmět je otevírán každoročně Literatura: Keprt A.: Systémové programování v jazyce C#, Univerzita Palackého 2008 Petzold C.: .NET Book Zero 2006 Sells C.: Windows Forms Programming in C#, Addison-Wesley, 736 pp. 2003 TROELSEN A.: Pro C# 2008 and the .NET 3.5 Platform. 4.vydání, Apress 2007 Virius M.: Od C++ k C#, Kopp, 236 pp. 2002 Keprt A.: Softwarová laboratoř v jazyce C#, Univerzita Palackého 2008 Nagel C., Evjen B., Glynn J., Watson K., Skinner M.: Professional C# 2005 with .NET 3.0, Wrox 2007 Robinson S., Allen K. S., Cornes O. et al.: C# Programujeme profesionálně, Computer Press 2004


07.12.2011

34 / 45


KMI/ZP4JV

Základy programování 4 (Java) Introduction to Programming 4 (Java)

Statut:

Povinně volitelný

Počet kreditů:

3

Forma výuky:

Seminář

Rozsah výuky:

2 HOD/TYD

Ukončení:

Zápočet

Garant:


Obsah: Vstupy a soubory: výjimky Komponenty GUI , dědění a interface Aktivní komponenty GUI Applety Vlákna: multitasking, aktivace vlákna, vícenásobná vlákna Synchronizace vláken: uváznutí, spolupráce Síťové programování: třída java.net, čtení a zápis z/do schránky Schránka serveru a klienta Literatura: Bloch J.: Java efektivně 57 zásad softwarového experta, Grada Publishing Eckel B.: Myslíme v jazyce Java - příručka programátora, Grada Publishing 2000 Herout P.: Učebnice jazyka C, Kopp Kiszka B.: 1001 tipů a triků pro programování v jazyce Java, Computer Press 2003 Lewis J., Loftus W.: Java Software Solutions, Foundations of Program Design, Addison Wesley Longman Ltd. 2000


07.12.2011

35 / 45


KAG/DUDK1

Úvod do kombinatoriky I Introduction to Combinatorics 1

Statut:

Volitelný

Počet kreditů:

5

Forma výuky:


Rozsah výuky:


Ukončení:

Zápočet

Garant:

RNDr. Jaroslav Švrček, CSc.

Obsah: 1. Obecné kombinatorické principy. 2. Variace, permutace, kombinace (s opakováním), polynomická věta. 3. Princip inkluze a exkluze. 4. Kombinatorické identity a jejich aplikace. 5. Dirichletův princip a jeho aplikace. 6. Kombinatorika rozkladů, rozklady přirozených čísel a množin. Ferrerův graf, Bellova čísla, EulerLegendreova věta. Literatura: Herman J., Kučera R., Šimša J.: Metody řešení matematických úloh II, MU Brno 1997 Chen C. C., Koh K. M.: Principles and Techiques in Combinatorics, World Scientific New Jersey 2004 Markus A.: Combinatorics (a Problem Oriented Approach), MAA Washington 1988 Mladenovič P.: Kombinatorika, Beograd 1992 Riordan J.: Combinatorial Identities, New York 1968 Švrček J.: Úvod do kombinatoriky, VUP OLomouc 2003 KAG/MR

Matematické repetitorium Mathematical Repetition

Statut:

Volitelný

Počet kreditů:

3

Forma výuky:

Cvičení

Rozsah výuky:

2 HOD/TYD

Ukončení:

Zápočet

Garant:

Prof. RNDr. Josef Molnár, CSc.

Obsah: 1. algebraické výrazy 2. elementární funkce 3. rovnice a nerovnice 4. aritmetické a geometrické posloupnosti 5. komplexní čísla 6. kuželosečky Literatura: E. Calda, V. Dupač: Matematika pro gymnázia. Kombinatorika, pravděpodobnost, statistika, Prométheus, Praha 1999 Kubát J., Hrubý D.: Diferenciální a integrální počet, Prométheus, Praha 1997 Polák, J.: Přehled středoškolské matematiky, Praha, Prométheus 2000 Pražák P, Gavalcová T.: Základy matematiky 1, Gaudeamus, Hradec Králové 2005


07.12.2011

36 / 45


KFC/PMV

Právní minimum vysokoškoláka Legal Minimum for University Students

Statut:

Volitelný

Počet kreditů:

4

Forma výuky:

Přednáška

Rozsah výuky:

2 HOD/TYD

Ukončení:

Kolokvium

Garant:

JUDr. Josef Augustin

Obsah: 1. Ústava České republiky 2. Správní právo (Uzemní samospráva, obce, kraje, volby ...) 3. Organizace justice v ČR - Organizace a činnost soudů - Právní postavení osob činných u soudu - Další orgány právní ochrany ( notáři, advokáti, státní zástupci) 4. Pracovní právo Pracovněprávní vztahy Individuální pracovní právo (politika zaměstnanosti..) Pracovní poměr (pracovní řád, doba, mzda ...) 5. Bezpečnost a ochrana zdraví při práci Prevence, odpovědnost a náhrada škody Kolektivní pracovní právo (kolektivní vyjednávání, smlouvy) 6. Zákon o rodině 7. Trestní právo Ochrana ústavně zaručených práv a svobod Průběh trestního řízení 8. Občanské právo hmotné Občanskoprávní vztah - účastníci občanskoprávních vztahů - Vlastnické právo - Věcná práva k cizí věci - Katastr nemovitostí Závazky z právních úkonů (koupě a prodej, darováni, půjčka, nájem...) Dědické právo 9. Zákoník práce 10. Obchodní zákoník (obchodní společnosti a družstva) 11. Živnostenský zákon (druhy živností, živnostenský list, živnostenský rejstřík 12. Obchodní právo (Zadávání veřejných zakázek, ochrana hosp. soutěže, ochrana spotřebitele, Česká obchodní inspekce 13. Daňové zákony (daň z příjmu, DPH, daň z nemovitostí, silniční daň...) 14. Autorské právo, zákon o ochranných známkách. Vynálezy, průmyslové vzory. 15. Evropská integrace a vznik evropských společenství - Evropská unie (Česká republika jako přidružený stát) Mezinárodní dokumenty o lidských právech. Charta OSN, Všeobecná deklarace lidských práv ... Literatura: Aktuální znění zákonů dle doporučení vyučujícího Ústava České republiky


07.12.2011

37 / 45


KGI/GISG

Geografické informační systémy Geographic Information Systems

Statut:

Volitelný

Počet kreditů:

6

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:

Mgr. Jana Svobodová, Ph.D.

Obsah: Důraz je kladen na budování GIS a jejich využití v dílčích geografických disciplínách. V rámci cvičení si studenti prakticky osvojí práci se systémem IDRISI na konkrétních geografických příkladech. Přednášky obsahují témata: Vývoj GIS, Počítače pro GIS, Periférie GIS, Počítačové sítě, Funkce GIS, Aspekty GIS, GIS operace, Software GIS, Rastrová data, Vektorová data, Komprese dat, Typy digitálních dat, Vektorové datové modely a datové struktury, Rastrové datové modely a datové struktury, Digitální modely reliéfu, Síťové analýzy, Informační dálnice a GIS, Digitální data v ČR, Základní charakteristika systému IDRISI. Předmět je základem celého studia geoinformatiky. Navazují na něj další předměty. Literatura: Voženílek, V. a kol. (2001): Integrace GPS/GIS v geomorfologickém výzkumu. Olomouc, VUP, 186 s. Voženílek, V. (2001): Geografické informační systémy I - pojetí, historie, základní komponenty. Olomouc, Vydavatelství Univerzity Palackého, 173 s. Voženílek, V. (1997): Cvičení z GIS I - systém IDRISI. Olomouc, Vydavatelství UP, 134 s. Voženílek, V. (ed.) (1996): Digitální data v informačních systémech. Vyškov, ANTRIM, 138 s. Tuček, J. (1998): Geografické informační systémy. Principy a praxe. Praha, Computer Press, 424 s.


07.12.2011

38 / 45


KMA/SWM2

Software pro matematiky 2 Software for Mathematicians 2

Statut:

Volitelný

Počet kreditů:

3

Forma výuky:


Rozsah výuky:


Ukončení:

Zápočet

Garant:

RNDr. Pavel Ženčák, Ph.D.

Obsah: 1. Prostředí programového souboru Matlab. 2. Matice v Matlabu a práce s nimi. 3. Maticové operátory a operátory pro práci s polem. 4. Proměnné a datové typy v Matlabu. 5. Přikazy pro řízení běhu programů v Matlabu. 6. Vstupní a výstupní parametry funkcí, skripty. 7. Základní grafické funkce ve 2D a jejich použití 8. Nastavení vlastností grafu a popisu obrázku. 9. Základní grafické funkce ve 3D a jejich použití. 10. Reprezentace polynomů v Matlabu a funkce pro práci s nimi. 11. Interpolace dat v 1D. 12. Funkce pro výpočet kořenů nelineární rovnice, numerickou integraci a pro nalezení minima funkce jedné proměnné. Literatura: F. Dušek: Matlab a Simulink, úvod do programování, Pardubice 2000 Getting started with Matlab, Users Guides


07.12.2011

39 / 45


KMA/SWM3

Software pro matematiky 3 Software for Mathematicians 3

Statut:

Volitelný

Počet kreditů:

3

Forma výuky:

Přednáška,Seminář

Rozsah výuky:


Ukončení:

Zápočet

Garant:

RNDr. Pavel Ženčák, Ph.D.

Obsah: 1. Znakové proměnné a řetězce v Matlabu a funkcemi pro práci s nimi. 2. Struktury a pole buněk v Matlabu a funkce pro práci s nimi. 3. Implementací objektů v Matlabu a základními principy práce s nimi. 4. Funkce pro kreslení sloupcových a koláčových grafů a histogramů. Diskrétní, vektorové a kombinované grafy v Matlabu. 5. Kreslení hladin funkcí. Funkce pro kreslení ploch na neuspořádané síti. 6. Dvoudimenzionální interpolace na uspořádané a neuspořádané síti. 7. Numerická integrace a minimalizace funkcí dvou a více proměnných. 8. Úvod do základů práce s funkcemi Matlabu pro numerické řešení obyčejných diferenciálních rovnic. 9. Práce s bitmapovými obrázky v Matlabu. 10. Vlastnosti objektu Image a jejich využití při tisku a při vytváření sekvencí obrázků a animací v Matlabu. 11. Základní přehled grafických objektů a funkcí pro práci s nimi. 12. Možnosti Matlabu při vytváření programů využívajících grafické uživatelské rozhraní. Literatura: F. Dušek, D. Honc: Matlab a Simulink, Univerzita Pardubice 2005 Getting started with Matlab, Users Guides


07.12.2011

40 / 45


KMI/ALM3


Statut:

Volitelný

Počet kreditů:

5

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:


Obsah: Tato část čtzřsemestrálního kurzu se zabývá metodami návrhu a analýzy složitosti algoritmů. Metody jsou ilustrovány pomocí významných algoritmů z různých oblastí. Asymptotická notace pro růst funkcí, vlastnosti a příklady a použití při analýze složitosti algoritmů. Rekurence, vlastnosti a použití v analýze složitosti. Návrh algoritmů metodou rozděl a panuj, příklady algoritmů. Návrh algoritmů žravou metodou, příklady algoritmů. Návrh algoritmů metodou dynamického programování, příklady algoritmů. Návrh algoritmů metodou iterativního zlepšování, příklady algoritmů. Návrh algoritmů metodou hrubé síly s technikami backtracking a branch-and-bound, příklady algoritmů. Literatura: CORMEN, T. H., LEISERSON C. E., RIVEST D. L., STEIN C.: Introduction to Algorithms, Second Edition, MIT Press 2001 KNUTH, D.: The Art of Computer Programming, Volume 3, Sorting and Searching, Second Edition, Addison-Wesley 2005 LEVITIN, A.: Introduction to the Design and Analysis of Algorithms, Pearson Education 2007 SEDGEWICK, R.: Algoritmy v C, části 1-4: základy, datové struktury, třídění, vyhledávání, Praha, Softpress 2003 SKIENA, S. S.: The Algorithm Design Manual, Second Edition, Springer 2008


07.12.2011

41 / 45


KMI/DOVY

Dovednosti vývojáře Developer's skills

Statut:

Volitelný

Počet kreditů:

2

Forma výuky:

Seminář

Rozsah výuky:

2 HOD/TYD

Ukončení:

Zápočet

Garant:

PhDr. Juraj Macko

Obsah: 1. Proces tvorby software 2. Požadavky klienta, analýza požadavků a funkční design 3. Komunikace s klientem 4. Testování software: cykly, skripty, prostředí a data 5. Druhy testů a modely testování 6. Nástroje pro automatické testování a nástroje pro správu chyb 7. Tvorba technické a uživatelské dokumentace 8. Projektový management 1 - úkoly, WBS, závislosti, metoda kritické cesty 9. Projektový management 2 - Ganttův diagram, plánování zdrojů , sledování průběhu projektu Literatura: J. Kališ, K. Hyndrák, V. Tesař: Microsoft Project. Kompletní průvodce pro verze 2002 a 2003, Brno, Computer Press 2003 Paleta P.: Co programátory ve škole neučí, Computer Press 2003 Patton R.: Software Testing, Sams Publishing 2005 Patton R.: Testování softwaru, Computer Press 2002 Wiegers K.: Požadavky na software, Computer Press 2008 Wiegers K.: Software Requirements, Microsoft Press 2003


07.12.2011

42 / 45


KMI/PNET

Platforma .NET .NET Platform

Statut:

Volitelný

Počet kreditů:

3

Forma výuky:

Seminář

Rozsah výuky:

3 HOD/TYD

Ukončení:

Kolokvium

Garant:


Obsah: 1. Opakování vybraných prvků jazyka C# - klonování, dědičnost, indexery, delegáty, anonymní metody, události, překrytí operátorů aj. 2. Vývojové prostředí Visual Studio 2008 3. String, StringBuilder, práce s regulárními výrazy 4. System.IO - disky, adresáře, soubory, proudy 5. Vysvětlení principů platformy .NET - jednotné exe soubory, společný typový systém, metadata, druhy datových typů, boxing/unboxing, výjimky 6.Intermediate langure (IL) - assembler, disassembler, kompilace, optimalizace, JIT, volání metod, spouštění programů, digitální podpisy, GAC, reflexe 7. Správa paměti v .NETu 8. Serializace 9. Procesy, aplikační domény, vlákna 10. Synchronizace vláken a procesů 11. Asynchronní programovací techniky 12. Sledování a diagnostika programů 13. Pokročilá témata uživatelského rozhraní, Windows Presentation Foundation Literatura: Duffy J.: Professional .NET Framework 2.0, Wrox Press 2006 Balena F.: Programming Microsoft Visual C# 2005: The Base Class Library, Microsoft Press 2006 Keprt A.: Systémové programování v jazyce C#, Univerzita Palackého 2008 Sells C., Weinhardt M.: Windows Forms 2.0 Programming, Addison Wesley Professional 2006 Powers L., Snell M.: Microsoft Visual Studio 2008 Unleashed, Sams 2008 Randolph N., Gardner D.: Professional Microsoft Visual Studio 2008, Wrox Press 2008 Virius M.: Od C++ k C#, Kopp, 236 pp. 2002


07.12.2011

43 / 45


KMI/PRCL

Programování v Common Lispu Programming in Common Lisp

Statut:

Volitelný

Počet kreditů:

2

Forma výuky:

Seminář

Rozsah výuky:

2 HOD/TYD

Ukončení:

Zápočet

Garant:


Obsah: Předmět je orientován především na jazyk Common Lisp, z něhož ostatní dynamické jazyky vycházejí, poskytne ale informace obecnější, aplikovatelné na další jazyky. Studenti se naučí používat Common Lisp k řešení jednoduchých praktických úkolů i k tvorbě rozsáhlejších aplikací a rozšířit si vědomosti o programovacích jazycích (zejména dynamických) a programování vůbec. V předmětu budou popsány a předvedeny různé, i neobvyklé, techniky a metody, které je možno při programování použít, s cílem zlepšit předpoklady studentů pro případnou budoucí programátorskou praxi. Předmět je zvláště vhodný pro studenty, kteří chtějí v Common Lispu pracovat na větším projektu (ročníkový projekt, bakalářská práce). Předmět je otvírán pouze v sudé roky. Historie a současnost Lispu: Vznik Lispu a jeho vývoj, vztah k ostatním programovacím jazykům, přehled dostupných implementací, vývojových prostředí a knihoven, problémy a nedostatky. Základní rysy CL: Programovatelnost, pragmatičnost, využití mnoha paradigmat. CL jako dynamický a dynamicky typovaný jazyk. Kód jako data. Princip synergie. Základy CL: Funkce, makra, speciální operátory, funkce eval, prostředí, viditelnost a životnost. Datové typy a operace. Zobecněné proměnné, operátor setf a jeho programování. Pokročilé neobjektové prvky CL: Programování vstupu, výstupu, kompilátoru, serializace dat. Zajištění modularity programu pomocí packages, problematika modulů. Práce s výjimkami, vyvolání a obsluha výjimek, restarty. Pokročilé prvky objektového systému: vícenásobná dědičnost, multimetody, kombinace metod, metaobjektový protokol. Metody vývoje SW: Tvorba a údržba programů v dynamických a dynamicky typovaných jazycích, programování zdola nahoru, využití agilních metod, využití programovatelnosti jazyka přizpůsobením jazyka problémové doméně. Programátorská kultura a styl, idiomy, dokumentace. Pozn.: Předmět je otevírán jednou za dva roky (každý sudý rok) Literatura: COMMON LISP HYPERSPEC Graham P.: On Lisp, Prentice Hall 1993 H. Abelson, G. J. Sussman: Structure and Interpretation of Computer Programs (SICP), MIT Press 1985 Seibel P.: Practical Common Lisp, Apress, Berkeley, CA 2005 Zlatuška J.: Lambda-kalkul, Vydavatelství MU, Brno 1993


07.12.2011

44 / 45


KMI/UDI

Úvod do informatiky Introduction to Computer Science

Statut:

Volitelný

Počet kreditů:

6

Forma výuky:


Rozsah výuky:


Ukončení:

Zkouška

Garant:

Doc. Ing. Lenka Carr-Motyčková, CSc. RNDr. Miroslav Kolařík, Ph.D.

Obsah: Úvod do logiky (výroky, logické spojky, pravdivost výroků, úvod do výrokové a predikátové logiky). Úvod do relací a množin (množiny, relace, jejich význam v informatice, vlastnosti relací, uspořádání, ekvivalence, rozklad a faktorová množina, binární relace a grafy, funkce a jejich typy, bijekce, konečné, spočetné a nespočetné množiny). Přirozená čísla, číselné soustavy, binární reprezentace čísel. Indukce a rekurze. Základní kombinatorické úvahy. Abeceda, řetězec, kódování, jazyk. Pojem algoritmu (intuitivní chápání, nutnost formalizace, konečný automat jako jednoduchý příklad). Pojem problému (intuitivní chápání, nutnost formalizace, rozhodovací problémy, algoritmicky nerozhodnutelné problémy). Úvod do složitosti algoritmů. Převoditelnost problému na problém. Nezvládnutelné problémy a jak se s nimi vypořádat. Vybrané aplikace probíraných pojmů. Literatura: Bělohlávek R.: Úvod do informatiky, Učební text, Katedra informatiky, UP Olomouc 2008 Cormen T. H., Leiserson C. E., Rivest R. L., Stein C.: Introduction to Algorithms. Second Edition., MIT Press 2001 Goodaire E. G., Parmenter M. M.: Discrete Mathematics with Graph Theory, Prentice-Hall, Inc. 1998 Grimaldi R.: Discrete and Combinatorial Mathematics. An Applied Introduction. 4th ed., Addison Wesley, Reading, MA 1999 Gruska J.: Foundations of Computing, International Thompson Computer Press 1997 Maurer S. B., Ralston A.: Discrete Algorithmic Mathematics, Addison Wesley 1991 Preparata F. P.,: Introduction to Discrete Structures. For Computer Science and Engineering., Addison Wesley, Reading, MA 1973


07.12.2011

45 / 45


KMI/URO

Uživatelská rozhraní User Interfaces

Statut:

Volitelný

Počet kreditů:

2

Forma výuky:

Seminář

Rozsah výuky:

2 HOD/TYD

Ukončení:

Kolokvium

Garant:

Mgr. Martin Dostál, Ph.D.

Obsah: Kurs je zaměřen na problematiku uživatelských rozhraní s důrazem na tvorbu rozhraní softwarových aplikací. Posluchač získá znalosti a dovednosti potřebné pro tvorbu kvalitních a použitelných uživatelských rozhraní. Kurs seznamuje s obecnými i konkrétními principy fungování a návrhu grafických, ale i jiných rozhraní. Značná pozornost je věnována konkrétním zásadám tvorby grafického uživatelského rozhraní pod nejrozšířenějšími systémy - Microsoft Windows, Apple Mac OS X a také specifikám tvorby rozhraní pro webové aplikace. 1. uživatelská rozhraní, historie a vývoj grafických uživatelských rozhraní, WIMP paradigma, hledisko funkce a formy v rozhraní. Apple LISA jako príklad. 2. design zamerený na uživatele, obecné zásady návrhu grafických uživatelských rozhraní, ergonomie, dobrý design, Fittuv a Hickuv zákon 3. základy tvorby uživatelského rozhraní v systému Microsoft Windows 4. základy tvorby uživatelského rozhraní v systému Mac OS X 5. Linux a grafické uživatelské rozhraní, multiplatformní aplikace 6. specifika uživatelských rozhraní webových aplikací 7. hodnocení kvality uživatelských rozhraní, použitelnost a testování 8. budoucnost uživatelských rozhraní, adaptabilní a adaptivní uživatelská rozhraní, multi-touch rozhraní Literatura: DOSTÁL, M.: Základy tvorby uživatelského rozhraní, učební text v elektronické podobě 2008 GALITZ, W. O.: The Essential Guide to User Interface Design, John Wiley & Sons 2005 kol. autorů: Apple Human Interface Guidelines, Apple 2004 kol. autorů: Windows Vista User Experience Guidelines, Microsoft 2007 MANDEL, T.: The Elements of User Interface Design, John Wiley & Sons, Inc., New York, NY, USA 2002 SHNEIDERMAN, B., PLAISANT, C.: Designing the User Interface: Strategies for Effective Human-Computer Interaction (4th Edition), Pearson Addison Wesley 2004

D - PŘEDMĚTY - AKREDITAČNÍ SESTAVA

Recommend Documents