Studijní plány a sylaby FJFI ČVUT v Praze

-

Aktualizace dat: 25.11.2016

english

Bakalářské studiumMatematická informatika
3. ročník
předmět kód vyučující zs ls zs kr. ls kr.

Povinné předměty

Algebra01ALG Šťovíček 4+0 zk - - 4 -
Předmět:Algebra01ALGprof. Ing. Šťovíček Pavel DrSc.4+0 ZK-4-
Anotace:Po úvodu do teorie množin se v přednášce probírají standardní algebraické struktury jako jsou grupy, okruhy, tělesa, moduly a lineární algebry, svazy a Booleovy algebry a okruhy polynomů nad komutativními tělesy.
Osnova:Axiomy teorie množin, relace, uspořádání, ekvivalence a subvalence množin, podobnost množin, princip dobrého uspořádání, axiom výběru, princip maximality, ordinální a kardinální čísla. Pologrupy, grupy, cyklické grupy, kongruence, faktorgrupoidy, homomorfismy, normální podgrupy, grupy permutací, direktní součin. Okruhy, obory integrity, tělesa, kongruence, faktorokruhy, homomorfismy, ideály, moduly, lineární algebry, podílové těleso, charakteristika, prvotěleso, okruhy polynomů nad komutativními tělesy, konečná tělesa. Svazy, úplné svazy, ideály, filtry, distributivní a modulární svazy, Booleovy algebry.
Osnova cvičení:
Cíle:Znalosti:
Cílem je seznámit posluchače se základními algebraickými strukturami a uvést je do metod, které jsou v obecné algebře využívány.

Schopnosti:
Použití výsledků obecné algebry v různých oblastech.
Požadavky:
Rozsah práce:
Kličová slova:Množina, relace, uspořádání, grupa, okruh, těleso, modul, lineární algebra, svaz, Booleova algebra.
Literatura:Povinná literatura:
[1] J.Mareš: Algebra. Úvod do obecné algebry. Skripta. Vydavatelství ČVUT, 3. vydání 1999.

Doporučená literatura:
[2] L. Procházka a kol.: Algebra. Academia Praha 1990.
[3] S. Mac Lane, G. Birkhoff: Algebra. Alfa, Bratislava 1973.

Teorie kódování01TKO Pelantová - - 2 zk - 2
Předmět:Teorie kódování01TKOdoc. RNDr. Mareš Jan CSc.-2 ZK-2
Anotace:Algebraické metody používané v kódech objevujících a opravujících chyby.
Osnova:Bezpečnostní kódy, objevování a opravování chyb, minimální vzdálenost kódu, informační a kontrolní znaky, kódování informačních znaků, lineární kódy, generující a kontrolní matice, Hammingovy kódy, Golayův kód, cyklické kódy, BCH kódy, Reedovy-Mullerovy kódy.
Osnova cvičení:Cvičení je nedílnou součástí výuky a slouží k procvičování témat uvedených v osnově předmětu.
Cíle:Znalosti:
Konstrukce kódů objevujících a opravujících chyby a jejich dekódování.

Schopnosti:
Orientace v oblasti kódování a zejména samoopravujících lineárních kódů.
Požadavky:Znalost základů lineární a obecné algebry, zejména konečných těles.
Rozsah práce:
Kličová slova:Kód, lineární kódy, cyklické kódy, dekódovací algotitmy.
Literatura:Povinná literatura:
[1] J. Mareš: Teorie kódování. Skripta ČVUT, Praha 2008.

Doporučená literatura:
[2] J. Adámek: Kódování. SNTL, Praha 1989.
[3] L. Bican, T. Kepka, P. Němec: Úvod do teorie konečných těles a lineárních kódů. SPN, Praha 1982.

Základy operačních systémů01ZOS Čulík - - 2+0 z - 2
Předmět:Základy operačních systémů01ZOSIng. Čulík Zdeněk-2+0 Z-2
Anotace:Úvod do struktury operačních systémů. Procesy, vlákna, správa paměti. Synchronizace vícevláknových aplikací. Soubory zobrazované do paměti.
Osnova:1. Úvod do operačních systémů (struktura jádra, bezpečnost).
2. Procesy a vlákna (vytváření a ukončování procesů a vláken, plánování a priority).
3. Synchronizace vláken (kritické sekce, semafory).
4. Správa paměti (virtuální paměť, soubory mapované do paměti).
5. Úvod do distribuovaných systémů (volání vzdálených procedur - RPC, architektury CORBA a COM).
6. Základy komunikace v sítích TCP/IP (směrování paketů, služby DNS).
Osnova cvičení:
Cíle:Znalosti:
Struktura operačního systému, manipulace se soubory na nízké úrovni, vytváření procesů a vláken, alokace paměti.

Schopnosti:
Naprogramovat vícevláknovou aplikaci.
Požadavky:
Rozsah práce:Individuální práce studentů zahrnuje experimenty s ovladači souborů (file handles), vytváření procesů a vláken, jednoduchou práci se semafory a založení souboru zobrazeného do paměti.
Kličová slova:Procesy, vlákna, správa paměti.
Literatura:Povinná literatura:
[1] A. S. Tanenbaum: Operating Systems: Design And Implementation, Prentice Hall, Englewood Cliffs, 1987.

Doporučená literatura:
[2] S. E. Madnick, J. J. Donovan: Operační systémy, Praha, SNTL 1974.
[3] W. Stallings, Operating Systems: Internals and Design Principles, Prentice Hall, 2005.
[4] J. M. Richter: Advanced Windows, Microsoft Press, Redmond, 1997.
[5] A. Rubini, J. Corbet: Linux Device Drivers, O'Reilly, 2001.
[6] D. Bovet, M. Cesati, A. Oram: Understanding the Linux Kernel, O'Reilly, 2001.

Numerická matematika 201NUM2 Beneš - - 2+1 z,zk - 3
Předmět:Numerická matematika 201NUM2prof. Dr. Ing. Beneš Michal-2+1 Z,ZK-3
Anotace:Obsahem předmětu je výklad numerických metod pro řešení okrajových a smíšených úloh pro obyčejné a parciální diferenciální rovnice. Jedná se o metody převodu okrajové úlohy na počáteční a metodu konečných diferencí pro eliptické, parabolické a hyperbolické parciální diferenciální rovnice.
Osnova:I. Numerické řešení obyčejných diferenciálních rovnic - okrajové úlohy
1. Metoda střelby
2 Metoda přesunu okrajové podmínky
3. Metoda sítí
4. Řešení nelineárních rovnic
II. Numerické řešení parciálních diferenciálních rovnic eliptického typu
1. Metoda sítí pro lineární rovnice druhého řádu
2. Konvergence a odhad chyb
3. Metoda přímek
III. Numerické řešení parciálních diferenciálních rovnic parabolického typu
1. Metoda sítí pro rovnici o jedné prostorové proměnné
2. Metoda sítí pro rovnici o více prostorových proměnných
3. Metoda přímek
IV. Numerické řešení hyperbolických zákonů zachování
1. Formulace a vlastnosti hyperbolických zákonů zachování
2. Nejjednodušší diferenční metody
Osnova cvičení:1. Taylorův rozvoj v kontextu diferenčních vzorců se speciálními vlastnostmi
2. Metoda normalizovaného přesunu
3. Řešení nelineárních diferenčních okrajových úloh
4. Definice slabého řešení eliptické okrajové úlohy
5. Vztah diferenčních aproximací a metody konečných objemů.
Cíle:Znalosti:
Numerické metody založené na převodu okrajové úlohy na úlohu počáteční, metoda sítí pro obyčejné a parciální diferenciální rovnice.

Schopnosti:
Použití uvedených numerických metod na konkrétní příklady z fyzikální a inženýrské praxe včetně implementace na výpočetní technice a stanovení chyby aproximace.
Požadavky:Základní kurzy matematické analýzy, lineární algebry a numerické matematiky (dle přednášek na FJFI ČVUT v Praze 01MA1, 01MAA2-4, 01LA1, 01LAA2, 01NM).

Rozsah práce:Individuální práce studentů zahrnuje implementaci a vyzkoušení vlastního programu pro řešení vybrané okrajové úlohy. Výsledek je ověřen u zkoušky prezentací funkčnosti programu.
Kličová slova:Okrajové a smíšené úlohy pro diferenciální rovnice, metoda střelby, metoda konečných diferencí, diferenční schéma, metoda energetických nerovností pro vyšetřování vlastností numerických schémat, explicitní a implicitní metody, zákony zachování.
Literatura:Povinná literatura:
[1] A.A. Samarskij, Teoria raznostnych schem, Moskva, Nauka 1983
[2] A.A. Samarskij a J.S. Nikolajev, Numerické řešení velkých řídkých soustav, Praha, Academia 1985
[3] E.Vitásek, Numerické metody, SNTL, Praha 1987
[4] R.J. LeVeque, Finite Volume Methods for Hyperbolic Problems, Cambridge University Press, 2002

Doporučená literatura:
[5] R.J. LeVeque, Finite Difference Methods for Ordinary and Partial Differential Equations, Steady State and Time Dependent Problems, SIAM, 2007
[6] E. Godlewski a P.-A. Raviart, Numerical approximation of hyperbolic systems of conversation laws, New York, Springer 1996

Studijní pomůcky:
Počítačová učebna Windows/Linux s programovacími jazyky C, Pascal, Fortran.

Lineární programování01LIP Burdík 2+1 z,zk - - 3 -
Předmět:Lineární programování01LIPprof. RNDr. Burdík Čestmír DrSc.-2+1 Z,ZK-3
Anotace:Předmět se zabývá speciálními úlohami na vázané extrémy funkcí více proměnných(funkce je lineární a vazbové podmínky mají tvar lineárních rovnic a nerovnic).
Osnova:Tvary úloh LP, dualita. Lineární rovnice a nerovnice, konvexní mnohostěn, bazické přípustné řešení, komplementarita. Metody: simplexová, duální simplexová, primárně-duální, revidovaná. Princip dekompozice, dopravní problém. Diskrétní LP (Gomoryho algoritmus). Aplikace LP v teorii her - maticové hry. Časově polynomiální algoritmy LP (Chačijan, Karmarkar).
Osnova cvičení:1. Test optimality přípustného řešení, poznat krajní bod množiny přípustných řešení, sestavení duální úlohy.
2. Simplexová metoda, duální simplexová metoda, primárně duální simplexová metoda.
3. Gomoryho algoritmus, celočíselný algoritmus.
4. Aplikace v teorii her.
Cíle:Znalosti:
Matematický základ o soustavách lineárních rovnic a nerovnic.

