Programování

Garantující pracoviště: Informatická sekce
Odpovědný učitel: Doc. RNDr. Pavel Töpfer, CSc.

Povinné předměty

¹ Zkoušku z předmětu NPRG031 lze skládat ještě před získáním zápočtu.

² Předmět lze zapsat v zimním i v letním semestru, standardně je zapisován v letním semestru.

³ Výuka anglického jazyka NJAZ076 v rozsahu 0/2 je určena pro středně pokročilé a pokročilé. Začátečníci a mírně pokročilí si místo ní zapíší předmět NJAZ077 s rozsahem výuky 0/4.

⁴ Místo předmětu NTVY017 lze zapsat výcvikový kurz NTVY002 nebo NTVY003.

Povinně volitelné předměty – skupina Matematika A

Podmínkou pro přihlášení ke státní závěrečné zkoušce je získání 6 kreditů za předměty z této skupiny (tzn. je třeba splnit aspoň jeden předmět z této skupiny).

Povinně volitelné předměty – skupina Matematika B

Podmínkou pro přihlášení ke státní závěrečné zkoušce je získání 6 kreditů za předměty z této skupiny (tzn. je třeba splnit aspoň jeden předmět z této skupiny).

Povinně volitelné předměty – skupina Bakalářská práce

Podmínkou pro přihlášení ke státní závěrečné zkoušce je získání 2 kreditů za předměty z této skupiny (tzn. je třeba splnit jeden předmět z této skupiny).

Povinně volitelné předměty – skupina Programování

Podmínkou pro přihlášení ke státní závěrečné zkoušce je získání 5 kreditů za předměty z této skupiny (tzn. je třeba splnit aspoň jeden předmět z této skupiny).

Povinně volitelné předměty – hlavní skupina

Podmínkou pro přihlášení ke státní závěrečné zkoušce je získání alespoň 20 kreditů za předměty z této skupiny.

^* Předmět je vyučován v zimním i v letním semestru.

Doporučení výběru povinně volitelných předmětů

Doporučuje se absolvovat předměty NMAI059 Pravděpodobnost a statistika, NMAI062 Algebra I, znalosti pokryté těmito předměty jsou požadovány u bakalářské státní závěrečné zkoušky.

Požadavky znalostí ke státní závěrečné zkoušce

Základy matematiky

1. Čísla
Vlastnosti přirozených, celých, racionálních, reálných a komplexních čísel. Posloupnosti a limity. Cauchyovské posloupnosti.

2. Základy diferenciálního počtu
Reálné funkce jedné reálné proměnné. Spojitost, limita funkce v bodě (vlastní i nevlastní). Některé konkrétní funkce (polynomy, racionální lomené funkce, goniometrické a cyklometrické funkce, logaritmy a exponenciální funkce). Derivace: definice a základní pravidla, věty o střední hodnotě, derivace vyšších řádů. Některé aplikace (průběhy funkcí, Newtonova metoda hledání nulového bodu, Taylorův polynom se zbytkem).

3. Integrál
Primitivní funkce, metody výpočtu. Určitý (Riemannův) integrál, užití určitého integrálu. Vícerozměrný integrál a Fubiniho věta.

4. Základy teorie funkcí více proměnných
Parciální derivace a totální diferenciál, věty o střední hodnotě, extrémy funkcí více proměnných, věta o implicitních funkcích.

5. Metrické prostory
Definice metrického prostoru, příklady. Definice topologického prostoru. Spojitost, otevřené a uzavřené množiny.

6. Základní algebraické struktury
Grupa, okruh, těleso - definice a příklady. Malá Fermatova věta. Dělitelnost a ireducibilní rozklady polynomů. Rozklady polynomů na kořenové činitele pro polynom s reálnými, racionálními, komplexními koeficienty. Násobnost kořenů a jejich souvislost s derivacemi mnohočlenu.

7. Vektorové prostory
Základní vlastnosti vektorových prostorů, podprostory, generování, lineární závislost a nezávislost. Věta o výměně. Konečně generované vektorové prostory, base. Lineární zobrazení.

8. Skalární součin
Vlastnosti v reálném i komplexním případě. Norma. Cauchy-Schwarzova nerovnost. Kolmost. Ortogonální doplněk a jeho vlastnosti.

9. Řešení soustav lineárních rovnic
Lineární množiny ve vektorovém prostoru, jejich geometrická interpretace. Řešení soustavy rovnic je lineární množina. Frobeniova věta. Řešení soustavy úpravou matice. Souvislost soustavy řešení s ortogonálním doplňkem.

10. Matice
Matice a jejich hodnost. Operace s maticemi a jejich vlastnosti. Inversní matice. Regulární matice, různé charakteristiky. Matice a lineární zobrazení, resp. změny souřadných soustav.

