2018/19

Cílem předmětu je seznámit studenty s pokročilejšími datovými strukturami, možnostmi jejich počítačové reprezentace a algoritmy pro jejich zpracování. Nemalá pozornost je věnována práci s grafy ? jejich reprezentaci a algoritmům pro základní grafové úlohy. Z probíraných algoritmů je třeba především zmínit mechanismy pro třídění a vyhledávání v datech.

Konečné automaty deterministické a nedeterministické a jazyky jimi rozpoznatelné, Nerodova věta, programová realizace automatů, redukce konečného automatu, lexikální analýza. Regulární výrazy, regulární jazyky. Zásobníkové automaty. Gramatiky, Chomského hierarchie, Bezkontextové jazyky, redukce gramatiky, Pumping Lemma. Turingův stroj. Algoritmicky nerozhodnutelné problémy.

Konečné automaty deterministické a nedeterministické a jazyky jimi rozpoznatelné, Nerodova věta, programová realizace automatů, redukce konečného automatu, lexikální analýza. Regulární výrazy, regulární jazyky. Zásobníkové automaty. Gramatiky, Chomského hierarchie, Bezkontextové jazyky, redukce gramatiky, Pumping Lemma. Turingův stroj. Úvod do teorie vyčíslitelnosti.

Konečné automaty deterministické a nedeterministické a jazyky jimi rozpoznatelné, Nerodova věta, programová realizace automatů, redukce konečného automatu, lexikální analýza. Regulární výrazy, regulární jazyky. Zásobníkové automaty. Gramatiky, Chomského hierarchie, Bezkontextové jazyky, redukce gramatiky, Pumping Lemma. Turingův stroj. Úvod do teorie vyčíslitelnosti.

Předmět seznamuje studenty se základy lineární algebry, numerických metod pro řešení algebraických a diferenciálních rovnic, základy pravděpodobnosti a matematické statistiky

Předmět poskytne studentům základní znalosti a dovednosti potřebné pro programování distribuovaných aplikací. Zaměřuje se jak na distribuované výpočetní systémy (klastry), tak na síťové aplikace využívající přenosové protokoly TCP/IP. Studenti se seznámí se základními koncepty vytváření distribuovaných aplikací i s praktickým použitím nástrojů a knihoven dostupných pro tyto účely.

Předmět seznamuje se základními metodami řešení obyčejných diferenciálních rovnic a jejich systémů. Předmět je rozdělen na dvě části. První část předkládá základní teoretické vlastnosti soustav obyčejných diferenciálních rovnic a jejich přesných řešení. Druhá část je úvodem do numerických metod.

Cílem předmětu je seznámit studenty s experimentálními metodami v mechanice elastických těles, zejména s odporovou tenzometrií a optickými metodami měření deformací. Prostřednictvím vhodně zvolených laboratorních úloh se studenti naučí tyto metody aplikovat v konkrétních případech namáhání konstrukcí, provést sběr dat z experimentu do PC, vyhodnocení výsledků a sepsat zprávu z měření. Důraz je kladen na to, aby studenti místo používání hotových přípravků a měřícího software měli možnost realizovat celé měření (počínaje instalací snímačů a konče vytvořením vlastního měřícího software) vlastnoručně. Laboratorní měření jsou doplněna výkladem příslušných partií z technické pružnosti a pevnosti a exkurzemi na výzkumných a vývojových pracovištích.

Cílem v rámci oboru je seznámit s fyzikálními jevy a jejich aplikacemi v přírodním prostředí, v návaznosti na ostatní technologicky orientované předměty. Obsaženy jsou tematické oblasti s praktickým společenským uplatněním - vodní zdroje, kontaminace prostředí při haváriích, těžba surovin. Předmět zahrnuje jak vysvětlení jevů samotných a souvislostí, tak postupy pro řešení v praxi jako metody měření a modelových výpočtů. Předmět poskytuje odborné pozadí pro nabízená témata diplomových prací vycházejících z výzkumné činnosti pracoviště.

Předmět se zabývá základy hardware počítačů. Výklad začíná logickými funkcemi a pokračuje metodami jejich minimalizace a elektronické realizace. Nato navazuje návrh kombinačních a sekvenčních obvodů (sčítačka, registry, čítače, apod.).

Vlastnosti operačních systémů unixového typu zejména s ohledem na otázky bezpečnosti dat a automatizace rutinních činností. Zabezpečení přístupu, hesla, přístupová práva souborů, šifrování, elektronický podpis, bezpečnost v sítích, základní vlastnosti unixových nástrojů na zpracování textů a metody jejich kombinování.

Cílem předmětu je seznámit studenty s jazykem XML a souvisejícími nástroji, používanými pro popis dat v multiplatformním prostředí. Kromě vlastního XML se předmět zabývá i doprovodnými specifikacemi, jako jsou jmenné prostory, odkazy, transformace (XSL) či mechanismy stanovující strukturu dokumentu (DTD, XML Schema). V rámci cvičení se studenti prakticky seznámí s vybranými nástroji pro práci s XML a ověří si vlastnosti na návrhu konkrétního formátu dat a jeho praktického použití.

Předmět představuje studentům několik internetových služeb a jejich aplikaci. Telnet, FTP, PGP, WWW, PHP, MySQL etc.

Cílem předmětu je seznámit studenta s oblastí managementu bezpečnosti a rizik. Student by měl získat znalosti v oblastech posuzování rizika a managementu rizika.

Kurz "Mechanika" staví na základních teoretických znalostech získaných v předmětu "Fyzika 1", které rozšiřuje o praktické výpočetní postupy pro řešení úloh z oblasti mechaniky tuhých těles a základy nauky o materiálu. Po absolvování přednášek a cvičení je student schopen samostatně provést analýzu statických systémů, uvolnit vazby, sestavit a řešit rovnice rovnováhy, a pochopí základní mechanické vlastnosti běžně používaných materiálů, jako jsou ocel, slitiny neželezných kovů, sklo, keramika a polymery.

Předmět "Mechanika" staví na základních teoretických znalostech získaných v předmětu "Fyzika 1", které rozšiřuje o praktické výpočetní postupy pro řešení technických úloh z oblasti mechaniky tuhých těles. Po absolvování přednášek a cvičení je student schopen samostatně provést analýzu běžných technických systémů, uvolnit vazby a sestavit a řešit rovnice rovnováhy a pohybové rovnice. Obsah kurzu je rozdělen do tří celků - statiky, kinematiky a dynamiky. Výklad teorie na přednáškách se opírá o řešené vzorové příklady z technické praxe.

Student se seznámí s vybranými matematickými modely a metodami používanými v logistice, teorií zásob, teorií front, teorií obnovy a síťovou analýzou, včetně jejich praktického využití na konkrétních logistických problémech.

Předmět seznamuje s aktuální nabídkou minipočítačů neboli single board computers a jejich možnostmi. Nejprve z obecného hlediska představuje součásti minipočítače a poskytuje srovnání s ohledem na aktuální trh, následně jsou podrobněji představeny dva vybrané minipočítače (Raspberry Pi a Arduino). Během cvičení studenti vyzkoušejí několik praktických úkolů s minipočítačem Raspberry Pi.