Schopnosti:
Umět používat probrané algoritmy na řešení konkrétních úloh z praxe.
Požadavky:Základní kurzy matematické analýzy a lineární algebry
(dle přednášek na FJFI ČVUT v Praze 01MA1, 01MAA2-4, 01LAA1, 01LAA2).

Rozsah práce:
Kličová slova:Přípustné a optimální řešení, bazické řešení, krajní bod, simplexová metoda, slabá komplementarita, celočíselné programování.
Literatura:Povinná literatura:
[1] Ján Plesník, Jitka Dupačová, Milan Vlach: Lineárne programovanie, ALFA, Bratislava 1990, 1. Vydání,
[2] Libuše Grygarová: Úvod do lineárního programování, skripta, Státní pedagogické nakladatelství, Praha 1975, 1. vydání, skripta

Doporučená literatura:
[3] Jitka Dupačová:Lineární programování, SPN, Praha 1982,
[4] Prof.Ing.Josef Jablonský,CSc.: Operační výzkum, Kvantitativní modely pro ekonomické rozhodování, Professional Publishing, 2002

Programování v Javě18PJ Virius 2+2 z,zk - - 5 -
Předmět:Programování v JAVĚ18PJdoc. Ing. Virius Miroslav CSc.2+2 Z,ZK-5-
Anotace:Přednáška seznamuje studenty s platformou Java a s vývojem základních druhů aplikací pro ni.
Osnova:1. Organizační záležitosti, seznámení s JDK, první program, dokumentace.
2. Další jednoduché programy. Základní vstupní operace. Základní datové typy.
3. Příkazy. Proměnné primitivních typů.
4. Třída, správa paměti. Statické a nestatické datové složky a metody, konstruktory.
5. Pole. Rozhraní. Klonování objektů.
6. Výjimky.
7. Datové proudy.
8. Grafické uživatelské rozhraní.
9. Vícevláknové programy.
10. Databázové aplikace.
11. Regulární výrazy.
12. Lokalizace a internacionalizace.
13. Servlety a stránky JSP.
Osnova cvičení:Osnova cvičení se shoduje s osnovou přednášky.
Cíle:Znalosti:
Programovací jazyk Java a vybrané technologie používané na této platformě.

Schopnosti:
Navrhnout a implementovat řešení softwarové úlohy pomocí vybraných technologií platformy Java.
Požadavky:Programování v C++.
Rozsah práce:Individuální práce studenta představuje program v jazyce Java využívající některou z pokročilejších technologií. Ověřuje se prezentací funkčního programu u zkoušky.
Kličová slova:Programovací jazyk Java, platforma Java, multithreading, třída, konstruktor, rozhraní, výjimka, datový proud, GUI, databáze, regulární výraz, lokalizace, internacionalizace,
servlet, JSP.
Literatura:Povinná literatura:
[1] Virius, M.: Programování v Javě. Praha, ČVUT 2010. ISBN 978-80-01-04518-3.

Doporučená literatura:
[2] Eckel, B.: Myslíme v jazyku Java. Knihovna programátora. Praha, Grada Publishing 2001.
[3] Eckel, B.: Myslíme v jazyku Java. Knihovna zkušeného programátora. Praha, Grada Publishing 2001.
[4] Herout, P.: Učebnice jazyka Java. České Budějovice, Kopp, 2000. ISBN 80-7232-115-3.
[5] Herout, P.: Java -- grafické uživatelské prostředí a čeština. České Budějovice, Kopp 2001. ISBN 80-7232-150-1.
[6] Herout, P.: Java -- bohatství knihoven. České Budějovice, Kopp 2003. ISBN 80-7232-209-5.

Pravděpodobnost a statistika01PRST Hobza 3+1 z,zk - - 4 -
Předmět:Pravděpodobnost a statistika01PRSTIng. Hobza Tomáš Ph.D.3+1 Z,ZK-4-
Anotace:Jedná o základní kurs teorie pravděpodobnosti a matematické statistiky. Teorie pravděpodobnosti je budována postupně přes klasickou až po kolmogorovskou definici, jsou zavedeny pojmy náhodná veličina, distribuční funkce a charakteristiky náhodné veličiny, jsou vysloveny a dokázány základní limitní věty. Na základě této teorie jsou poté vyloženy základní metody matematické statistiky jako je odhadování parametrů rozdělení a testování hypotéz.
Osnova:1.Klasická definice pravděpodobnosti, axiomatická definice pravděpodobnosti, podmíněná pravděpodobnost a Bayesova věta
2. Náhodné veličiny, distribuční funkce, diskrétní a spojité náhodné veličiny, nezávislost náhodných veličin, charakteristiky náhodných veličin
3. Zákon velkých čísel, centrální limitní věta
4. Bodové odhady parametrů, intervalové odhady spolehlivosti
5. Testování statistických hypotéz, testy dobré shody
Osnova cvičení:1. Kombinatorické vzorce, klasická a geometrická pravděpodobnost
2. Podmíněná pravděpodobnost a výpočtové věty s ní spojené
3. Distribuční funkce náhodné veličiny, diskrétní a spojité náhodné veličiny, transformace náhodných veličin
4. Charakteristiky náhodných veličin, zejména střední hodnota a rozptyl, centrální limitní věta
5. Bodové odhady parametrů
6. Testování hypotéz, testy dobré shody
Cíle:Znalosti:
Základy teorie pravděpodobnosti a přehled v jednoduchých metodách matematické statistiky.

Schopnosti:
Aplikace teorie pravděpodobnosti na výpočet konkrétních příkladů, statistická analýza a zpracování reálných dat, testování hypotéz o souborech reálných dat.
Požadavky:Základní kurzy matematické analýzy (dle přednášek na FJFI ČVUT v Praze 01MAB3, 01MAB4).
Rozsah práce:
Kličová slova:Náhodná veličina, distribuční funkce, pravděpodobnostní funkce, hustota pravděpodobnosti, nezávislost náhodných veličin, střední hodnota, rozptyl, centrální limitní věta, bodové odhady parametrů, testování hypotéz, testy dobré shody.
Literatura:Povinná literatura:
[1]. V. Rogalewitz: Pravděpodobnost a statistika pro inženýty, ČVUT-FEL 2000
[2] D. Jarušková, M. Hála, Pravděpodobnost a matematická statistika - příklady, ČVUT - FS, 2002

Doporučená literatura:
[3] V. Dupač, M. Hušková: Pravděpodobnost a matematická statistika. UK - Nakladatelství Karolinum, Praha, 2003

Funkce komplexní proměnné01FKO Šťovíček - - 2+1 z,zk - 3
Předmět:Funkce komplexní proměnné01FKO----
Anotace:
Osnova:
Osnova cvičení:
Cíle:
Požadavky:
Rozsah práce:
Kličová slova:
Literatura:

Počítačová grafika 1, 201POGR12 Strachota 2 z 2 z 2 2
Předmět:Počítačová grafika 101POGR1Ing. Strachota Pavel Ph.D.2 Z-2-
Anotace:První část dvousemestrálního předmětu "Počítačová grafika" je věnována specifikům digitálních zobrazovacích zařízení od historických technologií po ty nejmodernější a přehledu základních problémů v dvourozměrné počítačové grafice a jejich řešení. Důraz je kladen na matematický popis problémů a výklad příslušných algoritmů s využitím znalostí z širokého spektra předmětů vyučovaných na FJFI (matematická analýza, lineární algebra, pravděpodobnost a statistika, teorie informace, teorie kódování, základy algoritmizace, teorie složitosti, numerická matematika). Výklad ukazuje praktické aplikace těchto teoretických disciplín, avšak nevyžaduje jejich hlubší znalost. Závěrečná část kurzu se zaměřuje na uplatnění moderních technologií počítačové grafiky pro tvorbu (po formální stránce) kvalitních vědeckých dokumentů a prezentací.
Osnova:1. Hardware v počítačové grafice
2. Lidský zrak, vnímání barev a jejich reprezentace
3. Rastrové algoritmy
4. Výpočetní geometrie
5. Transformace obrazu (interpolace, warping, morphing)
6. Formáty a algoritmy pro ukládání a kompresi obrazu
7. Grafická uživatelská rozhraní
8. Webové a multimediální technologie
9. Grafika v tvorbě vědeckých dokumentů
Osnova cvičení:Cvičení je součástí výkladu a obsahuje řešení jednodušších konkrétních úloh dvourozměrné počítačové grafiky - např. algoritmy digitálního polotónování, Bresenhamův algoritmus, vyplňování útvarů, hledání konvexního obalu množiny bodů, komprese LZW a pod.
Cíle:Znalosti:
Orientace v základních problémech dvourozměrné počítačové grafiky a metodách jejich řešení, stejně jako v nejmodernějších dostupných technologiích. Solidní teoretický i praktický základ pro další vývoj těchto metod a jejich přizpůsobení konkrétním potřebám.

Schopnosti:
Okamžitá schopnost aplikovat metody počítačové grafiky v multimediálních prezentacích, ve vědecké vizualizaci a v počítačovém zpracování dat. Komplexní návrh a implementace odpovídajících softwarových nástrojů. Schopnost produkovat po formální stránce kvalitní výstupy vědecké práce (články, transparenty, postery apod.) s pomocí profesionálních technologií.
Požadavky:
Rozsah práce:Pro získání zápočtu studenti samostatně či v týmu vypracují práci na přidělené téma. Práce má povahu softwarového projektu s důrazem na samostatné vyhledávání informací, implementaci algoritmů nad rámec přednášky a zodpovědné předání funkční aplikace včetně dokumentace při osobním pohovoru. V průběhu práce mohou studenti využít možnost konzultací.
Kličová slova:Monitory, grafické akcelerátory, barevné prostory, rastrové algoritmy, výpočetní geometrie, warping, morphing, grafické formáty, komprese dat, grafická uživatelská rozhraní, multimédia.
Literatura:Povinná literatura:
[1] Žára, Beneš, Sochor, Felkel - Moderní počítačová grafika. Computer Press, Praha, 2005.

Doporučená literatura:
[2] J. D. Foley, A. van Dam, S. K. Feiner, J. F. Hughes: Computer Graphics: Principles and Practice, Addison Wesley, 1997.

