Kurz obsahuje doplňující digitální materiály k předmětu KIV/FJP – Formální jazyky a překladače. Cílem předmětu je poskytnout studentům důkladné znalosti o prostředcích a metodách zpracování formálních jazyků a jejich využití při implementaci programovacích jazyků, editorů, příkazových interpretů apod. Seznámit studenty s formálními metodami konstruování software.
- Teacher: Richard Lipka
Kurz obsahuje digitální materiály k předmětu výkonnost a spolehlivost. Cílem předmětu je naučit studenty, jak navrhovat, modelovat a analyzovat softwarové systémy s ohledem na jejich spolehlivost, výkonnost a dostupnost. v průběhu se seznámí se základní teorií simulací, s nástroji pro sledování běhu software a se způsoby zpracování a prezentace výsledků měření.
- Teacher: Richard Lipka
| Cíle předmětu (anotace): |
|---|
|
Cílem tohoto předmětu je seznámit studenty s
teoretickými základy klasické eukleidovské geometrie v rovině a aktivní
osvojení znalostí především z následujících oblastí:
- Eukleidovy Základy, axiomatické soustavy, Hilbertův axiomatický systém, - metody dokazování vět eukleidovské geometrie, - mnohoúhelníky and kružnice a jejich vlastnosti, - Eukleidovské konstrukce a Apolloniovy úlohy, - geometrické transformace a jejich užití, - základní pojmy neeukleidovských geeometrií. |
| Obsah |
|---|
|
Historický vývoj geometrie. Soustava axiómů a základní
věty rovinné eukleidovské geometrie. Geometrická zobrazení v rovině -
shodnosti, podobnosti, afinity, kruhová inverze. Grupy geometrických
zobrazení. Eukleidovské konstrukce a Apolloniovy úlohy. Úvod do
neeukleidovských geometrií (hyperbolická a eliptická geometrie). Pro
modelování řady geometrických problémů jsou využívány programy
interaktivní dynamické geometrie.
|
- Teacher: Radek Výrut
- Teacher: Petr Tomiczek
- Teacher: Petr Tomiczek
Maticový počet je oblastí matematiky, která je intenzivně využívaná v praxi napříč obory. Maticové výpočty se objevují například u předpovědi počasí, kryptografii, zpracování a kompresi obrázků (např. JPG), vyhledávání pomocí internetových vyhledávačů, minimalizace interferencí při pokrytí signálu (např. mobilními operátory), v mechanice při studiu kmitání, pružnosti a deformace materiálu, v ekonomických a společenskovědních úlohách, a samozřejmě v elektrotechnice. Matice je základní datová struktura často používaná k zadávání dat do počítače a k algoritmické práci s daty.
- Teacher: Milena Šebková
V tomto kurzu se studenti seznámí s dalšími partiemi maticového počtu, integrálního počtu, s diferenciálním počtem funkcí dvou proměnných a naučí se řešit jednoduché diferenciální a diferenční rovnice, které nacházejí využití v ekonomických modelech.
- Teacher: Zdeněk Kobeda
- Teacher: Jiří Benedikt