11. Determinanty
Definice a základní vlastnosti determinantu. Úpravy determinantů, výpočet. Geometrický smysl determinantu. Minory a inversní matice. Cramerovo pravidlo.

12. Vlastní čísla a vlastní hodnoty
Vlastní čísla a vlastní hodnoty lineárního operátoru resp. čtvercové matice. Jejich výpočet, základní vlastnosti. Uvedení matice na diagonální tvar v případě různých vlastních čísel. Informace o Jordanově tvaru v obecném případě.

13. Algebra
Grupa, okruh, těleso - definice a příklady. Podgrupa, normální podgrupa, faktorgrupa, ideál. Homomorfismy grup a dalších struktur. Podílová tělesa.

14. Diskrétní matematika
Uspořádané množiny. Množinové systémy, párování, párování v bipartitních grafech (systémy různých reprezentantů). Kombinatorické počítání. Princip inkluze a exkluze. Latinské čtverce a projektivní roviny.

15. Teorie grafů
Základní pojmy teorie grafů, reprezentace grafu. Stromy a jejich základní vlastnosti, kostra grafu. Eulerovské a hamiltonovské grafy. Rovinné grafy, barvení grafů.

16. Pravděpodobnost a statistika
Náhodné jevy, podmíněná pravděpodobnost, nezávislost náhodných jevů. Náhodné veličiny, střední hodnota, rozdělení náhodných veličin, normální a binomické rozdělení. Lineární kombinace náhodných veličin. Bodové odhady, intervaly spolehlivosti, testování hypotéz, t-test, chí-kvadrát test, lineární regrese.

Základy informatiky

1. Základy teoretické informatiky
Logika – jazyk, formule, sémantika, tautologie. Rozhodnutelnost, splnitelnost, pravdivost, dokazatelnost. Normální tvary výrokových formulí, prenexní tvary formulí predikátové logiky. Automaty – Chomského hierarchie, třídy automatů a gramatik, determinismus a nedeterminismus.

2. Algoritmy a datové struktury
Časová složitost algoritmů, složitost v nejhorším a průměrném případě. Třídy složitosti P a NP, převoditelnost, NP-úplnost. Binární vyhledávací stromy, vyvažování, haldy. Hašování. Sekvenční třídění, porovnávací algoritmy, přihrádkové třídění, třídící sítě. Grafové algoritmy - prohledávání do hloubky a do šířky, souvislost, topologické třídění, nejkratší cesta, kostra grafu. Tranzitivní uzávěr. Algoritmy vyhledávání v textu. Algebraické algoritmy - DFT, Euklidův algoritmus. Základy kryptografie, RSA.

3. Databáze
Podstata a architektury DB systémů. Konceptuální, logická a fyzická úroveň pohledů na data. Algoritmy návrhu schémat relací, normální formy, referenční integrita. Transakční zpracování, vlastnosti transakcí, uzamykací protokoly, zablokování. ER-diagramy, metody návrhů IS. SQL. Indexy, triggery, uložené procedury, uživatelé, uživatelská práva. Vícevrstevné architektury. Vazba databází na internetové technologie. Organizace dat na vnější paměti, B-stromy a jejich varianty.

4. Programovací jazyky a překladače
Principy a základy implementace objektově orientovaných jazyků a jazyků s blokovou strukturou, běhová podpora vyšších programovacích jazyků. Oddělený překlad, sestavení, řízení překladu. Neprocedurální programování. Struktura překladače, lexikální, syntaktická analýza. Interpretované jazyky, virtuální stroje. Pojmy a principy objektového návrhu. Generické programování a knihovny. Návrhové vzory.

5. Architektura počítačů a operačních systémů
Architektury počítače. Procesory, multiprocesory. Sběrnice, protokoly. Vstupní a výstupní zařízení. Architektury OS. Vztah OS a HW, obsluha přerušení. Procesy, vlákna, plánování. Synchronizační primitiva, vzájemné vyloučení. Zablokování a zotavení z něj. Organizace paměti, alokační algoritmy. Principy virtuální paměti, stránkování, algoritmy pro výměnu stránek, výpadek stránky, stránkovací tabulky. Systémy souborů, adresářové struktury. Bezpečnost, autentifikace, autorizace, přístupová práva. Druhy útoků a obrana proti nim. Kryptografické algoritmy a protokoly.

6. Sítě a internetové technologie
Architektura ISO/OSI. Rodina protokolu TCP/IP (ARP, IPv4, IPv6, ICMP, UDP, TCP) - adresace, routing, fragmentace, spolehlivost, flow control, congestion control, NAT. Rozhraní BSD sockets. Spolehlivost - spojované a nespojované protokoly, typy, detekce a oprava chyb. Bezpečnost - IPSec, SSL, firewalls. Internetové a intranetové protokoly a technologie - DNS, SMTP, FTP, HTTP, NFS, HTML, XML, XSLT a jejich použití.