Studijní pomůcky:
Počítačová učebna Windows/Linux, Programovací jazyky C, C++, Java, C#, MS Visual Studio, knihovny Qt, SDL.

Předmět:Počítačová grafika 201POGR2Ing. Oberhuber Tomáš Ph.D. / Ing. Strachota Pavel Ph.D.-2 Z-2
Anotace:Druhá část dvousemestrálního předmětu "Počítačová grafika" začíná stručnou teorií signálu v kontextu v počítačové grafice všudypřítomného aliasingu. Dále výklad představuje strukturovaný přehled základních problémů v trojrozměrné počítačové grafice a jejich řešení, od popisu trojrozměrné scény až po její realistické zobrazení. Důraz je kladen na matematický popis problémů a výklad příslušných algoritmů s využitím znalostí z širokého spektra předmětů vyučovaných na FJFI (matematická analýza, lineární algebra, pravděpodobnost a statistika, teorie informace, teorie kódování, základy algoritmizace, teorie složitosti, numerická matematika). Výklad ukazuje praktické aplikace těchto teoretických disciplín, avšak nevyžaduje jejich hlubší znalost. Pozornost je věnována též otázce implementace probíraných algoritmů, návrhu datových struktur apod.
Osnova:1. Úvod do teorie signálu
2. Cíle počítačové 3D grafiky
3. Křivky a plochy
4. Reprezentace pevných těles
5. Techniky procedurálního modelování
6. Geometrické transformace objektů pomocí matic
7. Promítání
8. Řešení viditelnosti
9. Osvětlování a stínování
10. Aplikace textur
11. Sledování paprsku a fyzikálně založené zobrazovací metody
Osnova cvičení:Cvičení je součástí výkladu a obsahuje řešení jednodušších konkrétních úloh trojrozměrné počítačové grafiky - např. rasterizace kubických křivek, algoritmy pro regularizované booleovské operace nad oktantovými stromy, fraktální modelování terénů pomocí programu Terragen, geometrické transformace v homogenních souřadnicích, algoritmus siluety pro řešení viditelnosti, základní varianta metody sledování paprsku a pod.
Cíle:Znalosti:
Orientace v základních problémech trojrozměrné počítačové grafiky a metodách jejich řešení, stejně jako v nejmodernějších dostupných technologiích. Solidní teoretický i praktický základ pro další vývoj těchto metod a jejich přizpůsobení konkrétním potřebám.

Schopnosti:
Okamžitá schopnost aplikovat metody počítačové grafiky v multimediálních prezentacích, ve vědecké vizualizaci a v počítačovém zpracování dat. Komplexní návrh a implementace odpovídajících softwarových nástrojů.
Požadavky:Absolvování kurzu "Počítačová grafika 1" je silně doporučeno, avšak není podmínkou.
Rozsah práce:Pro získání zápočtu studenti samostatně či v týmu vypracují práci na přidělené téma. Práce má povahu softwarového projektu s důrazem na samostatné vyhledávání informací, implementaci algoritmů nad rámec přednášky a zodpovědné předání funkční aplikace včetně dokumentace při osobním pohovoru. V průběhu práce mohou studenti využít možnost konzultací.
Kličová slova:Teorie signálu, aliasing, křivky a plochy, reprezentace pevných těles, procedurální a fraktální modelování, promítání, řešení viditelnosti, osvětlování a stínování, sledování paprsku, radiozita, fotonové mapy.
Literatura:Povinná literatura:
[1] Žára, Beneš, Sochor, Felkel - Moderní počítačová grafika. Computer Press, Praha, 2005.

Doporučená literatura:
[2] J. D. Foley, A. van Dam, S. K. Feiner, J. F. Hughes: Computer Graphics: Principles and Practice. Addison Wesley, 1997.
[3] A. S. Glassner: An Introduction to Ray Tracing. Morgan Kaufmann Publishers, San Francisco, 2002.
[4] M. F. Cohen, J. R. Wallace: Radiosity and Realistic Image Synthesis. Morgan Kaufmann Publishers, San Francisco, 1993.

Studijní pomůcky:
Počítačová učebna Windows/Linux, Programovací jazyky C, C++, Java, C#, MS Visual Studio, knihovny Qt, SDL, OpenGL, DirectX, Blender, 3dsMax.

Seminář k bakalářské práci01BSEM Strachota - - 0+2 z - 2
Předmět:Seminář k bakalářské práci01BSEMIng. Strachota Pavel Ph.D.-0+2 Z-2
Anotace:Seminář k bakalářské práci - technické detaily bakalářské práce, forma a zpracování bakalářské práce, jednotlivá vystoupení studentů v rámci presentace svých výsledků.
Osnova:Seminář k bakalářské práci - technické detaily bakalářské práce, forma a zpracování bakalářské práce, jednotlivá vystoupení studentů v rámci presentace svých výsledků.
Osnova cvičení:1. Technické detaily bakalářské práce.
2. Forma a zpracování bakalářské práce.
3. Jednotlivá vystoupení studentů.
4. Presentace svých vlastních výsledků.
Cíle:Znalosti:
V rámci zadaného tématu školitelem prokázat odborné znalosti ve svém vlastním oboru.

Schopnosti:
Sestavení kvalitních bakalářských prací, presentací a schopnost této fyzické presentace před auditoriem.
Požadavky:Schopnost sestavení vlastní odborné presentace na zadané téma bakalářské práce.
Rozsah práce:Zápočet po úspěšném absolvování presentace před hodnotitelským publikem.
Kličová slova:Bakalářská práce, obhajoba bakalářské práce, forma prezentace, prezentace.
Literatura:Vlastní literatura poskytnutá školitelem.
Studijní pomůcky: Místnost s projektorem.

Bakalářská práce 1, 201BPSI12 Strachota 0+5 z 0+10 z 5 10
Předmět:Bakalářská práce 101BPSI1Ing. Strachota Pavel Ph.D.0+5 Z-5-
Anotace:Příprava bakalářské práce na zvolené téma pod vybraným školitelem. Vedení a průběžná kontrola přípravy bakalářské práce.
Osnova:Bakalářská práce na zvolené téma pod vybraným školitelem.
Osnova cvičení:
Cíle:Znalosti:
Individuální tématika podle zadání práce.

Schopnosti:
Samostatná práce na zadaném úkolu, orientace v dané problematice,
sestavení vlastního odborného textu.
Požadavky:Schopnost samostatné práce studentů.
Rozsah práce:Rozsah: cca 40-60 stránek.
Zaměření: Individuální, předmět je samostatnou prací studenta na zadaném tématu.
Způsob kontroly: Práce jsou průběžně kontrolovány školitelem a příslušnou katedrou, zápočet udělen oproti posudku školitele.
Kličová slova:Bakalářská práce, výzkum, vývoj, matematické modely, aplikace.
Literatura:Individuální

Předmět:Bakalářská práce 201BPSI2Ing. Strachota Pavel Ph.D.-0+10 Z-10
Anotace:Příprava bakalářské práce na zvolené téma pod vybraným školitelem. Vedení a průběžná kontrola přípravy bakalářské práce.
Osnova:Bakalářská práce na zvolené téma pod vybraným školitelem.
Osnova cvičení:
Cíle:Znalosti:
Individuální tématika podle zadání práce.

Schopnosti:
Samostatná práce na zadaném úkolu, orientace v dané problematice,
sestavení vlastního odborného textu.
Požadavky:Schopnost samostatné práce studentů.
Rozsah práce:Rozsah: cca 40-60 stránek.
Zaměření: Individuální, předmět je samostatnou prací studenta na zadaném tématu.
Způsob kontroly: Práce jsou průběžně kontrolovány školitelem a příslušnou katedrou. Odevzdání práce, posudky školitele a oponenta, následně obhajoba před komisí státních závěrečných zkoušek.
Kličová slova:Bakalářská práce, výzkum, vývoj, matematické modely, aplikace.
Literatura:Individuální

Výuka jazyků04... KJ - - - - - -

Volitelné předměty

Pokročilá pravděpodobnost01POPR Hobza - - 2+0 z - 2
Předmět:Pokročilá pravděpodobnost01POPRIng. Hobza Tomáš Ph.D.----
Anotace:Obsahem předmětu je hlubší základ do Teorie pravděpodobnosti a statistiky na úrovni teorie míry pro obecná rozložení náhodných veličin. Probrány jsou výběrové i integrální charakteristiky veličin a kritéria konvergence. Dále je rozšířena teorie odhadů statistického modelu a jeho testování pro parametrický i neparametrický případ.
Osnova:1. Prostory náhodných veličin: Měřitelné prostory, borelovské množiny a funkce, prostor náhodných veličin, podsystémy generující borelovskou sigma-algebru, indukovaná míra, Monotone Class theorem, existence a jednoznačnost rozšíření míry, nezávislost sigma-algeber, stochastická nezávislost generujících podsystémů, zúplnění sigma-algebry, zúplnění míry P.
2. Rozdělení náhodných veličin: Absolutní spojitost měr, sigma-finitní míry, Radon-Nikodymova věta, derivace podle míry, jednoznačnost, Lebesgueův rozklad distribuční funkce, podmíněná pravděpodobnostní míra.
3. Integrál podle pravděpodobnostní míry: Lp-prostory integrovatelných náhodných veličin, třídy ekvivalence, součinové pravděpodobnostní míry, nezávislost, Lebesgueova věta, Tonelliho věta, věta o přenosu integrace, Hilbertův prostor L2.
4. Charakteristická funkce: Vlastnosti, výpočet pro známá rozdělení, důkaz jednoznačnosti (třída funkcí C0, Stone-Weierstrassův teorém), použití pro rozdělení transformovaných veličin a reprodukční vlastnosti.
5. Konvergence na vícerozměrných prostorech: Konvergence transformovaných náhodných veličin, Kolmogorovův silný zákon velkých čísel, Chinčinova věta, řád konsistence, slabá konvergence pravděpodobnostních měr, Lévyho věta o spojitosti, Hellyho selekční princip, Skorokhodovův representační teorém, Slutskyho věta v Rd, Lindeberg-Lévyho a Lindeberg-Fellerova centrální limitní věta, Berry-Esseenova věta.
6. Pokročilejší Statistika: Přirozená prodloužení náhodných veličin na součinový prostor, regulární systémy hustot, Rao-Cramerova nerovnost v Rd. Důkaz existence konsistentního řešení rovnice věrohodnosti a jejich asymptotické eficience. Množina bodů supereficience, asymptotická relativní eficience a deficience odhadů. Znáhodněné testování hypotéz a zobecněné Neyman-Pearsonovo lemma. Neparametrické modely, empirická distribuční funkce a hustota, vlastnosti, Glivenko-Cantelliho věta, Dvoretzky-Keifer-Wolfowitzova věta, Vapnik-Chervonenkisova nerovnost. Jádrové odhady hustot a jejich vlastnosti.
Osnova cvičení:
Cíle:Znalosti:
Rozšiřující pojmy a souvislosti v následujících oblastech: Pravděpodobnostní míra, náhodné veličiny, rozdělení pravděpodobnosti, střední hodnota, charakteristická funkce, konvergence, limitní věty a další asymptotické výsledky, statistický bodový odhad, testování hypotéz.

