Předmět Teoretické základy informatiky (KMI / SZZ01)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KMI / SZZ01 - Teoretické základy informatiky, Přírodovědecká fakulta, Univerzita Palackého v Olomouci (UP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
Výroková logika: jazyk, formule, pravdivostní ohodnocení, tautologie, tabulková metoda, sémantické vyplývání, normální formy formulí, úplné systémy spojek. Množiny, operace s množinami, kartézský součin množin, konečné, spočetné a nespočetné množiny. Číselné množiny. Princip indukce. Relace a jejich vlastnosti, operace s relacemi, reprezentace relací. Binární relace na množině, uzávěry relací, ekvivalence, rozklad na množině, uspořádané množiny. Zobrazení a jejich vlastnosti. Kombinatorika: pravidlo součtu a součinu, permutace, variace, kombinace, binomická věta, princip inkluze a exkluze.Matice a determinanty, soustavy lineárních rovnic. Vektorové prostory a podprostory. Lineární zobrazení. Vektorové prostory se skalárním součinem.Posloupnosti a jejich limity. Funkce jedné reálné proměnné. Limita funkce jedné proměnné. Derivace a jejich použití k vyšetřování průběhu funkcí. Neurčitý a Riemannův určitý integrál, geometrický význam určitého integrálu.Formální jazyky a jejich hierarchie. Regulární jazyky (definice, uzávěrové vlastnosti). Konečné automaty deterministické a nedeterministické. Regulární výrazy, automaty s epsilon-přechody. Minimalizace konečného deterministického automatu. Bezkontextové jazyky a jejich vlastnosti (uzávěrové vlastnosti, jednoznačnost). Zásobníkové automaty a jejich modifikace. Deterministické zásobníkové automaty. Deterministické bezkontextové jazyky.
Požadavky
Schopnost diskutovat o jednom zadaném tématu v kontextu celého oboru.
Garant
prof. RNDr. Radim Bělohlávek, Ph.D., DSc.