Schopnosti:
Na úrovni teorie míry schopnost zpracovávat obecnější pravděpodobnostní modely s hlubším pochopením náhodných zákonitostí jak z teoretického pohledu tak vzhledem k praktickému použití. Schopnost použití pro pravděpodobnostní výpočty v konkrétních situacích ve statistice a zpracování dat parametrických i neparametrických modelů.
Požadavky:Základní kurzy matematické analýzy dle přednášek na FJFI ČVUT v Praze 01MAB3-4, dále 01PRST.
Rozsah práce:
Kličová slova:Prostory náhodných veličin, rozdělení náhodných veličin, integrál podle pravděpodobnostní míry, charakteristická funkce, konvergence na vícerozměrných prostorech náhodných veličin, odhady parametrů, testování hypotéz, neparametrické modely.
Literatura:Povinná literatura:
[1] Rényi A., Teorie pravděpodobnosti, Academia, Praha, 1972.
[2] Anděl J., Základy matematické statistiky, MatFyzPress, Praha, 2005.
[3] Schervish M.J., Theory of Statistics, Springer, 1995.

Doporučená literatura:
[4] Shao J., Mathematical Statistics, Springer, 1999.
[5] Lehmann E.L., Point Estimation, Wiley, N.Y., 1984.
[6] Lehmann E.L., Testing Statistical Hypotheses, Springer, N.Y., 1986.

Teorie dynamických systémů01DYSY Augustová - - 3+0 zk - 3
Předmět:Teorie dynamických systémů01DYSYMgr. RNDr. Augustová Petra Ph.D.-3+0 ZK-3
Anotace:Předmět je úvodem do teorie systémů s důrazem na teorii řízení a pochopení základních konceptů systémů a teorie řízení. Nejprve se vytvoří základní chápání dynamického chovaní systémů a potřebné matematické znalosti. Vnitřní a vnější popisy systémů jsou podrobně vysvětleny, včetně stavového popisu, impulsní charakteristiky a přenosu, polynomiálních matic a jejich podílu. Dále jsou objasněny pojmy stabilita, řiditelnost, pozorovatelnost a realizace, přičemž důraz je stále kladen na fundamentální výsledky. Stavová zpětná vazba, odhad stavu a umístění polů jsou diskutovány. Parametrizace všech stabilizujících regulátorů je odvozena na základě vnějšího popisu. Převážně se uvažují lineární časově invariantní systémy ať spojité, nebo diskrétní.
Osnova:1. Úvod do obecné teorie systémů (rozhodování, řízení, struktury řízení, objekt, model, systém).
2. Popis systémů (vnitřní a vnější popis systémů, stochastické procesy a systémy, vazby mezi systémy).
3. Vnitřní dynamika, vstupní a výstupní omezení (řešení stavových rovnic systému, módy systému, souvislost spojitého a diskrétního popisu systému, stabilita, dosažitelnost a pozorovatelnost).
4. Změna dynamických vlastností systému (stavová zpětná vazba, rekonstrukce stavů systému, separační princip, dekompozice a realizace systému, citlivostní analýza systému).
5. Řízení (řízení se zpětnou vazbou od stavu, zpětnovazebné řízení).
Osnova cvičení:
Cíle:Znalosti:
Studenti získají jasnou představu o dynamickém chování lineárních systémů, o jejich výhodách a omezeních.

Schopnosti:
Budou schopni popsat systém, analyzovat jeho vlastnosti jako stabilita, řiditelnost a pozorovatelnost a aplikovat teorii systémů na konkrétní příklady z fyzikální a inženýrské praxe.
Požadavky:Základy obyčejných diferenciálních rovnic a lineární algebry (dle přednášek na FJFI ČVUT v Praze 01DIFR, 01LA1, 01LAA2).
Rozsah práce:
Kličová slova:Dynamické systémy, lineární systémy, stabilita, řiditelnost, pozorovatelnost, linearizace, teorie řízení.
Literatura:Povinná literatura:
[1] P. J. Antsaklis, A. N. Michel: A Linear Systems Primer. Birkhäuser, 2007. ISBN-13: 978-0-8176-4460-4

Doporučená literatura:
[2] J. Štecha, V. Havlena: Teorie dynamických systémů, Vydavatelství ČVUT, 2002. ISBN 80-01-01971-3
[3] Mikleš, J. a Fikar, M., Process Modelling, Identification, and Control, Springer Verlag, Berlin, 2007. ISBN-13: 978-3540719694
[4] P. J. Antsaklis and A. N. Michel, Linear Systems, Birkhäuser, Boston, MA, 2006. ISBN-13: 978-0817644345
[5] T. Kailath: Linear systems. Prentice-Hall, Englewood Cliffs, NJ, 1980. ISBN-13: 978-0135369616

Programování pro Windows01PW Čulík 2+0 z - - 2 -
Předmět:Programování pro Windows01PWIng. Čulík Zdeněk2+0 Z-2-
Anotace:Tvorba grafického uživatelského rozhraní pro MS Windows. Základní ovládací prvky. Práce se soubory. Uživatelem definované komponenty a jejich návaznost na dynamickou identifikaci typů a reflexi.
Osnova:1. Tvorba grafického uživatelského rozhraní v jazyce C#
2. Programování základních ovládacích prvků
3. Práce s obrazovými daty. Ukládání informací ve formátu XML
4. Přístup k databázím
5. Programování komponent vývojového prostředí Visual Studio
6. Význam dynamické identifikace typů pro vývojová prostředí
Osnova cvičení:
Cíle:Znalosti:
Programovací jazyk C#, platforma .NET, aplikace s grafickým uživatelským rozhraním pro MS Windows.

Schopnosti:
Navrhnout a naprogramovat aplikaci v jazyce C#.
Požadavky:
Rozsah práce:Studenti samostatně naprogramují aplikaci s grafickým uživatelským rozhraním v jazyce C#.
Kličová slova:Win32, .Net, C#, Visual Studio.
Literatura:Povinná literatura:
[1] C. Petzold, Programování Microsoft Windows Forms v jazyce C#, Praha, Computer Press, 2006

Doporučená literatura:
[2] M. Virius, C# pro zelenáče, Praha, Neocortex, 2002
[3] C. Petzold, .NET Book Zero, http://www.charlespetzold.com/dotnet/
[4] http://msdn.microsoft.com/

Počítačové sítě 1, 201SITE12 Minárik 1+1 z 1+1 z 2 2
Předmět:Počítačové sítě 101SITE1Ing. Minárik Miroslav1+1 Z-2-
Anotace:Seznámení se s historií a současností sítí (LAN, WAN, používané principy a technologie). Architektura referenčního modelu ISO/OSI. Sítové protokoly, praktické cvičení komunikace TCP/IP. Služby internetu - mail, vzdálený přístup, www. Zabezpečená komunikace, tunelování. Adresářové služby, certifikáty, certifikační autority, infrastruktura veřejného klíče (PKI). Použití v praxi. Zabezpečení síťě - firewally (paketový filtr, proxy, brány, NAT, DMZ), praktická cvičení. (Dle zájmu - ovládání sériové linky, modemy).
Osnova:1. Historie a současnost počítačových sítí. Topologie, používané principy a technologie.
2. Referenční model ISO/OSI.
3. Síťové protokoly, komunikace TCP/IP.
4. Služby internetu. Vzdálený přístup, elektronická pošta (formáty, přenos, přístup ke schránce).
5. Zabezpečení služeb, tunelování.
Osnova cvičení:1. Přístup k elektronické poště, formátování a přenos.
2. Zabezpečení komunikace šifrovaným kanálem, tunelování.
3. TCP/IP komunikace (volitelně C, C++, Java, aj.).
4. Vzdálený přístup (telnet, ssh, XWindows, Remote Desktop, VNC).
Cíle:Znalosti:
Používání zabezpečených přenosových kanálů, principy elektronické pošty, adresářové služby a jejich použití, infrastruktura veřejného klíče, principy firewallů.

Schopnosti:
Sestavení bezpečného přenosového kanálu, práce s certifikáty, základní nastavení směrování a firewallů.
Požadavky:Kurs základů programování, algoritmizace (dle přednášek na FJFI ČVUT v Praze ZPRO, ZALG).
Rozsah práce:
Kličová slova:Formátování a přenos elektronické pošty (MIME, SMTP, IMAP, POP), zabezpečená komunikace (šifrování, ssh, ssl, stunnel), komunikace TCP/IP, adresářové služby (LDAP, LDIF), infrastruktura veřejného klíče, elektronický podpis, Firewall.
Literatura:Povinná literatura:
[1] Scott Oaks, Java security, O'Reilly, 2001.

Doporučená literatura:
[2] William R. Cheswick, Steven M. Bellovin, "Firewally a bezpečnost Internetu, aneb, Jak zahnat lstivého hackera?, Science, 1998.
[3] William R. Cheswick, Steven M. Bellovin, Aviel D. Rubin, "Firewalls and Internet security: repelling the wily hacker?, ADDISON-WESLEY, 2003.
[4] Gert De Laet, Gert Schauwers, "Network security fundamentals?, Cisco Press, 2004.
[5] William Stallings, "Cryptography and Network Security: Principles and Practice?, Prentice Hall, 2006.

Internetové zdroje:
[6] http://www.protocols.com/
[7] standardy "RequestForComments? (http://www.ietf.org/)
[8] http://svetsiti.cz/

Studijní pomůcky:
Počítačová učebna Windows/Linux s programovacími jazyky Java, C, C++, Pascal.

Předmět:Počítačové sítě 201SITE2Ing. Minárik Miroslav-1+1 Z-2
Anotace:Seznámení se s historií a současností sítí (LAN, WAN, používané principy a technologie). Architektura referenčního modelu ISO/OSI. Sítové protokoly, praktické cvičení komunikace TCP/IP. Služby internetu - mail, vzdálený přístup, www. Zabezpečená komunikace, tunelování. Adresářové služby, certifikáty, certifikační autority, infrastruktura veřejného klíče (PKI). Použití v praxi. Zabezpečení síťě - firewally (paketový filtr, proxy, brány, NAT, DMZ), praktická cvičení. (Dle zájmu - ovládání sériové linky, modemy).
Osnova:1. Zabezpečení sítě, počítače (firewall: paketový filtr, proxy, brány, NAT), virtuální privátní sítě.
2. Adresářové služby, identifikace entit reálného světa, ASN1, LDAP, LDIF.
3. Certifikáty, certifikační autority, infrastruktura veřejného klíče.
4. Elektronický podpis.
Osnova cvičení:1. Přístup k adresářové službě, LDAP, LDIF.
2. Jednoduchá certifikační autorita na bázi OpenSSL.
3. Šifrování, elektronický podpis (Java JCE).
4. Propojení sítí, směrování, firewall (filtrování, NAT).
Cíle:Znalosti:
Používání zabezpečených přenosových kanálů, principy elektronické pošty, adresářové služby a jejich použití, infrastruktura veřejného klíče, principy firewallů.

Schopnosti:
Sestavení bezpečného přenosového kanálu, práce s certifikáty, základní nastavení směrování a firewallů.
Požadavky:Kurs základů programování, algoritmizace (dle přednášek na FJFI ČVUT v Praze ZPRO, ZALG).
Rozsah práce:
Kličová slova:Formátování a přenos elektronické pošty (MIME, SMTP, IMAP, POP), zabezpečená komunikace (šifrování, ssh, ssl, stunnel), komunikace TCP/IP, adresářové služby (LDAP, LDIF ), infrastruktura veřejného klíče, elektronický podpis, Firewall.
Literatura:Povinná literatura:
[1] Scott Oaks, Java security, O'Reilly, 2001.

Doporučená literatura:
[2] William R. Cheswick, Steven M. Bellovin, Firewally a bezpečnost Internetu, aneb, Jak zahnat lstivého hackera, Science, 1998.
[3] William R. Cheswick, Steven M. Bellovin, Aviel D. Rubin, Firewalls and Internet security: repelling the wily hacker, ADDISON-WESLEY, 2003.
[4] Gert De Laet, Gert Schauwers, Network security fundamentals, Cisco Press, 2004.
[5] William Stallings, Cryptography and Network Security: Principles and Practice, Prentice Hall, 2006.
[6] http://www.protocols.com/
[7] standardy RequestForComments (http://www.ietf.org/)
[8] http://svetsiti.cz/

Studijní pomůcky:
Počítačová učebna Windows/Linux s programovacími jazyky Java, C, C++, Pascal.

Jednoduché překladače01JEPR Čulík - - 2 z - 2
Předmět:Jednoduché překladače01JEPRIng. Čulík Zdeněk-2 Z-2
Anotace:Lexikální a syntaktická analýza, generování kódu, jednoduché optimalizace, principy integrovaných vývojových prostředí, dynamické identifikace typů.
Osnova:1. Lexikální a syntaktická analýza zdrojových textů některých programovacích jazyků (Pascal, C++, Java)
2. Datové struktury používané pro uložení a zpracování výrazů, příkazů, typů a deklarací
3. Programy pro generování překladačů (Lex, Yacc, ANTLR)
4. Jednoduché optimalizace
5. Generování kódu, sestavování knihoven a proveditelných souborů
6. Principy integrovaných vývojových prostředí, vliv dynamické identifikace typů na vývojová prostředí
Osnova cvičení:1. Příklad lexikální analýzy napsané v jazyce C
2. Ručně psaný sémantický analyzátor
3. Zpracování typů a deklarací, využití v programátorských vývojových prostředích
4. Generování sémantické analýzy s využitím programu ANTLR
5. Příklady jednoduchého generování kódu, přidělování registrů
6. Přídavné moduly pro překladače GCC a LLVM/CLang
Cíle:Znalosti:
Struktura překladačů programovacích jazyků, generování strojového kódu, strojový překlad do jiného programovacího jazyka.

Schopnosti:
Naprogramovat syntaktickou a sémantickou analýzu jednoduchého programovacího jazyka s využitím moderních nástrojů pro zpracování gramatik.
Požadavky:
Rozsah práce:Samostatná práce studentů je zaměřena na získání praktických zkušeností s programem ANTLR pro zpracování gramatik programovacích jazyků.
Kličová slova:Programovací jazyky, překladače.
Literatura:Povinná literatura:
[1] N. Wirth: Compiler Construction, Addison Wesley, 1996

Doporučená literatura:
[2] S. Pemberton, M. Daniels: Pascal Implementation: The P4 Compiler, Prentice Hall, 1983
[3] D. Grune, C. Jacobs: Parsing Techniques - A Practical Guide, Ellis Horwood, 1990
[4] http://www.antlr.org

Programování periferií01PERI Čulík 2+0 z - - 2 -
Předmět:Programování periferií01PERIIng. Čulík Zdeněk2+0 Z-2-
Anotace:Organizace operační paměti, vstupních a výstupních portů, sběrnice v počítačích.
Knihovny pro práci s periferiemi,
zejména knihovny pro třírozměrnou grafiku.
Základy programování ovladačů periferijních zařízení.
Osnova:1. Adresování paměti a periferních zařízení
2. Přerušení a řadiče přerušení
3. Klávesnice (služby subsystému BIOS, I/O porty, základy jednoduchého programu pro ovládání klávesnice), sériová komunikace, video adaptéry
4. Příklady grafických programů v OpenGL a příklady využívající knihovnu Open Inventor
5. Diskové služby (rozhraní IDE a SCSI)
6. Stručný úvod do programování ovladačů periferních zařízení v operačních systémech Windows a Linux
7. Význam operačních systémů pracujících v reálném čase
Osnova cvičení:
Cíle:Znalosti:
Přehled metod pro programování hardwaru. Seznámení se s knihovnami pro konkrétní periferii.

Schopnosti:
Naprogramovat aplikaci využívající co nejlépe hardwarové možnosti konkrétní periferie.
Požadavky:
Rozsah práce:Individuální práce studentů sestává z jednoduchých programů komunikujících s periferiemi (například s grafickou kartou nebo klávesnicí).
Kličová slova:Periferie, ovladače zařízení.
Literatura:Povinná literatura:
[1] A. Rubini, J. Corbet: Linux Device Drivers, O Reilly, 2001
[2] D. Shreiner, T. Davis, M, Woo, J. Neider: OpenGL Programming Guide: The Official Guide to Learning OpenGL, Pearson Education, 2003

Doporučená literatura:
[3] T. Shanley, D. Anderson: PCI System Architecture, Addison-Wesley, 1999
[4] Friedheim Schmidt: The SCSI Bus and IDE Interface: Protocols, Applications and Programming, Addison-Wesley, 1997
[5] http://oss.sgi.com/projects/inventor/

Počítače a přirozený jazyk 1, 201POPJ12 Bojar, Zeman 0+2 z 0+2 z 2 2
Předmět:Počítače a přirozený jazyk 101POPJ1Mgr. Zeman Daniel0+2 Z-2-
Anotace:Základní kurz počítačového zpracování a porozumění přirozenému jazyku. Budou probrány metody automatické morfologické a syntaktické analýzy včetně moderních statistických metod zjednoznačnění výsledku. Dvojúrovňová morfologie, značkování a jazykové modely, Viterbiho algoritmus, gramatiky, chart parsing, pravděpodobnostní gramatiky.
Osnova:1. Úvod, přehled aplikací.
2. Programovací jazyk Perl.
3. Korpusy, první aplikace.
4. Lingvistická terminologie, roviny zpracování přirozeného jazyka.
5. Vyhodnocení úspěšnosti.
6. Slovníky a morfologické značky.
7. Dvojúrovňová morfologie, morfonologie. 8. Morfologie a bezkontextové gramatiky.
9. Morfologie a unifikační gramatiky.
10. Značkování (zjednoznačnění výsledků morfologické analýzy).
11. Kontrola pravopisu.
12. Složková syntaxe.
13. Závislostní syntaxe.
Osnova cvičení:
Cíle:Znalosti:
Základní metody zpracování textu v přirozeném jazyce od tokenizace po úroveň syntaktické analýzy.

Schopnosti:
Implementovat některé z nich v jazyce Perl. Pracovat s anotovanými korpusy a existujícími volně dostupnými nástroji, jako jsou taggery a parsery.
Požadavky:
Rozsah práce:Student naprogramuje v Perlu řešení některé úlohy související se zpracováním textů v přirozeném jazyce. V některých případech bude těžištěm práce s již existujícím volně dostupným nástrojem (včetně jeho stažení, instalace a rozchození na stroji, na který má student přístup); v takovém případě budou studentovy skripty v Perlu dotyčný nástroj obalovat a doplňovat, aby bylo možné nástroj nasadit na data, která student dostane k dispozici, popř. aby bylo možné z dat získat odpovědi na doplňující otázky apod. Součástí úlohy může být i vyhodnocení úspěšnosti na testovacích datech. Student svůj program předvede a práci popíše v závěrečné prezentaci ke konci semestru. Zápočet se udílí za úspěšnou implementaci a prezentaci řešení.
Kličová slova:Zpracování přirozeného jazyka, anotovaný korpus, tokenizace, morfologická analýza, dvojúrovňová morfologie, značkování, bezkontextová gramatika, unifikační gramatika, syntaktická analýza, závislostní syntax.
Literatura:Povinná literatura:
[1] James Allen: Natural Language Understanding. The Benjamin/Cummings Publishing Company, Inc.; Redwood City, California,1994. ISBN 0-8053-0334-0.

Doporučená literatura:
[2] Larry Wall, Tom Christiansen, Randal Schwartz: Programming Perl. O'Reilly, 1996. ISBN 1-56592-149-6. http://www.perl.com/
[3] Adolf Erhart: Základy jazykovědy. Státní pedagogické nakladatelství; Praha, 1990
[4] Richard Sproat: Morphology and Computation. Massachusetts Institute of Technology; Cambridge, Massachusetts, 1992. ISBN 0-262-19314-0.
[5] Jan Hajič: Unification Morphology Grammar (doktorandská práce). Univerzita Karlova, Praha, 1994
[6] Stuart Shieber: An Introduction to Unification-based Approaches to Grammar. CSLI Lecture Notes No. 4, Stanford, California, 1986
[7] Sandra Kübler, Ryan McDonald, Joakim Nivre: Dependency Parsing. Morgan and Claypool Publishers; 2009. ISBN 978-1-59829596-2.
[8] Christopher D. Manning, Hinrich Schütze: Foundations of Statistical Natural Language Processing. The MIT Press, Cambridge, Massachusetts, 1999. ISBN 0-26213-360-1.

Studijní pomůcky:
Počítačová učebna s přístupem na internet a k linuxovým strojům, programovací jazyk Perl 5.8 nebo vyšší, dataprojektor.

Předmět:Počítače a přirozený jazyk 201POPJ2Mgr. Bojar Ondřej / Mgr. Zeman Daniel-0+2 Z-2
Anotace:Cílem předmětu je seznámit studenty se širokou problematikou strojového překladu. Strojový překlad je úlohou, na níž lze velmi názorně ilustrovat obtížnost a techniky modelování systémů složitých jako přirozený jazyk. Podrobně probereme několik velmi odlišných přístupů k této úloze i otázky strojového a lidského hodnocení kvality překladu.
Osnova:1. Metriky kvality strojového překladu (lidské i automatické).
2. Překladový a jazykový model, obecný log-lineární model. Stavový prostor částečných hypotéz a jeho prohledávání ("dekódování"). Frázový překlad.
3. Paralelní texty, jejich zarovnání a extrakce "překladových slovníků" a pravidel z paralelních dat.
4. Morfologické předzpracování, frázový překlad o více faktorech.
5. Optimalizace parametrů log-lineárního modelu.
6. Složková syntax ve strojovém překladu, překlad založený na parsingu.
7. Závislostí syntax ve strojovém překladu.
8. Hloubková syntax ve strojovém překladu.
9. Prezentace vlastních příspěvků.
Osnova cvičení:
Cíle:Znalosti:
Přehled o přístupech ke strojovému překladu (statistický frázový a hierarchický, stromové modely, hloubkově-syntaktický překlad), loglineární model a jeho optimalizace, prohledávání prostoru částečných hypotéz. Metody strojového a ručního hodnocení překladu.

Schopnosti:
Použití některé z probraných metod na konkrétní jazyková data. Navrhnout vlastní experiment a použít rozsáhlé volně šiřitelné nástroje k jeho realizaci. Vyhodnocení experimentu a srozumitelná prezentace psanou i mluvenou formou.
Požadavky:
Rozsah práce:Studenti si samostatně nebo v dvou- až čtyřčlenných skupinkách vyberou jedno z doporučených témat "projektu". Projekty jsou vždy experimentální povahy, cílem je vyhodnotit nějakou konkrétní techniku z oblasti strojového překladu, ev. navrhnout vlastní či rozšířit existující postup. (Např. automatické vyhodnocování kvality překladu a hledání chyb, identifikace částí vět těžkých pro strojový překlad, čištění paralelních dat, drobná rozšíření frázového překladového modelu ap.) Nedílnou součástí je prezentace projektu a jeho (předběžných) výsledků během semestru a cca čtyřstránková souhrnná zpráva ve formě vědeckému článku. Zápočet se udílí za dobře provedený experiment, jeho prezentaci a závěrečnou zprávu.
Kličová slova:Zpracování přirozeného jazyka, paralelní korpusy, strojový překlad, frázový překlad, hierarchický překlad, syntaktický překlad, vyhodnocování kvality strojového překladu.
Literatura:Povinná literatura:
[1] Philipp Koehn: Statistical Machine Translation. Cambridge University Press. ISBN: 978-0521874151, 2009.

Doporučená literatura:
[2] Philipp Koehn, Hieu Hoang, Alexandra Birch, Chris Callison-Burch, Marcello Federico, Nicola Bertoldi, Brooke Cowan, Wade Shen, Christine Moran, Richard Zens, Chris Dyer, Ondrej Bojar, Alexandra Constantin, Evan Herbst: Moses: Open Source Toolkit for Statistical Machine Translation, Annual Meeting of the Association for Computational Linguistics (ACL), demonstration session, Prague, Czech Republic, June 2007.
http://www.statmt.org/moses/
[3] Philipp Koehn, Marcello Federico, Wade Shen, Nicola Bertoldi, Ondřej Bojar, Chris Callison-Burch, Brooke Cowan, Chris Dyer, Hieu Hoang, Richard Zens, Alexandra Constantin, Christine Moran, and Evan Herbst: Open Source Toolkit for Statistical Machine Translation: Factored Translation Models and Confusion Network Decoding. Technical report, Johns Hopkins University, Center for Speech and Language Processing, 2006.
http://ufal.mff.cuni.cz/~bojar/publications/2006-FILE-koehn_etal_jhuws_2006-2006-jhu-report.pdf
[4] Ondřej Bojar: Exploiting Linguistic Data in Machine Translation. PhD thesis, ÚFAL, MFF UK, Prague, Czech Republic, October 2008.
http://ufal.mff.cuni.cz/~bojar/publications/2008-FILE-bojar_phd-FINAL.pdf
[5] Bonnie J. Dorr, Pamela Jordan, John W. Benoit: A Survey of Current Paradigms in Machine Translation, 1998.
[6] Philipp Koehn, Franz Josef Och and Daniel Marcu: Statistical Phrase-Based Translation. 2003.
http://people.csail.mit.edu/people/koehn/publications/phrase2003.pdf
[7] Zhifei Li, Chris Callison-Burch, Sanjeev Khudanpur, Wren Thornton: Decoding in Joshua: Open Source, Parsing-Based Machine Translation. PBML 91, 2009.
http://ufal.mff.cuni.cz/pbml/91/art-li.pdf

Statistická teorie rozhodování01STR Kůs - - 2+0 zk - 2
Předmět:Statistická teorie rozhodování01STRIng. Kůs Václav Ph.D.-2+0 ZK-2
Anotace:Obsahem předmětu jsou statistické techniky pro obecné rozhodovací postupy založené na optimalizaci vhodného stochastického kritéria, jejich vzájemné srovnání z hlediska jejich vlastností a použití.
Osnova:1. Obecné principy klasické statistiky.
2. Ztrátové a rizikové funkce, rozhodovací funkce, optimální rozhodnutí a strategie, bayesovská a minimaxní řešení rozhodovacích úloh, princip přípustnosti a jeho důsledky pro klasickou statistiku.
3. Konvexní ztrátové funkce, vlastnosti bayesovských odhadů, nestrannost, postačitelnost, Rao-Blackwellova věta a její použití pro nalezení UMVUE odhadů.
4. Odhady s minimální vzdáleností.
5. Výpočetní aspekty bayesovských metod, klasické numerické postupy, pravděpodobnostní a aproximativní metody výpočtu.
6. Ukázka použití pro případ pozorování z oblasti analýzy dat o přežití při náhodném cenzorování dat.
Osnova cvičení:
Cíle:Znalosti:
Principy teorie rozhodování s náhodnými prvky a jejich použití v optimalizačních úlohách.

Schopnosti:
Úspěšně vyřešit zadanou praktickou úlohu z oblasti strategie rozhodování, najít správný model rizika, aplikovat ho a dovést výpočet do numerického schématu pro konečné získání rozhodovací funkce.
Požadavky:Základní kurzy matematické analýzy a pravděpodobnosti (dle přednášek na FJFI ČVUT v Praze 01MAA3-4 nebo 01MAB3-4, 01PRA1 nebo 01PRST).
Rozsah práce:
Kličová slova:Ztrátová funkce, optimální strategie, bayesovské riziko, minimaxní řešení, přípustnost, aproximativní výpočet.
Literatura:Povinná literatura:
[1] Berger J.O., Statistical Decision Theory and Bayesian Analysis, Springer, N.Y., 1985.

Doporučená literatura:
[2] Fishman G.S., Monte Carlo, Springer, 1996.

Funkcionální analýza 101FA1 Šťovíček 2+1 z,zk - - 3 -
Předmět:Funkcionální analýza 101FA1prof. Ing. Šťovíček Pavel DrSc.2+1 Z,ZK-3-
Anotace:Pokračování kurzu matematické analýzy a algebry úvodem do základů funkcionální analýzy. Jsou zde zavedeny pojmy,které posluchači potřebuji k pochopení nejhrůznějších pokročilých fyzikálních i technických disciplin.
Osnova:1. Vektorové prostory, metrické a topologické prostory
2. Topologické vektorové prostory
3. Banachovy prostory a omezená lineární zobrazení
4. Fourieruv-Planchereluv operátor, Fourierova transformace
5. Spektrum uzavřených lineárních operátorů
6. Hilbertovy prostory
7. Omezené lineární operátory na Hilbertově prostoru
8. Hermitovské operátory, projektory
9. Unitární a izometrické operátory
10. Spektrální vlastnosti normálních operátorů
11. Struktura množiny kompaktních operátorů
12. Spektrum kompaktních operátorů
Osnova cvičení:1. Základní topologické pojmy, opakování
2. Vlastnosti metrických a Banachových prostorů
3. Banachovy prostory a omezená lineární zobrazení
4. Rezolventní formule, Fourierova transformace
5. Skalární součin, izomorfizmus Hilbertových prostorů, ortogonalita
7. Norma, spojitost, lineární rozšíření, projektory, druhy konvergence
8. Spektrální vlastnosti normálních a kompaktních operátorů, ideály kompaktních operátorů
Cíle:Znalosti:
Základní vlastnosti Hilbertových prostorů a omezených lineárních operátorů na těchto prostorech, základní vlastnosti Fourierovy transformace.

Schopnosti:
Aplikace získaných znalostí na vyšetřování vlastností konkrétních operátorů, především jejich spekter.
Požadavky:Základní kurzy matematické analýzy a lineární algebry (dle přednášek na FJFI ČVUT v Praze 01MA1, 01MAA2-4, 01LAP, 01LAA2).
Rozsah práce:
Kličová slova:Banachovy prostory, Hilbertovy prostory, lineární operátory, Fourierova transformace.
Literatura:Povinná literatura:
[1] Blank, Exner, Havlíček: Lineární operátory v kvantové fyzice, Karolinum, Praha, 1993

Doporučená literatura:
[2] Taylor: Úvod do funkcionální analýzy, Academia, Praha, 1973
[3] Lukeš: Zápisky z funkcionální analýzy, Karolinum, Praha, 1998

Funkcionální analýza 201FA2 Šťovíček - - 2+2 z,zk - 4
Předmět:Funkcionální analýza 201FA2prof. Ing. Šťovíček Pavel DrSc.-2+2 Z,ZK-4
Anotace:Obsahem předmětu jsou vybrané základní výsledky z funkcionální analýzy zahrnující hlavní věty teorie Banachových prostorů, Hilbertovy-Schmidtovy operátory, spektrální rozklad omezených samosdružených
operátorů a základy teorie neomezených samosdružených operátorů.
Osnova:1. Bairova věta, Banachova-Steinhausova věta (princip stejnoměrné omezenosti), věta o otevřeném zobrazení, věta o uzavřeném grafu, Hahnova-Banachova věta.
2. Spektrum uzavřených operátorů v Banachových prostorech, graf operátoru, analytické vlastnosti resolventy, spektrální poloměr.
3. Kompaktní operátory (shrnutí a opakování), věta Arzela-Ascoli, Hilbertovy-Schmidtovy operátory.
4. Weylovo kritérium pro normální operátory, vlastnosti spektra omezených samosdružených operátorů a věta o spektrálním rozkladu, funkcionální počet.
5. Sdružené operátory k neomezeným operátorům v Hilbertových prostorech,
základy teorie samosdružených rozšíření symetrických operátorů.
Osnova cvičení:1. Cvičení na základní vlastnosti Hilbertových prostorů a ortogonální projekci.
2. Faktorizace v Banachových prostorech podle uzavřeného podprostoru.
3. Vlastnosti projekčních operátorů v Banachových prostorech a ortogonálních projektorů v Hilbertových prostorech.
4. Příklady na použití principu stejnoměrné omezenosti.
5. Příklady s integrálními operátory, Hilbertovy-Schmidtovy operátory.
6. Příklady na spektrální rozklad omezených samosdružených operátorů.
Cíle:Znalosti:
Základy teorie Banachových prostorů, vybrané výsledky o kompaktních operátorech a spektrální analýza v Hilbertových prostorech.

Schopnosti:
Uplatnění těchto znalostí při dalším studiu zaměřeném na parciální diferenciální rovnice, integrální rovnice a při řešení problémů z matematické fyziky.
Požadavky:Základní kurzy matematické analýzy, lineární algebry a funkcionální analýza 1 (dle přednášek na FJFI ČVUT v Praze 01MA1, 01MAA2-4, 01LA1, 01LAA2, 01FA1).
Rozsah práce:
Kličová slova:Banachův prostor, Hilbertův prostor, princip stejnoměrné omezenosti, věta o otevřeném zobrazení, Hahnova-Banachova věta, věta Arzela-Ascoli, Hilbertovy-Schmidtovy operátory, spektrum uzavřeného operátoru, samosdružený operátor, spektrální rozklad.
Literatura:Povinná literatura:
[1] J. Blank, P. Exner, M. Havlíček: Lineární operátory v kvantové fyzice, (Karolinum, Praha, 1993);

Doporučená literatura:
[2] W. Rudin: Analýza v reálném a komplexním oboru, (Academia, Praha, 1977),
[3] A. N. Kolmogorov, S. V. Fomin: Základy teorie funkcí a funkcionální analýzy, (SNTL, Praha, 1975),
[4] A. E. Taylor: Úvod do funkcionální analýzy, (Academia, Praha, 1973).

Publikační systém LaTeX01PSL Ambrož - - 0+2 z - 2
Předmět:Publikační systém LaTeX01PSLIng. Ambrož Petr Ph.D.-0+2 Z-2
Anotace:Obsahem předmětu jsou základy a prostředky počítačové typografie, především systém LaTeX.
Osnova:1) Úvod do systému LaTeX - filozofie, software, hladká a smíšená sazba, sazba odstavců
2) Sazba dokumentů - obecná pravidla pro strukturování publikací, příkazy pro členění dokumentů, tabulky v LaTeXu
3) Sazba matematických výrazů v LaTeXu
4) Pokročilé matematické konstrukce
5) Grafika, vkládání obrázků v LaTeXu, vkládání bibliografických citací do dokumentů v LaTeXu
6) Zásady pro tvorbu prezentací, beamer - balíček pro tvorbu prezentací v LaTeXu
Osnova cvičení:1) Instalace systému LaTeX
2) Hladká a smíšená sazba
3) Výčtová prostředí, tabulky
4) Sazba matematiky
5) Balíček AMSLaTeX
6) Seznam použité literatury
7) Vkládání grafických souborů
Cíle:Znalosti:
Základní pravidla počítačové sazby dokumentů, prostředky systému LaTeX.

Schopnosti:
Použití systému LaTeX k vysázení (typograficky zdařilého) dokumentu.
Požadavky:
Rozsah práce:
Kličová slova:Typografie, LaTeX.
Literatura:Povinná literatura:
[1] J. Rybička, LaTeX pro začátečníky, Konvoj, 1999.
[2] T. Oetiker et al., The Not So Short Introduction to LaTeX2e,
www.ctan.org/tex-archive/info/lshort/english/lshort.pdf

Doporučená literatura:
[3] H. Kopka, P.W. Daly. LaTeX Podrobný průvodce, Computer Press, (2004)

Učební pomůcky:
Počítačová učebna Windows/Unix s programem LaTeX.

Dějiny matematiky01DEM Dvořáková - - 0+2 z - 1
Předmět:Dějiny matematiky01DEMdoc. Ing. Dvořáková Lubomíra Ph.D. / doc. RNDr. Mareš Jan CSc.-0+2 Z-1
Anotace:Předmět má formu seminářů, na kterých se svými příspěvky vystupují vyučující katedry matematiky, ale i hosté -- odborníci v oblasti historie matematiky -- s příspěvky z nejrůznějších oblastí historie matematiky.


Osnova:Náplň přednášek se každý rok mění v závislosti na pozvaných přednášejících. Obecně ji lze rozdělit do oblastí:
1. Vývoj matematických disciplín
2. Portréty významných matematiků
3. Dějiny matematiky na určitém území
4. Historie nejznámějších matematických konstant
5. Filozofie a matematika
Osnova cvičení:
Cíle:Všeobecný přehled v dějinách matematiky - orientace v historii jednotlivých matematických disciplín a znalost významných osobností a jejich objevů.
Požadavky:
Rozsah práce:
Kličová slova:Mezopotámská matematika, egyptská matematika, řecká matematika, důkaz, Thales, Pythagoras, Eukleides, Fibonacci, arabská matematika, indická matematika, nula, Brahmagupta, komplexní čísla, Gauss, grupy, Abel, Galois, analýza, Cauchy, Newton, Leibniz, pravděpodobnost, Pascal, množiny, vyčíslitelnost, úplnost, Russell, Goedel, Turing, vektorové prostory, Banach.
Literatura:Literatura:
[1] M. Mareš, Příběhy matematiky, Pistorius, 2008
[2] D. J. Struik, Dějiny matematiky, Orbis, Praha, 1963
[3] D. E. Smith, History of Mathematics, New York, Inc., Dover publications, 1958, volume I. and II.
[4] R. Cooke, The History of Mathematics, A Brief Course, John Wiley and Sons, Inc., New York, 1997

Programování v MATLABu18MTL Kukal 2+2 z,zk - - 5 -
Předmět:Programování v MATLABu18MTLdoc. Ing. Kukal Jaromír Ph.D.2+2 Z,ZK-5-
Anotace:Představení prostředí Matlab jako efektivního nástroje pro výpočty v komplexních polích a symbolických proměnných, zejména v oblasti lineární algebry, matematické analýzy, statistiky, algoritmizace a geometrické reprezentace výsledků.
Osnova:1. Pole komplexních čísel jako základní datový typ
2. Konstanty, operátory, priority, výrazy, funkce
3. Skalární operátory a funkce
4. Vektorové funkce, maticové operátory a funkce
5. Jednoduché a složené příkazy
6. Globální a lokální proměnné, nepřímé volání funkcí
7. Řetězec jako pole znaků, seznam
8. Kreslení funkcí, křivek a ploch ve 2D a 3D
9. Symbolické výpočty
10. Vstupní a výstupní funkce
11. Složené datové struktury, třída, objekt
12. Vlastnost, metoda, konstruktor, sebedestrukce
13. Prvky GUI a jejich vlastnosti
14. Ošetření událostí a programování GUI
Osnova cvičení:1. Pole komplexních čísel jako základní datový typ
2. Konstanty, operátory, priority, výrazy, funkce
3. Skalární operátory a funkce
4. Vektorové funkce, maticové operátory a funkce
5. Jednoduché a složené příkazy
6. Globální a lokální proměnné, nepřímé volání funkcí
7. Řetězec jako pole znaků, seznam
8. Kreslení funkcí, křivek a ploch ve 2D a 3D
9. Symbolické výpočty
10. Vstupní a výstupní funkce
11. Složené datové struktury, třída, objekt
12. Vlastnost, metoda, konstruktor, sebedestrukce
13. Prvky GUI a jejich vlastnosti
14. Ošetření událostí a programování GUI
Cíle:Znalosti:
Propojit studium matematiky, statistiky, fyziky a příbuzných oborů s programovacími technikami prostřednictvím výpočetní laboratoře zvané Matlab.

Schopnosti:
Orientace v dané problematice a schopnost řešení reálných úloh v Matlabu.
Požadavky:Základní znalosti algebry, analýzy a programovacích technik.
Rozsah práce:Vypracování pěti úloh v Matlabu a odevzdání protokolu v PDF (smysluplné zadání, matematická formulace, ukázka kódu v Matlabu, výsledky, diskuse):
1. Matlabovská funkce a práce s ní.
2. Čtyři metody vektorového zobrazení plochy jejíž tvar závisí na parametrech.
3. Realizace komplikovanějšího algoritmu pomocí funkce/funkcí.
4. Symbolický výpočet a grafická reprezentace jeho výsledku.
5. Realizace třídy nebo programu s GUI.
Známka je výsledkem ústní zkoušky z obecných principů a schopnosti řešit úlohy různými matlabovskými styly.
Kličová slova:Matlab, programování, algoritmy, datové struktury, OOP.
Literatura:Povinná literatura:
[1] Zaplatílek K., Doňar B.: MATLAB pro začátečníky, BEN - technická literatura, Praha, 2003.

Doporučená literatura:
[2] Zaplatílek K., Doňar B.: MATLAB - tvorba uživatelských aplikací, BEN - technická literatura, Praha, 2005.

Programátorské praktikum01PROP Bauer 0+2 z - - 2 -
Předmět:Programátorské praktikum01PROPIng. Oberhuber Tomáš Ph.D.0+2 Z-2-
Anotace:Cílem tohoto předmětu je osvojení si dobrých programovacích návyků, které mají
pomoci při psaní čistšího kódu, tj. takového, který bude lépe srozumitelný pro
ostatní a bude se snáze doplňovat o nové funkce. Na konkrétních příkladech se
studenti učí poznatkům od správného pojmenování proměnných a funkcí, přes
defenzivní programování, psaní dokumentace, ladění až po objektový návrh,
návrhové vzory a refaktoring.
Osnova:I. Základy psaní čistého kódu
1. Formátování
2. Datové struktury
3. Pojmenovávání proměnných
4. Pravidla pro psaní funkcí
5. Zpracování chyb, výjimky
6. Komentáře
II. Objektový návrh
1. Prostory jmen
2. Organizace třídy
3. Dědičnost a abstrakce
4. Speciální typy tříd
III. Vývoj kódu
1. Programovací konvence
2. Specifikace a návrh
3. Testování kódu
4. Refaktorování
5. Dokumentace
Osnova cvičení:Cvičení je nedílnou součástí výuky, jeho obsah je dán sylabem předmětu.
Cíle:Znalosti:
Zásady psaní čistého kódu, programovací konvence. Principy defenzivního programování, organizace kódu a postupy při jeho refaktorování, psaní dokumentace. Strukturování kódu, vytváření uzavřených funkčních celků a jejich testování. Základy objektového návrhu, organizace podporující změny. Vývoj kódu při zachování jeho čistoty a srozumitelnosti.

Schopnosti:
Student bude schopný psát přehlednější kód, který bude lépe pochopitelný pro ostatní vývojáře, bude více flexibilní z pohledu implementace nových funkcí, ale také v něm bude snažší hledat chyby.
Požadavky:Programování v C/C++, objektové programování.
Rozsah práce:Studenti musí v průběhu semestru řešit řadu menších úloh. Jejich kontrola je prováděna v průběhu jednotlivých cvičení.
Kličová slova:Čistý kód, programovací konvence, defenzivní programování, návrh řízený testy, objektový návrh, refaktorování, dokumentace.
Literatura:Povinná literatura:
[1] R.C. Martin, Clean Code: A Handbook of Agile Software Craftmanship, Prentice Hall 2009
[2] S. McConnell, Code Complete, Second Edition, Microsoft Press, 2004

Doporučená literatura:
[3] M. Fowler, Refactoring: Improving the Design of Existing Code, Addison-Wesley, 2002
[4] A. Hunt, D. Thomas, Programátor pragmatik, Compter Press, 2007.
[5] M. C. Feathers, Údržba kódu převzatých programů, Computer Press, 2009.

Studijní pomůcky:
Počítačová učebna Windows/Linux s překladačem jazyka C++.

Počítačová algebra12POAL Liska 2 kz - - 2 -
Předmět:Počítačová algebra12POALprof. Ing. Liska Richard CSc.2 KZ-2-
Anotace:Lisp, reprezentace základních objektů (celá, racionální a algebraická čísla, polynomy, racionální lomené funkce, odmocniny, algebraické funkce), aritmetika, zjednodušování, největší společný dělitel, resultant, derivování, sčítání řad, integrování, obyčejné
diferenciální rovnice, faktorizace, řešení rovnic, eliminace kvantifikátorů, substituce a vyhledávání vzorů, algebraické programování, grafika, Maple - podrobnější seznámení a řešení praktických úloh, aplikace, přehled dalších systémů (Axiom, Macsyma, Mathematica), miniprojekt.
Osnova:1. Základní charakteristika počítačové algebry.
2. Algebraické struktury a jejich reprezentace.
3. Aritmetika a zjednodušování.
4. Největší společný dělitel, resultant.
5. Sčítání řad, integrace.
6. Faktorizace, eliminace kvantifikátorů.
7. Integrované výpočetní systémy.

Osnova cvičení:1. Maple, základy.
2. Maple, datové struktury a zjednodušování.
3. Maple, kalkulus a substituce.
4. Maple, programování.
5. Maple, jednoduché úlohy.
6. Maple, složitější úlohy.
7. Miniprojekt.

Cíle:Znalosti:
Algoritmy počítačové algebry.

Schopnosti:
Používat integrovaný matematický systém Maple k symbolickým výpočtům.
Požadavky:
Rozsah práce:miniprojekt (program a dokument), přezkoušení z algoritmů počítačové algebry.
Kličová slova:Počítačová algebra, symbolické manipulace, Maple.
Literatura:Povinná literatura:
[1] R. Liska etal. Počítačová Algebra, Algoritmy, Systémy a Aplikace.
http://www-troja.fjfi.cvut.cz/~liska/poalg

Doporučená literatura:
[2] K.O. Geddes, S.R. Czapor and G. Labahn: Algorithms For Computer Algebra. Kluwer Academic Publishers, Boston, 1992.
[3] F. Wright: Computing with Maple, Chapman and Hall/CRC, Boca Raton, 2002.

Studijní pomůcky:
Počítačová učebna Unix s integrovaným matematickým systéme Maple.

Tvorba internetových aplikací18INTA Majerová - - 2+2 kz - 4
Předmět:Tvorba internetových aplikací18INTAMgr. Majerová Dana Ph.D.-2+2 KZ-4
Anotace:Principy WWW (HTTP, URL, klient-server, HTML, CSS), zásady tvorby www stránek, přehled serverových technologií pro tvorbu internetových aplikací. Hypertextový preprocesor PHP: syntaxe, proměnné, příkazy, uživatelské funkce, pole, regulární výrazy, práce se soubory, práce s relačními databázemi, práce s objekty, práce s obrázky, e-mail, bezpečnost. Ukázky internetových aplikací.
Osnova:1. Principy WWW, jazyk HTML, úvod do CSS a JavaScriptu
2. Skriptovací technologie na straně klienta a na straně serveru, vývoj PHP, vkládání PHP do HTML
3. Základy syntaxe jazyka PHP (proměnné, operátory, datové typy, řídicí příkazy,...)
4. Práce s poli, uživatelské funkce, příkazy pro načítání skriptů
5. Zpracování dat z formulářů, práce s řetězci
6. Regulární výrazy
7. Síťový model TCP/IP, protokol HTTP, URL, bezpečnost skriptů
8. Práce se soubory a s adresáři na serveru, upload souborů na server
9. Úvod do SQL
10. Práce s objekty, správa session, práce s databází
11. Ukázka dvou databázových aplikací
12. Generování obrázků
13. Odesílání e-mailů
14. Generování PDF a XML
Osnova cvičení:1. Principy WWW, jazyk HTML, úvod do CSS a JavaScriptu
2. Skriptovací technologie na straně klienta a na straně serveru, vývoj PHP, vkládání PHP do HTML
3. Základy syntaxe jazyka PHP (proměnné, operátory, datové typy, řídicí příkazy,...)
4. Práce s poli, uživatelské funkce, příkazy pro načítání skriptů
5. Zpracování dat z formulářů, práce s řetězci
6. Regulární výrazy
7. Síťový model TCP/IP, protokol HTTP, URL, bezpečnost skriptů
8. Práce se soubory a s adresáři na serveru, upload souborů na server
9. Úvod do SQL
10. Práce s objekty, správa session, práce s databází
11. Ukázka dvou databázových aplikací
12. Generování obrázků
13. Odesílání e-mailů
14. Generování PDF a XML
Cíle:Znalosti:
Prostředí WWW, jazyka HTML, PHP, kaskádových stylů a JavaScriptu.

Schopnosti:
Programovat databázové aplikace v prostředí internetu.
Požadavky:Žádné. Zkušenosti s tvorbou statických WWW stránek a znalost jazyka SQL pro relační databázové systémy jsou výhodou.
Rozsah práce:Vytvořit internetovou aplikaci (libovolné téma), která se skládá z minimálně 2 skriptů využívajících relační databázi (minimálně 2 tabulky), práci s formuláři, regulární výrazy a správu session. Odevzdání a kontrola v rámci zápočtu.
Kličová slova:WWW, HTTP, HTML, PHP, internet, databáze, aplikace.
Literatura:Povinná literatura:
[1] Welling, L., Thomson, L. PHP a MySQL - rozvoj webových aplikací. 3.vydání. SoftPress, 2005. ISBN 80-86497-83-6.
[2] Materiály pro studenty dostupné na http://moodle.jadernaci.eu

Doporučená literatura:
[3] Mikle, P. Dynamické HTML. Brno: UNIS Publishing, 1997.
[4] Grusová, L. CSS pro úplné začátečníky. Brno: Computer Press, 2003.
[5] Kosek, J. PHP - tvorba interaktivních internetových aplikací. Praha: Grada Publishing, 1999.
[6] http://cz.php.net/
[7] http://www.w3.org/

Tělesná výchova 3, 400TV34 ČVUT - z - z 1 1
Předmět:Tělesná výchova 300TV3----
Anotace:
Osnova:Předmět je realizován Ústavem tělesné výchovy a sportu ČVUT v Praze:

http://www.utvs.cvut.cz/
Osnova cvičení:Předmět je realizován Ústavem tělesné výchovy a sportu ČVUT v Praze:

http://www.utvs.cvut.cz/
Cíle:
Požadavky:
Rozsah práce:
Kličová slova:Tělesná výchova; sport
Literatura:

Předmět:Tělesná výchova 400TV4----
Anotace:
Osnova:Předmět je realizován Ústavem tělesné výchovy a sportu ČVUT v Praze:

http://www.utvs.cvut.cz/
Osnova cvičení:Předmět je realizován Ústavem tělesné výchovy a sportu ČVUT v Praze:

http://www.utvs.cvut.cz/
Cíle:
Požadavky:
Rozsah práce:
Kličová slova:Tělesná výchova; sport
Literatura: